Test sequence automate generation from state diagram with OCL constraints
Chai Yan-xin · Jisuanji yingyong yanjiu · 2011
This paper proposed an effective generation approach to test sequence from state diagram with OCL constraints.It acquired constitute corresponding adjacency list of state nodes by automatically analyzing XML model file of class diagram state diagram with OCL constraints.Then,generated test sequence with OCL constraints based on state adjacency list StatusCouple-Event set.The case research indicated that,the generation of infeasible testing sequence could be avoided through OCL restrict conflict judgement,and that it could effectively reduce the number of test case,so as to achieve the objective of reducing the test cost.This method was verified to be feasible and effective by experimental results.