基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

基于CMM的软件测试过程管理

针对软件测试项目特点,详细分析了软件测试过程的4个阶段,说明了各阶段应完成的主要任务和实施步骤,并结合CMM方法,提出了基于CMM的软件测试过程管理方法.阐述了该方法中软件测试需求管理、项目策划、项目监督与控制、质量保证和配置管理的内容和要求,实现了软件测试过程的规范管理,提高了测试过程的管理水平,保证了软件测试的质量与效率.     

一种多方法融合的软件成本估算改进方法

对传统的WideBand Delphi估计法、功能点法和类比法进行了分析、比较,提出了一种改进的成本估算方法。该方法以WideBand Delphi估计法为原型,在专家估计过程中,将功能点法和类比法融入其中,有效规避了WideBand Delphi估计法过于依赖专家经验的不足,并通过类比扩展了功能点法所局限的应用领域,既保证了估计方法的科学性,又保证了估计结果的准确性。实际估算数据的比较表明,改进后的估算方法具有更高的精确度。     

功能点估算方法研究及应用

功能点方法适用于软件项目早期的规模估算,核心思想是把软件系统按照组件进行分解,从而确定系统的功能点数量。对当前应用比较广泛的3种功能点方法即IFPUG功能点法、MarkⅡ功能点法和COSMIC功能点法进行了详细说明,并对这三种方法的计算过程、适用领域、用户范围等进行比较。通过具体的实例对功能点方法进行了分析比较,最后针对功能点方法的局限性提出了解决途径。     

基于HLA的防空作战仿真系统研究

针对防空作战仿真系统的特点,建立了可视化的公共仿真开发平台,并在此基础上设计开发了一种可扩展的防空作战仿真系统。分析了防空作战仿真系统的功能、联邦组成和相关的关键技术,并对该环境下开发联邦成员进行了详细的说明。本项研究对于其他领域内联邦成员的开发也具有重要的借鉴意义。     

基于HLA的防空作战仿真系统研究

针对防空作战仿真系统的特点，建立了可视化的公共仿真开发平台，并在此基础上设计开发了一种可扩展的防空作战仿真系统。分析了防空作战仿真系统的功能、联邦组成和相关的关键技术，并对该环境下开发联邦成员进行了详细的说明。本项研究对于其他领域内联邦成员的开发也具有重要的借鉴意义。