岳海

作品数：4被引量：13H指数：2
导出分析报告
供职机构：北京航天自动控制研究所更多>>
发文主题：软件测试测试工具LDRATESTBED在航更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《航天控制》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于修正条件判定覆盖的软件测试技术研究和方法应用被引量：4
《航天控制》2012年第3期69-72,共4页岳海 任慧敏 
对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
关键词：软件测试 修正条件判定覆盖 最小测试用例集 
基于系统状态分析的软件可靠性测试方法
《航天控制》2010年第5期76-79,共4页岳海 周新蕾 王晓玲 原坤 杨扬 
航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视。但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型...
关键词：软件 系统状态 可靠性测试 工程实践 
LDRA TESTBED在航天软件测试中的应用被引量：8
《航天控制》2007年第2期73-77,共5页李中萍 岳海 薛静 
提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的...
关键词：软件测试 测试工具 LDRA TESTBED 
航天软件测试用例设计方法应用被引量：1
《航天控制》2006年第4期57-61,共5页岳海 王宝 
介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计...
关键词：软件 软件测试 测试用例设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部