搜索筛选:
搜索耗时0.0858秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者:周新蕾,缪峥红,
来源:质量与可靠性 年份:2000
1.引言 目前航天软件测试经常遇到的一个问题是:测试时间短,但被测软件的可靠性和安全性要求高。这就要求测试人员提高测试效率,用尽量少的测试用例达到尽可能高的测试...
[会议论文] 作者:缪峥红,周新蕾,
来源:2006中国科协年会 年份:2006
本文针对安全性关键软件的特点,提出了一种在全面测试的基础上、基于软件安全性分析的软件可靠性测试与评估方法.全文分三个部分:第一部分为软件可靠性测试,描述了软件可靠性测......
[期刊论文] 作者:周新蕾,缪峥红,,
来源:载人航天 年份:2005
载人运载火箭故障检测处理软件为载人航天系统中的安全性关键软件。在概述常规软件可靠性测试的方法、特点、测试条件和测试步骤的基础上,结合测试实践提出了安全性关键软件...
[期刊论文] 作者:邓本江,缪峥红,
来源:航天工艺 年份:1997
数据库自动设计工具DBADT是一个以扩展E-R模型为概念设计模型,以关系模型为逻辑设计模型,最终生成RDBMS的DDL语句的通用型关系数据库自动设计工具,针对数据库设计过程中需反复设计和优化的特点,引......
[期刊论文] 作者:石柱,周新蕾,缪峥红,
来源:系统工程与电子技术 年份:2004
软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法.该方法包括三大要素:审查员、审查对象和审查过程.结合我们在航天型号软件开发过程中的软件审查实践,分别...
[期刊论文] 作者:石柱, 周新雷, 缪峥红,,
来源:质量与可靠性 年份:1999
介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。...
相关搜索: