Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

面向对象方法在7号信令软件设计中的应用

随着交换技术的飞速发展，程控交换软件的规模越来越大，改动也越来越频繁，如何使代码对数据的改动具有相对的稳定性成为程控软件设计的一个首要问题。本文以ＣＣＳ７（７号公共信道信令）为例，从对象模型、动态模型、功能模型３个方面阐述了ＯＯ（面向对象）方法在ＣＣＳ７软件设计中的应用。这一方法，也可应用于程控软件的设计。     

基于异常检测的NVP表决器

一般的表决器多是针对一维输出进行表决,构建表决器相对应的决策树,预先给出阈值来制定表决策略。但是对于多维输出的表决器研究相对较少,尤其是输出各个变量之间非独立的情况下,不能将多维输出的每个变量进行单独表决,否则会引入异常点,影响表决结果。实验表明,将异常检测技术引入到表决器中,净化需要表决的数据,可以提高表决结果的准确率。     

软件开发成本估算模型的研究

软件成本准确地估算和管理控制是软件项目开发成功的基础。该文分析了影响软件开发成本估算准确性的因素,并详细介绍了IBM模型、Putnam模型和COCOMO模型三种经验估算模型,探讨了软件开发成本估算的新需求。     

一种嵌入式软件的组合测试指标获取方案

为了获取组合测试中适应值函数所需要覆盖率、测试运行代价等信息,设计实现了基于嵌入式软件源代码插桩的指标获取方案。该方案使用交叉开发环境,完成了对源代码语法、词法分析,插桩库和插桩策略的制定,目标机／宿主机通讯方式设计,获得了语句覆盖率、分支覆盖率、运行时间、被测程序程序复杂度等关键指标,并以图表的方式提供统计结果,为组合测试设计适应值函数,进行测试用例约减提供了依据。     

大规模C＋＋软件系统测试驱动开发的设计与实践

介绍了在LINUX环境下采用测试驱动开发（Test-Driven Development,TDD）,对大规模C＋＋软件系统进行增量开发的方法。通过采用Google单元测试框架优化单元测试用例结构,提高单元测试的效率,采用新一代版本构建工具Scons优化复杂的代码依赖关系,采用分布式编译工具Distcc、编译器缓存工具C Cache优化版本构建时间,极大减少了软件开发人员在开发过程中进行TDD所必需的频繁本地构建的成本,为在大规模C＋＋历史遗留系统上,采用TDD进行增量开发,以及进行由此带来的小规模重构提供了有效保证。     

软件项目质量控制流程及其技术

软件项目质量管理是贯穿整个软件生命周期的重要工作,有效地实施质量控制是提高软件质量、降低成本的重要手段。针对质量控制的难点,对质量控制流程与技术进行研究。首先,说明质量控制过程,包括事前质量控制、事中质量控制和事后质量控制;然后,通过图形研究质量控制流程;最后,通过图形并结合文字说明研究质量控制技术,包括因果图、Pareto图、控制图、运行图、统计抽样等5种常用技术。结果表明,通过对质量控制流程与技术的研究,为质量控制提供技术和方法支持,提高质量管理的科学性。     

基于．NET气门尺寸检测系统软件架构设计

光学非接触检测是随着机械制造技术、计算机视觉技术、图像处理技术等发展而出现的新兴检测技术。传统人工手段对气门尺寸的检测往往存在效率低、可靠性差、检测精度不高、成本高、容易出错等弊端,采用光学非接触检测技术不仅可以提高检测的效率、精度和可靠性,同时可以降低成本和出错率。文中在阐述了系统的硬件结构和基本工作原理的基础上,通过分析实际生产需求,结合．NET技术框架,提出了符合实际需求的检测系统总体架构,并开发了汽车发动机气门尺寸自动检测系统,实现了系统各个功能模块并合理地解决了模块之间的联系,通过高精度算法检测出零件参数。该系统已应用于实际生产中,取得不错的效果。     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。