JP7082981B2 - オペレーティングシステムの検証 - Google Patents

オペレーティングシステムの検証 Download PDF

Info

Publication number
JP7082981B2
JP7082981B2 JP2019538477A JP2019538477A JP7082981B2 JP 7082981 B2 JP7082981 B2 JP 7082981B2 JP 2019538477 A JP2019538477 A JP 2019538477A JP 2019538477 A JP2019538477 A JP 2019538477A JP 7082981 B2 JP7082981 B2 JP 7082981B2
Authority
JP
Japan
Prior art keywords
computing device
layer
operating system
hardware abstraction
system image
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2019538477A
Other languages
English (en)
Japanese (ja)
Other versions
JP2020522769A (ja
JP2020522769A5 (https=
Inventor
マルシェブ、イリアン・バタノフ
イム、クアン・スー
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Google LLC
Original Assignee
Google LLC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Google LLC filed Critical Google LLC
Publication of JP2020522769A publication Critical patent/JP2020522769A/ja
Publication of JP2020522769A5 publication Critical patent/JP2020522769A5/ja
Application granted granted Critical
Publication of JP7082981B2 publication Critical patent/JP7082981B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3692—Test management for test results analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3696—Methods or tools to render software testable
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G06F8/65—Updates

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Telephone Function (AREA)
JP2019538477A 2017-05-17 2018-04-23 オペレーティングシステムの検証 Active JP7082981B2 (ja)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US201762507274P 2017-05-17 2017-05-17
US62/507,274 2017-05-17
US15/840,484 2017-12-13
US15/840,484 US10754765B2 (en) 2017-05-17 2017-12-13 Operating system validation
PCT/US2018/028914 WO2018212936A1 (en) 2017-05-17 2018-04-23 Operating system validation

Publications (3)

Publication Number Publication Date
JP2020522769A JP2020522769A (ja) 2020-07-30
JP2020522769A5 JP2020522769A5 (https=) 2021-02-18
JP7082981B2 true JP7082981B2 (ja) 2022-06-09

Family

ID=64269630

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2019538477A Active JP7082981B2 (ja) 2017-05-17 2018-04-23 オペレーティングシステムの検証

Country Status (5)

Country Link
US (1) US10754765B2 (https=)
EP (1) EP3555749B1 (https=)
JP (1) JP7082981B2 (https=)
CN (1) CN110214314B (https=)
WO (1) WO2018212936A1 (https=)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20210056220A1 (en) * 2019-08-22 2021-02-25 Mediatek Inc. Method for improving confidentiality protection of neural network model
CN110718297A (zh) * 2019-10-18 2020-01-21 江苏盖睿健康科技有限公司 一种基于健康一体机的智能操作系统验证方法及装置
CN111506508A (zh) * 2020-04-17 2020-08-07 北京百度网讯科技有限公司 边缘计算测试方法、装置、设备和可读存储介质
US20220156381A1 (en) * 2020-11-19 2022-05-19 Moxa Inc. Method of Handling Security of an Operating System
US11886310B2 (en) * 2021-08-03 2024-01-30 Bank Of America Corporation System for cloud infrastructure validation for suitability substantiation
CN116166491B (zh) * 2023-04-23 2023-07-25 北京紫光青藤微系统有限公司 用于调试移动终端的方法、装置、系统、电子设备及介质
CN117009236B (zh) * 2023-08-07 2024-02-06 苏州福斯特万电子科技有限公司 点胶机硬件配置方法、装置、设备及存储介质

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050080584A1 (en) 2003-10-14 2005-04-14 Bonilla Carlos A. Automatic software testing
US20090125765A1 (en) 2004-11-25 2009-05-14 Electronics And Telecommunications Research Institute Apparatus for Certifying Hardware Abstraction Layer in Mobile Terminal and Method Thereof
JP2013542499A (ja) 2010-09-24 2013-11-21 アーム・リミテッド データ処理装置のデバッグ処理
CN104216709A (zh) 2014-08-20 2014-12-17 深圳光启创新技术有限公司 操作系统中直接控制硬件设备的方法和模块
JP2016532890A (ja) 2013-11-07 2016-10-20 ▲華▼▲為▼終端有限公司Ｈｕａｗｅｉ Ｄｅｖｉｃｅ Ｃｏ．， Ｌｔｄ． 音声処理方法、及び端末装置

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5867710A (en) 1995-09-05 1999-02-02 Motorola, Inc. Portable microkernel operating system verification and testing
US5958049A (en) * 1997-03-17 1999-09-28 International Business Machines Corporation Operating system debugger using kernel and dynamic extension with debugger drivers to support different output devices
US6742148B1 (en) 2000-03-06 2004-05-25 Pc-Doctor Inc. System and method for testing memory while an operating system is active
US6950962B2 (en) * 2001-10-12 2005-09-27 Hewlett-Packard Development Company, L.P. Method and apparatus for kernel module testing
US6654707B2 (en) 2001-12-28 2003-11-25 Dell Products L.P. Performing diagnostic tests of computer devices while operating system is running
US7065677B1 (en) 2003-04-10 2006-06-20 Microsoft Corporation Method for testing operating system components
US7831962B2 (en) * 2003-06-03 2010-11-09 Oracle International Corporation Testing subsystems on platforms for software applications
US20060045019A1 (en) 2004-09-01 2006-03-02 Patzschke Till I Network testing agent with integrated microkernel operating system
US20070294675A1 (en) * 2006-06-20 2007-12-20 Transitive Limited Method and apparatus for handling exceptions during binding to native code
JP2009544012A (ja) * 2006-07-10 2009-12-10 アステリオン・インコーポレイテッド 試験システムで処理を実行するシステムおよび方法
US8453118B2 (en) 2009-02-09 2013-05-28 Ricoh Company, Ltd. Automated multi-operating system testing with virtualization
US8689206B2 (en) 2009-03-05 2014-04-01 International Business Machines Corporation Isolating operating system in-memory modules using error injection
US8346870B2 (en) * 2009-05-06 2013-01-01 Microsoft Corporation Low-privilege debug channel
CN102549510B (zh) 2010-07-20 2014-09-03 西门子公司 用于检查操作系统的实时特性的方法
CN103180834B (zh) 2010-09-09 2015-12-02 国际商业机器公司 自动操作系统测试框架
US8904353B1 (en) * 2010-11-08 2014-12-02 Amazon Technologies, Inc. Highly reusable test frameworks and tests for web services
US8732527B2 (en) * 2011-08-16 2014-05-20 Google Inc. Secure recovery apparatus and method
CN103440149B (zh) * 2013-08-30 2016-08-17 西北工业大学 无数字签名的Windows X64驱动程序加载方法
US9648564B1 (en) * 2014-03-26 2017-05-09 Amazon Technologies, Inc. Wake-up management for mobile devices
US9916079B2 (en) * 2014-06-05 2018-03-13 Openpeak Llc Method and system for enabling the sharing of information between applications on a computing device
US20170366562A1 (en) * 2016-06-15 2017-12-21 Trustlook Inc. On-Device Maliciousness Categorization of Application Programs for Mobile Devices
US20180060221A1 (en) * 2016-08-24 2018-03-01 Google Inc. Multi-layer test suite generation

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050080584A1 (en) 2003-10-14 2005-04-14 Bonilla Carlos A. Automatic software testing
US20090125765A1 (en) 2004-11-25 2009-05-14 Electronics And Telecommunications Research Institute Apparatus for Certifying Hardware Abstraction Layer in Mobile Terminal and Method Thereof
JP2013542499A (ja) 2010-09-24 2013-11-21 アーム・リミテッド データ処理装置のデバッグ処理
JP2016532890A (ja) 2013-11-07 2016-10-20 ▲華▼▲為▼終端有限公司Ｈｕａｗｅｉ Ｄｅｖｉｃｅ Ｃｏ．， Ｌｔｄ． 音声処理方法、及び端末装置
CN104216709A (zh) 2014-08-20 2014-12-17 深圳光启创新技术有限公司 操作系统中直接控制硬件设备的方法和模块

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
すべてわかるセキュリティ大全 ２０１６ SECURITY，日経ＢＰ社 吉田 琢也，2017年06月22日，PP.242-245

Also Published As

Publication number Publication date
CN110214314B (zh) 2023-04-04
EP3555749A1 (en) 2019-10-23
EP3555749B1 (en) 2021-08-25
JP2020522769A (ja) 2020-07-30
US10754765B2 (en) 2020-08-25
WO2018212936A1 (en) 2018-11-22
US20180336124A1 (en) 2018-11-22
CN110214314A (zh) 2019-09-06

Similar Documents

Publication Publication Date Title
JP7082981B2 (ja) オペレーティングシステムの検証
US10482002B2 (en) Multi-layer test suite generation
US11216256B2 (en) Determining based on static compiler analysis that execution of compiler code would result in unacceptable program behavior
US11650905B2 (en) Testing source code changes
US10223106B1 (en) Customized static source code analysis
JP5985631B2 (ja) 信頼レベルのアクティブ化
US20200218533A1 (en) Code analytics and publication platform
CN116746125A (zh) 用于在容器框架中核实网络策略的技术
US9804952B1 (en) Application debugging in a restricted container environment
US8601250B2 (en) Control over loading of device drivers for an individual instance of a PCI device
US20220382576A1 (en) Performing an application snapshot using process virtual machine resources
US11748238B2 (en) Model-based biased random system test through rest API
US20230131355A1 (en) Client-Side Automated Application Programming Interface (API) Mapping
CN115687039B (zh) 一种云平台验证方法、组件及arm云平台
US20060129744A1 (en) Method and apparatus for enabling non-volatile content filtering
US12254094B2 (en) Cyber security testing for incorrectly authorized programs
JP2025107928A (ja) 脆弱性影響評価支援装置、及び脆弱性影響評価支援方法
US12417160B1 (en) Automated performance testing for database management systems
US20250298709A1 (en) Fault injection based on context information
US20250238338A1 (en) Automatic Host Triaging And Repair Using Structured Logging
US20250156206A1 (en) Programmatic Reprovisioning of Computing Platform Configurations
Gritti Domain-Driven & Automated Security Analyses
Iannillo Dependability assessment of android OS
Antukh BLACKBERRY Z10 RESEARCH PRIMER

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20210108

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20210108

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20211125

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20211130

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20220217

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220510

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20220530

R150 Certificate of patent or registration of utility model

Ref document number: 7082981

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250