Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Non-intrusion type embedded software abnormity processing verification method based on simulation environment

An embedded software and exception handling technology, applied in electrical digital data processing, software testing/debugging, instruments, etc., can solve problems such as the inability to fully verify the exception handling mechanism of embedded software, and achieve the effect of improving efficiency and adequacy

Active Publication Date: 2017-01-11
BEIJING INST OF COMP TECH & APPL
View PDF4 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The purpose of the invention is to provide a non-intrusive embedded software exception handling verification method based on a simulation environment, which is used to solve the problem that the existing embedded software dynamic testing method cannot fully verify the embedded software exception handling mechanism

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0016] In order to make the purpose, content, and advantages of the present invention clearer, the specific implementation manners of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments.

[0017] An embodiment of a non-intrusive embedded software exception handling verification method based on a simulation environment of the present invention includes:

[0018] The first step is to build an embedded software simulation operating environment

[0019] Embedded software simulation operating environment uses virtualization simulation technology to realize high-precision and high-performance simulation of the target system, provides a virtualized operating environment for embedded software, and provides monitoring means for the execution process and status of instructions, which is a test case for embedded software exception handling The execution platform mainly includes: target processor core instruction se...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a non-intrusion type embedded software abnormity processing verification method based on a simulation environment. The method comprises the following steps of building an embedded software simulation operation environment; designing an abnormity processing verification test case; executing the abnormity processing test case; collecting embedded software abnormity information; performing analysis and verification on the collected embedded software abnormity information.

Description

technical field [0001] The invention relates to the testing technology for the abnormal processing mechanism of embedded software, and provides a non-invasive embedded software abnormal processing verification method based on a simulation environment. Background technique [0002] In high-reliability and high-security embedded applications, the exception handling mechanism plays an important role in the fault tolerance and reliability of the embedded system; when testing software for embedded systems, it is necessary to verify the exception handling mechanism of the embedded software. [0003] At present, the exception handling verification methods for embedded software mainly include: the exception verification method based on the hardware environment and the exception verification method based on software stubs. [0004] The typical feature of the abnormal verification method based on the hardware environment is to use additional hardware to introduce abnormal excitation i...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3664G06F11/3684G06F11/3688G06F11/3692
Inventor 安恒张建伟贾张涛孔祥炳
Owner BEIJING INST OF COMP TECH & APPL
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com