基于用例契约化的测试用例生成策略 |
| |
引用本文: | 何丹丹,王立娟,刘瑞杰.基于用例契约化的测试用例生成策略[J].西南师范大学学报(自然科学版),2013,38(11):084-088. |
| |
作者姓名: | 何丹丹 王立娟 刘瑞杰 |
| |
作者单位: | 大连科技学院,辽宁大连116052 |
| |
基金项目: | “辽宁省科学研究一般项目”资助(L2012487). |
| |
摘 要: | UML中的用例可以简洁准确地描述系统需求,它可以作为软件测试中测试用例生成的一个很好的基础;然
而正是由于用例描述的特点,使得它忽略了对系统内部需求的描述,导致生成的测试用例是不准确的、粗糙的.为
了有效地控制这种不良影响,在软件开发的初始阶段,即用例的基础上引入“契约化”方法,通过对用例所描述的需
求进行形式化约束,并把该约束带入顺序图中,这种方法不仅可以增强测试场景的准确性,又保证了最后生成的测
试用例更加精准,覆盖率更加详尽.
|
关 键 词: | 契约 序列图 测试场景 测试用例 |
On Test Case Generation Strategy Based on Use Case Contract |
| |
Abstract: | |
| |
Keywords: | |
|
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《西南师范大学学报(自然科学版)》下载免费的PDF全文 |
|