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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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