摘要
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性。
As the existing description methods are not precise enough to describe test cases,Z method from language Z is put forward to describe test cases.And then the definitions of involved symbol,description method for input conditions,expectation results and other attributes are designed according to normal engineering requirements.In the end,the proposed Z method is taken to describe the test cases for time revision function in external parameters measuring and handling software.The description results show that all attributes of test cases could be described in Z with symbolic logic and that test cases described in Z could be simpler and more precise avoiding being blur or multivocal.
出处
《计算机测量与控制》
北大核心
2013年第12期3175-3177,共3页
Computer Measurement &Control
关键词
软件测试
可复用测试用例
形式化描述
Z语言
用例属性
software test
reusable test case
formalized description
language Z
test case attribute
