Embedded assembly modeling and testing method based on expansion interface automata model

An automaton model, a technology of extending the interface, applied in the field of computer software, model-based test automation, can solve the problem of lack of component interface constraints and dependencies

Active Publication Date: 2013-04-24
TSINGHUA UNIV +1
View PDF1 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In the basic interface automaton, there is a lack of description of the constraints and dependencies between component interfaces, such as the dependencies between the input and output data between two interface operations, and the pre / post conditional constraints of interface operations, 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
  • Embedded assembly modeling and testing method based on expansion interface automata model
  • Embedded assembly modeling and testing method based on expansion interface automata model
  • Embedded assembly modeling and testing method based on expansion interface automata model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] As attached figure 1 As shown, the present invention mainly establishes an interface automaton model with data and constraints for embedded components, and generates a set of interface test cases according to the model through state machine graph search and constraint solving technology, including normal function tests of legitimate inputs and abnormal inputs Robustness test. The method takes the following steps:

[0035] Step (1) Initialization

[0036] The embedded component is the basic unit that constitutes the embedded system. It is a relatively complete software module with a clear function and communication interface. The initialization process obtains the interface definition of the embedded component, including information such as interface operation, input / output parameters of the operation, pre- and post-conditions of the operation, and expected behavior of the component.

[0037] Step (2) Establish an extended interface automata model

[0038] Such as figure 2 A...

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

An embedded assembly modeling and testing method based on an expansion interface automata model relates to the field of software testing and testing automation based on a model and is applicable to testing of an embedded assembly. The embedded assembly modeling and testing method is characterized in that the automata model with constraint conditions is used for description aiming at assembly interface operation, data and behaviors, and a testing case set is generated on the basis of the graph searching and constraint solving technology. The embedded assembly modeling and testing method includes: (1) constructing the expansion interface automata model of the embedded assembly and (2) defining a testing coverage rate goal on the basis of the automata model and generating a normal function testing case and a robustness testing case which achieve the testing coverage rate goal.

Description

Technical field: [0001] The invention relates to the field of computer software, in particular to the field of model-based test automation. Background technique: [0002] Embedded systems have been widely used in various fields such as aviation, aerospace, electronics, and machinery. In response to the development trend of the substantial increase in the scale of embedded software, the shortening of the development cycle, and the improvement of quality requirements, in recent years, the development method of embedded components has been proposed, and the development is improved through the decomposition of functions, the packaging of component interfaces, and the reuse of standard components. Efficiency and quality, reduce costs, and improve the maintainability of the system. [0003] Embedded components are the basic unit that constitutes an embedded system. It is the basic unit of system construction, development, assembly, verification, evaluation, and maintenance. The credibil...

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