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

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

面向持续集成的回归测试优化方法

针对持续集成环境下回归测试需要进行持续优化的问题,提出一种依据回归测试目标自适应调整策略的优化方法。首先将失败标志、缺陷检测数、重要性因子、新旧功能标志作为用例属性进行标记,根据历史数据和关联关系对用例属性进行初始化;而后根据阶段测试目标,区分新功能测试、修改性测试,将需求映射为具体的用例属性指标,据此对用例进行选择;计算重要性因子,更新用例属性标签,根据用例属性进行优先级自动排序;用例执行中,按照时间、资源要求,根据用例属性选择相应规模的测试用例进行执行。最后选择开源数据集进行实验,结果表明该方法针对不同的测试目标均能够降低执行用例的规模,提高缺陷检测效率。