10.3969/j.issn.1671-4598.2013.12.006
基于Z语言的测试用例形式化描述方法研究
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性.
软件测试、可复用测试用例、形式化描述、Z语言、用例属性
21
TP311.5(计算技术、计算机技术)
2015-01-20(万方平台首次上网日期,不代表论文的发表时间)
共3页
3175-3177