Test Sequence Generation Method For Integration Testing Based On SysML Block Diagram

Integration testing is an important technology to ensure the quality of software. As an important technical method, integration testing tests if the product will meet the expected performance and target. With the sharp increment of scale and complexity of embedded system, how to guarantee the quality and to improve the reliability of an embedded system has become one of the most concerned problems in the field of engineering.This thesis comes from national defense basic pre-research project which studies on generating integration test sequences based on SysML block diagram. The SysML block diagram is converted to an intermediate model. Some coverage criteria are defined, such as modules branch coverage criteria, data dependency coverage criteria and critical models coverage criteria. According to the requirement of integrated test strategy, the corresponding coverage criteria are selected, and then test sequences can be generated automatically.Block diagram consists of block definition diagram and internal block diagram.Block definition diagram is employed to model logical organizational relationship between functional modules in embedded system. Internal block diagram is taken to model data interaction relationship between modules in embedded system. After analyzing the test dependency of modules in SysML block diagram, the block dependency diagram is defined, and the transformation rules converting the block diagram to dependency diagram are described. Integrated test strategies are proposed,which are constraint-combination, pair-group and bottom-up. The module related branch coverage criteria are defined to handle combination explosion. The data dependency coverage criteria are defined to solve the dependency problem of data interaction between modules. The critical model coverage criteria are defined to determine the module significance during the task execution. These coverage criteria are assessed, so as to provide evidence for selecting coverage criteria.According to the above methods, an integration testing tool extracting integration testing sequences from block diagram is implemented. Applied to the system of missile attack & defense combat command and control center, the proposed method of generating integration testing sequence is approved feasible.