航天软件审查的实施方法及应用经验

软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以及审查的过程 ,并阐述了我们在航天型号软件审查实践中的结果和体会。

软件审查方法及应用

介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。

基于状态分析的软件测试设计

1.引言 目前航天软件测试经常遇到的一个问题是:测试时间短,但被测软件的可靠性和安全性要求高。这就要求测试人员提高测试效率,用尽量少的测试用例达到尽可能高的测试覆盖。 结合故障检测处理系统的测试实践,针对一类实时嵌入式软件,作者提出了一种基于状态分析的软件测试设计方法,本文为作者对这一方法的总结。

数据库自动设计工具DBADT

数据库自动设计工具DBADTD（DataBaseAutomaticDesignTool）是一个以扩展E-R模型为概念设计模型，以关系模型为逻辑设计模型，最终生成RDBMS的DDL语句的通用型关系数据库自动设计工具。针对数据库设计过程中需反复设计和优化的特点，引入面向对象技术，增强了信息的重要性，从而提高了数据库设计效率，DBADT具有E-R模型编辑、E—R模型集成、关系转换、关系规范化、关系优化、关系命名、生成DDL语句和数据字典查询等功能。