岳海
- 作品数：4 被引量：16H指数：3
- 供职机构：北京航天自动控制研究所更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- LDRA TESTBED在航天软件测试中的应用被引量：8
- 2007年
- 提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。
- 李中萍岳海薛静
- 关键词：软件测试测试工具LDRATESTBED
- 航天软件测试用例设计方法应用被引量：4
- 2006年
- 介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。
- 岳海王宝
- 关键词：软件测试测试用例设计
- 基于修正条件判定覆盖的软件测试技术研究和方法应用被引量：4
- 2012年
- 对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
- 岳海任慧敏
- 关键词：软件测试最小测试用例集
- 基于系统状态分析的软件可靠性测试方法
- 2010年
- 航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视。但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径。
- 岳海周新蕾王晓玲原坤杨扬
- 关键词：工程实践
