%0 Journal Article
%T Test sequence automate generation from state diagram with OCL constraints<br>在带OCL约束的状态图下测试线索的自动生成*
%A ZENG Yi
%A XU Pan-deng
%A CHAI Yan-xin
%A ZOU ming
%A DING Na
%A <br>曾一
%A 徐攀登
%A 柴艳欣
%A 邹明
%A 丁娜
%J 计算机应用研究
%D 2011
%I 
%X 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.
%K OCL(object constraint language)
%K XML
%K class diagram
%K state diagram
%K test sequence
%K constraint conflict<br>OCL
%K XML
%K 类图
%K 状态图
%K 测试线索
%K 约束冲突
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=51A86A60B1CE76509E8E75954AD58BBB&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=38B194292C032A66&sid=BB44F42BE8AE7430&eid=74EAF208D0F1A3E3&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8