在带OCL约束的状态图下测试线索的自动生成*

保证软件质量的前提下如何减少测试用例规模是测试设计的关键技术之一。提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件，获取相应的状态节点邻接表，再结合状态对-事件约束集合生成带OCL约束的测试线索。实例研究表明，通过OCL约束冲突判断可避免不可行测试线索的生成，减少测试用例数目，达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。

Test sequence automate generation from state diagram with OCL constraints

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.