Integrated test sequence generating method based on SysML module diagrams

Abstract

The invention discloses an integrated test sequence generating method based on SysML module diagrams. The method is applicable to an embedded system having higher integration complex and more crosslinking relations among application systems. An integrated test strategy from constraint to combination, from pairing to grouping, from inside to outside and from bottom to top is provided according to the logic functional combination relation of the embedded system; modeling is conducted on the strategy by analyzing the demands and design of the system and by using the SysML module diagrams; the SysML module diagrams are analyzed and converted into directed graphs; a relevant module branch coverage criterion is provided according to the combination relation of functional modules; a key module coverage criterion is provided according to existing data exchange of the modules; then directed graphs are traversed under the guidance of the coverage criterions to automatically generate an integrated test sequence set. The integrated test sequence generating method combines with a model driven engineering technology, achieves automatic test sequence generation and improves the software testing efficiency.

Description

technical field [0001] The invention relates to the field of computer software testing, and mainly relates to a method for generating an integrated test sequence based on a SysML module diagram. Background technique [0002] There are complex logic relations in the embedded real-time system, and it has been widely used in aviation, military and other fields. As the concept of softwareization of aviation equipment becomes more and more obvious, software has become the core of flight control, fire control, avionics and maintenance support. In the flight control system of Boeing 757, the part of the code that supports system redundancy management and fault detection exceeds 55% of the entire code. However, the rapid growth in system size and complexity has increased the number of use cases required for testing by orders of magnitude. How to reasonably design test cases is a key issue in the field of software testing. The essence of the automatic generation of test cases is t...

AI Technical Summary

Problems solved by technology

[0004] Although the above methods can partly achieve the test requirements by modeling the system, in general, these methods model the system structure from the software level, and it is difficult to perform complex embedded real-time systems including hardware devices. Consistency Verification Analysis

Images