尹平
- 作品数：9 被引量：33H指数：2
- 供职机构：北京跟踪与通信技术研究所更多>>
- 相关领域：自动化与计算机技术环境科学与工程航空宇航科学技术更多>>
- 基于ISO的软件质量评价分析被引量：3
- 2005年
- 软件质量评价是软件质量保证的一种重要手段,但由于软件的复杂性、抽象性和不确定性,使软件质量评价一直是一个难题。ISO/IEC9126和ISO/IEC14598是关于软件质量评价的两个国际标准,也是当前对软件质量进行评价的依据。文章介绍了基于这两个标准的、适用于评价者的软件质量评价过程和方法,分析了这两个标准的局限性,提出了相应的对策。
- 尹平
- 关键词：软件质量
- 可复用测试用例研究被引量：23
- 2010年
- 分析了测试用例复用的可行性和必要性,研究了可复用测试用例的特性,提出了面向复用的测试用例设计过程和基于复用的软件测试模型,给出了可复用测试用例的描述要素,从而解决了可复用测试用例的系统描述、规范设计和有效使用的问题,并为基于复用的软件测试的工程化管理提供了管理框架。
- 尹平
- 关键词：软件测试测试用例测试用例复用软件测试模型
- 提高地面测控软件质量新途径研究
- 本文分析了航天地面测控软件研制的特点,提出了提高软件质量的三个途径:加强系统分析设计与航天器间的协调、加强总体与软件研制方间的协调、探索新的系统分析设计方法.
- 尹平
- 关键词：地面测控软件质量
- 文献传递
- 模型检验在航天测控软件上的应用研究被引量：1
- 2018年
- 模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。
- 李运筹尹平
- TMM等级2测试策划过程的实现被引量：1
- 2006年
- “制定测试策划过程”是TMM等级2的成熟度目标之一。从活动和任务两方面明确了测试策划过程的各项工作和要求,便于测试人员掌握测试策划过程的工作重点,并为提高测试计划的指导性和实用性提供保证。
- 尹平
- 关键词：测试成熟度模型软件测试
- 软件测试用例执行优化研究被引量：2
- 2013年
- 针对软件测试中测试用例执行顺序随意性较强,导致测试的冗余操作增多、不能集中暴露软件缺陷的问题,提出了测试路径控制阵列模型来组织测试用例,基于该模型从图论角度出发提出了测试用例执行前优化排序算法;提出了测试用例距离的概念和计算方法,并基于测试用例距离,提出了测试用例执行过程中的动态调整算法;将以上两算法应用于实时系统软件主副机切换功能的测试用例,优化结果表明,执行前优化排序算法能够减少冗余的测试操作,执行中的动态调整算法能够找到与软件缺陷相关的测试用例并调整其执行顺序。
- 王吉茂尹平张慧颖
- 关键词：软件测试测试用例
- VASR-CBMC:基于变量子图的多线程程序验证
- 2018年
- Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图分解为连通等价的变量子图集,基于变量子图执行反例验证与精化求解,从而有效缩小图的规模,提升验证效率。将该方法实现为VSAR-CBMC,实验证明其相较于Yogar-CBMC验证时间平均缩短43%,有效提升了模型检验对并发程序的验证能力。
- 李运筹尹平尹良泽
- 软件测试用例生成与约简算法研究被引量：1
- 2013年
- 对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。
- 王吉茂尹平张慧颖
- 关键词：测试用例因果图约简算法
- 基于Z语言的测试用例形式化描述方法研究被引量：2
- 2013年
- 针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性。
- 王吉茂尹平张慧颖
- 关键词：软件测试形式化描述Z语言
