Embedded software testing method based on AADL (Architecture Analysis and Design Language) mode time automata model

A timed automaton and embedded software technology, applied in the field of embedded system software testing, can solve catastrophic problems, embedded real-time systems cannot meet the real-time response and correctness of operation, and cannot meet the testing requirements of embedded real-time systems, etc.

Inactive Publication Date: 2011-05-18
NORTHWESTERN POLYTECHNICAL UNIV
View PDF2 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, these models have less support for AADL-based model testing, and these models are relatively deficient in describing the time attributes of the system, which cannot meet the testing requirements of embedded real-time systems.
The real-time and c

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
  • Embedded software testing method based on AADL (Architecture Analysis and Design Language) mode time automata model
  • Embedded software testing method based on AADL (Architecture Analysis and Design Language) mode time automata model
  • Embedded software testing method based on AADL (Architecture Analysis and Design Language) mode time automata model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0031] This example describes the control system, the system consists of two process components, each process component contains three thread components, and each thread is a periodic thread. The system includes 5 modes os1, os2, 01, 02, 03, 04. After the system is initialized, it enters modal os1, which contains two modals 01 and 02. When the event ports t1s.e1 and t2s.e2 of threads t1 and t2 receive events, the trigger thread mode switches from 01 to 02. After the data port t3s.e3 of thread t3 receives an event, the thread mode switches from 02 to 01. The system mode os2 contains two modes 03 and 04. After the process p1 receives an event at the event port p1s.event1, it triggers the system mode transition from os1 to mode os2. Under the mode os2, the ports of threads t4 and t5 When t4s.e4 and t5s.e5 receive an event, they switch from mode 03 to mode 04, and...

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 relates to an embedded software testing method based on an AADL (Architecture Analysis and Design Language) mode time automata model, which is technically characterized by comprising the steps of: generating an AADL system member tree with mode information according to an AADL architecture model file, and constructing a time automata model of an AADL model through carrying out breadth-first traversal on the member tree. The correctness and the time attribute of converting the AADL model mode are verified by using a verifying tool of the traditional time automata. The method provided by the invention is used for testing the model in an early state of designing the embedded software so as to find whether the correctness and the real time of the software model meet the design requirement or not as soon as possible and immediately correct the design scheme, thereby shorting the period of developing the embedded real-time system and saving the development cost.

Description

technical field [0001] The invention relates to an embedded software testing method based on an AADL modal time automaton model, and relates to an embedded system software testing method. Background technique [0002] With the growth of embedded software scale, various problems in the software development process are highlighted. Traditional software development processes such as V model and W model have been difficult to meet the needs of today's large-scale software development. To this end, the industry has proposed a model-driven architecture method (Model Driven Architecture, MDA), based on which a platform-specific system model constructed can be automatically converted into code. Therefore, the system model becomes the key to the software development process, and how to evaluate the quality of the model naturally becomes the key to the model-driven architecture software development. Traditional code-based software evaluation can no longer meet the evaluation needs of...

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
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