面向对象开发方法的单元测试研究

简要介绍了面向对象开发方法的单元测试面临的特殊性问题并进行分析，探讨了面向对象单元测试采取的策略和测试用例的设计方法，最后对面向对象单元测试的充分性问题进行了讨论。     

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

TlcsVTE原型中功能覆盖率算法的实现

TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。     

软件FMEA实例研究

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。     

IEEE Std 1061《IEEE软件质量度量方法学标准》简介

简要介绍了IEEEStd 10 6 1- 92《IEEE软件质量度量方法学标准》的适用范围 ,重点介绍了软件质量度量的目的、软件质量度量框架、软件质量度量方法学及软件度量描述等主要内容     

ESA PSS-01-403标准简介

简要地介绍了ESA PSS-01-403《危险分析和安全性风险评估方法和程序》标准的主要内容即基本概念、危险分析的方法和程序及安全性风险评审方法和程序,并结合我国航天型号研制的实际情况简要地提出了建议。     

软件项目估算与测量的工程实践

在开发过程中软件估算和测量非常重要,如果没有合理而准确的估算和实测数据,就不能对软件项目进行有效的管理和控制。本文阐述了在航天软件过程改进实施过程中工作产品规模、工作量和进度的估算和测量方法,分析了3个航天软件项目的测量结果,总结了项目的管理情况。并且证明基本的CO-COMO模型比较适合航天软件项目。     

面向对象开发方法的单元测试研究

简要介绍了面向对象开发方法的单元测试面临的特殊性问题并进行分析,探讨了面向对象单元测试采取的策略和测试用例的设计方法,最后对面向对象单元测试的充分性问题进行了讨论.     

河北省城市发展综合实力分析

本文应用多元统计分析方法对河北省11个地级城市发展状况进行了多指标综合评价。建立了评价综合发展实力的指标体系,包含三大类29个指标。主要应用因子分析对11个地级城市进行了定量分析,计算出城市发展的综合实力和经济、社会、设施环境子系统的因子得分,并进行了排序。最后,根据评价结果,对它们进行了定性分析。对河北省城市发展趋势具有一定参考价值。     

SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。