CN110214314B - 操作系统验证 - Google Patents

操作系统验证 Download PDF

Info

Publication number
CN110214314B
CN110214314B CN201880008038.XA CN201880008038A CN110214314B CN 110214314 B CN110214314 B CN 110214314B CN 201880008038 A CN201880008038 A CN 201880008038A CN 110214314 B CN110214314 B CN 110214314B
Authority
CN
China
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
CN201880008038.XA
Other languages
English (en)
Chinese (zh)
Other versions
CN110214314A (zh
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 CN110214314A publication Critical patent/CN110214314A/zh
Application granted granted Critical
Publication of CN110214314B publication Critical patent/CN110214314B/zh
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)
CN201880008038.XA 2017-05-17 2018-04-23 操作系统验证 Active CN110214314B (zh)

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 (2)

Publication Number Publication Date
CN110214314A CN110214314A (zh) 2019-09-06
CN110214314B true CN110214314B (zh) 2023-04-04

Family

ID=64269630

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201880008038.XA Active CN110214314B (zh) 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 (4)

* 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
CN101512359A (zh) * 2006-07-10 2009-08-19 阿斯特瑞昂公司 用于在测试系统中实施处理之系统及方法
CN103440149A (zh) * 2013-08-30 2013-12-11 西北工业大学 无数字签名的Windows X64驱动程序加载方法

Family Cites Families (23)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
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
US7392149B2 (en) 2003-10-14 2008-06-24 Hewlett-Packard Development Company, L.P. Automatic software testing
US20060045019A1 (en) 2004-09-01 2006-03-02 Patzschke Till I Network testing agent with integrated microkernel operating system
KR100587976B1 (ko) 2004-11-25 2006-06-08 한국전자통신연구원 휴대 단말기의 하드웨어 추상화 계층 검증 장치 및 그운용 방법
US20070294675A1 (en) * 2006-06-20 2007-12-20 Transitive Limited Method and apparatus for handling exceptions during binding to native code
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 国际商业机器公司 自动操作系统测试框架
GB2483906C (en) 2010-09-24 2019-10-09 Advanced Risc Mach Ltd Selection of debug instruction set for debugging of a data processing apparatus
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
CN104637488B (zh) 2013-11-07 2018-12-25 华为终端（东莞）有限公司 声音处理的方法和终端设备
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
CN104216709B (zh) 2014-08-20 2016-04-27 深圳光启智能光子技术有限公司 操作系统中直接控制硬件设备的方法和装置
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 (4)

* 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
CN101512359A (zh) * 2006-07-10 2009-08-19 阿斯特瑞昂公司 用于在测试系统中实施处理之系统及方法
CN103440149A (zh) * 2013-08-30 2013-12-11 西北工业大学 无数字签名的Windows X64驱动程序加载方法

Also Published As

Publication number Publication date
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
JP7082981B2 (ja) 2022-06-09
CN110214314A (zh) 2019-09-06

Similar Documents

Publication Publication Date Title
CN110214314B (zh) 操作系统验证
CN109643270B (zh) 用于多层测试套件生成的方法和系统
ES3028537T3 (en) Implementation of compliance settings by a mobile device for compliance with a configuration scenario
US10001990B2 (en) Method and system for enhancing application container and host operating system security in a multi-tenant computing environment
Hoog Android forensics: investigation, analysis and mobile security for Google Android
US9665465B1 (en) Automated determination of application permissions
US10509644B2 (en) Method and system for controlling integrated software components
US9733927B2 (en) Detection of software or hardware incompatibilities in software packages
US10599419B2 (en) Secure firmware updates using virtual machines to validate firmware packages
CN116746125A (zh) 用于在容器框架中核实网络策略的技术
CN108628612A (zh) 应用管理平台
CN106796521B (zh) 独立于产品发布的api版本控制
US11281454B2 (en) Microcode update system
US11733974B2 (en) Method and system for automatically creating instances of containerized servers
US11947500B2 (en) Cloud migration for legacy on-premises process code
US20130305228A1 (en) Reducing application startup time through algorithm validation and selection
CN114253599A (zh) 版本部署方法、版本部署装置、电子设备和存储介质
Yim et al. Treble: Fast software updates by creating an equilibrium in an active software ecosystem of globally distributed stakeholders
US11275801B1 (en) Performance metrics collection and promulgation from within a mobile application
KR20250178102A (ko) 소스 코드 배포 방법 및 전자 장치
Anand Secure bootloader for connectivity MCU
US20250321734A1 (en) Flexible integration project deployment model
US20250086060A1 (en) Dedicated recovery modules for resolving issues with faulty applications
US20250315364A1 (en) Fast test disablement for pull request and continuous integration workflows
Hassan Enhancing Android for Embedded Systems: Customizing the Android Open Source Project for Dedicated Applications

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant