Method for testing delay attribute of embedded system stream based on model

An embedded system and testing method technology, applied in the direction of software testing/debugging, etc., can solve the problems of inaccurate simulation, no time attribute test of data transmission, high abstraction of AADL model, etc., and achieve the effect of improving development efficiency

Inactive Publication Date: 2011-05-25
NORTHWESTERN POLYTECHNICAL UNIV
View PDF3 Cites 16 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The current problems are that the AADL model has a high degree of abstraction, the existing methods are not accurate enough for the simulation of the AADL system, and there is no corresponding time attribute test for data transmission between tasks and equipment components, etc.

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

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for testing delay attribute of embedded system stream based on model
  • Method for testing delay attribute of embedded system stream based on model
  • Method for testing delay attribute of embedded system stream based on model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] Now in conjunction with embodiment, accompanying drawing, the present invention will be further described:

[0043] This example describes a control system, including a main system component, a main process component, seven functional thread components, one each of processor, bus, memory, and sensors and actuators. The control system includes system components and all hardware components, a total of six sub-components. The system components are bound to the processor and memory. Sensors, actuators, processors, and memory all include request bus access attributes, and their mutual communication is completed through the bus. . The process component is a sub-component of the system component, including seven thread sub-components. Wherein, the button disk thread and the arbitration thread, the arbitration thread and the main thread, and the main thread and the standby thread communicate through the event data port link. image 3 It is the architecture diagram of the AADL...

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 method for testing a delay attribute of an embedded system stream based on a model, which is characterized by comprising the steps of: building an AADL (Architecture Analysis and Design Language) model simulation test platform based on a System C hardware description language, converting an AADL model into a system example executed by the test platform, abstracting and mapping a member sequence and a port sequence during the convection, converting a stream in the AADL model into a test model described by C++, completing the test of the delay attribute of the AADL stream in a process of executing the simulation of the system example, and analyzing and estimating a test result. The method can be used for dynamically testing the delay attribute of the stream of the AADL model in the design stage of the model, and iteratively constructing and fining the design model according to the test result, thereby being convenient for finding the problem in the design modeland improving the development efficiency of the design early stage of the AADL model.

Description

technical field [0001] The invention relates to a model-based testing method for the flow delay attribute of an embedded system, which is a testing technology for the flow delay attribute in the embedded system model. Background technique [0002] With the rapid development of embedded systems, the complexity, scale and quality requirements of embedded systems are increasing. In addition to the basic requirements for the functions of the system itself, there are also higher and higher requirements for the non-functional attributes of the system. The original embedded software development method has many disadvantages. Various errors accumulate layer by layer during the development process, increasing the technical difficulty and workload of software testing, which can no longer meet the quality assurance requirements of the current embedded system development. The Object Management Group (OMG) proposed the Model Driven Architecture (MDA), which runs through the model as a un...

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
Inventor 董云卫朱宇峰马春燕张凡张云峰
Owner NORTHWESTERN POLYTECHNICAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap