摘要
提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.
A test cases generation method for UML 2.0 communication diagram is presented.The method first constructs a communication tree according to communication diagram and carrys out a preorder traversal of the constructed tree for selecting conditional predicates.The method transforms the conditional predicates and applies function minimization technique to generate the test cases.The generated test cases achieve message paths coverage as well as boundary coverage.
出处
《苏州大学学报（自然科学版）》
CAS
2007年第2期36-42,共7页
Journal of Soochow University(Natural Science Edition)
基金
江苏省高校自然科学基金资助项目(05KJB520119)
重庆市自然科学基金资助项目(CSTC
2006BB2259)
