| 带OCL的活动图多态性测试用例生成方法 |
| |
| 引用本文： | 曾一,丁娜,邹明.带OCL的活动图多态性测试用例生成方法[J].计算机工程,2012,38(10):34-37. |
| |
| 作者姓名： | 曾一 丁娜 邹明 |
| |
| 作者单位： | 重庆大学计算机学院,重庆,400030 |
| |
| 基金项目： | 国家自然科学基金资助项目(61004112) |
| |
| 摘 要： | 研究UML活动图多态性测试用例的生成方法。形式化定义活动图，结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集，扩展活动图中含多态信息的节点，得到多态扩展活动图。利用测试路径构造方法和覆盖准则，对多态扩展活动图进行遍历，生成测试用例。实验结果表明，该方法能生成含多态性信息的测试用例，提高测试覆盖度。
|
| 关 键 词： | 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例 |
| 收稿时间： | 2011-08-22 |
Activity Diagram Polymorphism Test Case Generation Method with OCL |
| |
| ZENG Yi
,
DING Na
,
ZOU Ming.Activity Diagram Polymorphism Test Case Generation Method with OCL[J].Computer Engineering,2012,38(10):34-37. |
| |
| Authors: | ZENG Yi DING Na ZOU Ming |
| |
| Affiliation: | (College of Computer Science,Chongqing University,Chongqing 400030,China) |
| |
| Abstract: | This paper researches the method for generating Unified Modeling Language(UML) activity diagram polymorphism test cases.It formally defines the activity diagram,and combines the Class Sets of Polymorphism Methods(CSPM) based on class diagram,Object Constraints Language(OCL) and Liskov replacement rules.It extends the nodes with polymorphic information in activity diagram,obtains the extended polymorphic activity diagram.Test cases are generated by traversing the obtained activity diagram which uses the proposed test path constructing method and coverage criterion.Experimental result shows that method can generate test cases with polymorphic information and improve the test coverage degree. |
| |
| Keywords: | Unified Modeling Language(UML) Object Constraint Language(OCL) extended activity diagram Class Set of Polymorphism Method(CSPM) test case |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
