基于用例契约化的测试用例生成策略

何丹丹,王立娟,刘瑞杰

西南师范大学学报(自然科学版)

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
	姓名不能为空！
邮箱
	邮箱不能为空！非法的邮箱地址。
手机号码
	电话不能为空！请输入有效手机号!
标题
	标题不能为空！
留言内容
	内容不能为空！
验证码
	验证码不能为空！验证码错误！

基于用例契约化的测试用例生成策略

何丹丹,王立娟,刘瑞杰. 基于用例契约化的测试用例生成策略[J]. 西南师范大学学报(自然科学版), 2013, 38(11).

引用本文:

何丹丹,王立娟,刘瑞杰. 基于用例契约化的测试用例生成策略[J]. 西南师范大学学报(自然科学版), 2013, 38(11).

On Test Case Generation Strategy Based on Use Case Contract[J]. Journal of Southwest China Normal University(Natural Science Edition), 2013, 38(11).

Citation:

On Test Case Generation Strategy Based on Use Case Contract[J]. Journal of Southwest China Normal University(Natural Science Edition), 2013, 38(11).

基于用例契约化的测试用例生成策略

何丹丹,王立娟,刘瑞杰

大连科技学院,辽宁大连,116052

On Test Case Generation Strategy Based on Use Case Contract

摘要: UML中的用例可以简洁准确地描述系统需求,它可以作为软件测试中测试用例生成的一个很好的基础;然而正是由于用例描述的特点,使得它忽略了对系统内部需求的描述,导致生成的测试用例是不准确的、粗糙的.为了有效地控制这种不良影响,在软件开发的初始阶段,即用例的基础上引入“契约化”方法,通过对用例所描述的需求进行形式化约束,并把该约束带入顺序图中,这种方法不仅可以增强测试场景的准确性,又保证了最后生成的测试用例更加精准,覆盖率更加详尽.
- 契约,序列图,测试场景,测试用例
- use case，contract，sequence diagram，test scenario，test case .

计量

文章访问数: 245
HTML全文浏览数: 97
PDF下载数: 0
施引文献: 0

基于用例契约化的测试用例生成策略

何丹丹,王立娟,刘瑞杰

大连科技学院,辽宁大连,116052

关键词:

契约,序列图,测试场景,测试用例

摘要: UML中的用例可以简洁准确地描述系统需求,它可以作为软件测试中测试用例生成的一个很好的基础;然而正是由于用例描述的特点,使得它忽略了对系统内部需求的描述,导致生成的测试用例是不准确的、粗糙的.为了有效地控制这种不良影响,在软件开发的初始阶段,即用例的基础上引入“契约化”方法,通过对用例所描述的需求进行形式化约束,并把该约束带入顺序图中,这种方法不仅可以增强测试场景的准确性,又保证了最后生成的测试用例更加精准,覆盖率更加详尽.