王吉茂
- 作品数：3 被引量：5H指数：2
- 供职机构：北京跟踪与通信技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件测试用例执行优化研究被引量：2
- 2013年
- 针对软件测试中测试用例执行顺序随意性较强,导致测试的冗余操作增多、不能集中暴露软件缺陷的问题,提出了测试路径控制阵列模型来组织测试用例,基于该模型从图论角度出发提出了测试用例执行前优化排序算法;提出了测试用例距离的概念和计算方法,并基于测试用例距离,提出了测试用例执行过程中的动态调整算法;将以上两算法应用于实时系统软件主副机切换功能的测试用例,优化结果表明,执行前优化排序算法能够减少冗余的测试操作,执行中的动态调整算法能够找到与软件缺陷相关的测试用例并调整其执行顺序。
- 王吉茂尹平张慧颖
- 关键词：软件测试测试用例
- 软件测试用例生成与约简算法研究被引量：1
- 2013年
- 对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。
- 王吉茂尹平张慧颖
- 关键词：测试用例因果图约简算法
- 基于Z语言的测试用例形式化描述方法研究被引量：2
- 2013年
- 针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性。
- 王吉茂尹平张慧颖
- 关键词：软件测试形式化描述Z语言
