基于Z语言的测试用例形式化描述方法研究

• 作者: 尹平 张慧颖 王吉茂
• 来源期刊: 计算机测量与控制
• 关键词: 软件测试 可复用测试用例 形式化描述 Z语言 用例属性
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 自动化测试技术
• 页码范围: 3175-3177
• 页数: 3页
• 分类号: TP311.5
• 语种: 中文

摘要

针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹平		9	192	4.0	9.0
2	张慧颖		4	55	3.0	4.0
3	王吉茂		2	46	2.0	2.0