Test sequence automate generation from state diagram with OCL constraints
在带OCL约束的状态图下测试线索的自动生成*

Without influencing the quality of software, how to reduce test case scale is one of the key techniques for design testing. This paper proposes an effective generation approach to test sequence from State diagram with OCL constraints. Constitute corresponding adjacency list of State nodes is acquired by automatically analyzing XML model file of Class diagram & State diagram with OCL constraints. Then, test sequence with OCL constraints are generated based on state adjacency list & StatusCouple-Event set. The case research indicated that, the generation of infeasible testing sequence can be avoided through OCL restrict conflict judgement, and that it can effectively reduce the number of test case, so as to achieve the objective of reducing the test cost. This method is verified to be feasible and effective by experimental results.