软件测试初探

软件开发和使用的历史已经留给了我们很多由于软件缺陷而导致的巨大财力、物力损失的经验教训。这些经验教训迫使我们这些测试工程师们必须采取强有力的检测措施来检测未发现的隐藏的软件缺陷。软件测试正随着软件的成熟而不断成长。软件测试就是在软件投入运行前，对软件需求分析、设计规格说明书和编码的最终复审，是软件质量保证的关键步骤。软件测试就是为了发现程序中存在的错误、缺陷而执行程序的过程。     

基于特征选择的软件缺陷预测方法

软件缺陷对软件功能的实现具有不可预知的危险,是软件产品的固有成分,提高软件的可靠性,关键在于降低软件缺陷出现的概率,而如何利用已有缺陷数据构建预测系统框架是研究的重点.针对传统软件测试技术虽然能够有效发现软件缺陷,但需要消耗大量的时间和精力,制约软件开发效率的缺点,提出基于特征选择的软件缺陷预测方法,算法对软件缺陷模型的经验数据集进行多特征选择,进而克服数据集之间的冗余性移除无关特征,得到缺陷模型的分类,最终实现软件缺陷的精确预测.实验表明,基于特征选择的软件缺陷预测方法具有较好的预测效果和较高的应用价值.     

基于全生命周期的可信软件评价研究述评

针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在可信软件领域资助的情况进行分析,系统研究了国内外可信软件评价相关最新研究成果.在可信软件过程评价方面,主要侧重于可信软件过程实体可信、过程行为可信以及过程能力可信评价模型研究;在可信软件产品评价方面,主要侧重于保密安全性、生存性、容错性、可靠性、可靠安全性、实时性研究.从学科分布来看,可信软件研究充分体现管理学、软件工程、计算机科学技术等多学科交叉特征.     

基于DTS的软件测试管理

通过对软件测试管理的必要性和组成结构的分析,提出了三层架构的支持多角色协同测试的网络解决方案,设计了基于ASP.NET的软件缺陷跟踪系统.该系统有助于软件开发及测试活动的组织、管理和评价,提高软件开发效率及其质量.     

软件缺陷管理中分类及度量方法研究

本文以软件缺陷为研究对象,介绍了几种常用的、基于缺陷分类的缺陷分析方法,并对这些方法在缺陷分析过程中的应用进行了讨论。通过对这些缺陷分析方法的剖析,提出软件缺陷管理分类和度量分析方法,对不同类型软件缺陷进行收集、跟踪、处理和分析,在软件开发过程中,能够较好的预防引入同类缺陷;在软件测试阶段,利用设计好的缺陷分类方法,设计测试用例发现缺陷,提高软件系统的质量。     

基于软件质量模型构建软件可信性评估系统

文章基于软件质量模型的研究成果,分别从认知软件可信性的角度、量化可信性指标的角度以及如何评估软件可信性的角度对软件可信性进行阐述。为了对软件可信性实现量化评估,提出由指标模型层、评估过程和信息层3部分组成的软件可信性评估系统。     

软件可靠性新模型研究(英文)

在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.     

针对面向对象软件的测试

软件测试是整体软件开发中的重要一环,是确保软件质量,提高其可靠性的关键步骤.然而,传统的测试技术和方法,对面向对象技术开发的软件存在一定的缺陷.本文在分析面向对象软件开发技术特点的基础上,讨论了面向对象软件测试的测试策略、方法及测试技术.     

软件质量存在的问题及改进方法

阐述了软件质量的度量方法，并据此对软件质量存在的问题进行了分析和分类。通过对软件质量的度量，总结了软件在易使用性、容错性、易安装性及文档资料方面容易出现的3l类问题。给出了对软件进行测试的实例。实践表明，这种软件质量缺陷分类方法可操作性强，对软件开发人员有很大的帮助，有利于提高软件的质量。     

基于灰色关联和层次分析法的软件可信性评价模型

为了提高软件的可信性,提出了一种基于灰色关联分析法和层次分析法(AHP)建立软件可信性的评价模型.首先,分析并确定评价对象和软件可信性的评价因子,然后,根据两级差计算灰色关联系数;其次,利用层次分析法确定各个评价因子的权重;最后,根据灰色关联度的大小,关联度越大软件可信性越好,从而评价软件可信性.     

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation, GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。     

An approach of trustworthy software design with automatically adapting software update

In this paper,we merge software trustworthiness with software design and present an approach to trustworthy software design with an automatically adapting software update.First,software behavior and results can be expected and behavior states can be monitored when a software runs by introducing a trustworthy behavior trace on a software and inserting a checkpoint sensor at each checkpoint of the trustworthy software.Second,an updated approach of the trustworthy behavior trace for the software at the level of checkpoints is presented.The trustworthy behavior traces of the software for two versions can be merged adequately by constructing split points and merge points between two trustworthy behavior traces.Finally,experiments and analyses show that:① the software designed by our approach can detect and report the anomaly in a software automatically and effectively,so it has a higher ability of trustworthiness evaluation than the traditional software;and ② our approach can realize the accurate update of the trustworthy behavior trace with a lower space overhead of checkpoints when the software updates.     

一种面向软件行为可信性的入侵检测方法

针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示;然后,提出了检测方法和流程,通过数据挖掘方法对恶意软件和正常软件进行行为知识发现,利用发现的行为知识对未知软件进行行为可信性判定;最后,对方法进行了实现,对一些行为模式使用选定的样本进行了实验验证.实验结果表明,该方法能够依据软件行为可信策略检测未知软件中的恶意行为,检测成功率高.     

面向软件可信优化的失信因素分析方法

软件可信性评估的目的是对软件实体的可信状态有较为全面的主观认知,最终给出优化方案。文章通过分析当今软件可信评估中尚存在的问题,对影响软件可信性的重要属性进行研究,提出了一种基于权重的失信因素分析方法,并利用其构造算法模型。研究了软件可信优化时的关键失信因素,得到各失信因素的失信度,并且得到关键失信链。     

一种面向第三方测试的装备软件可信性评估方法

软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软件可信性评估模型,为保证模型输入的一致性和规范性,采用统一的可信证据分析度量方法对评估模型进行约束;然后采用基于公理证明的可信融合算法对可信数据进行融合;最后根据评估过程和结果信息深入开展可信性分析,挖掘更多的软件可信信息,生成可信性增强策略和规范。应用结果表明,该方法科学性、规范性较强,评估结果准确性较高,能够有效促进装备软件可信性的提升。     

基于灰色理论的软件可靠性预计新模型

本文讨论了一些已有的软件可靠性模型,指出了它们的不足之处。并进一步探讨了软件失效过程的持点,将其当作一个灰色过程,从而从另一途径建立了一个基于灰色系统理论的软件可靠性预计模型,该模型能够克服已有模型的缺点。     

面向对象软件工程中软件需求分析

本文对面向对象的软件工程中软件需求分析的任务、过程、原则和方法进行了详细的阐述,并通过简单事例说明了软件需求分析在软件工程中的重要性.     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

基于软件复用技术的监控软件设计

介绍了软件复用技术和监控软件的内容及特点，重点讨论了复用技术在监控领域软件设计中的应用，提出了基于软件复用思想，建立适用于监控软件设计开发的标准元件类库和适用于监控软件的程序框架设计方法。即：基于类库层次复用的标准类库的建立、基于设计层次复用的框架程序的设计、基于分析层次复用的设计方法的改进。在这一设计方法的基础上，改进了监控软件的设计，并成功应用于高压水泵站实时监控系统的设计开发中。     

软件需求分析探讨

阐述了软件需求分析的任务,探讨了需求分析的基本操作和技术,指出需求分析是软件开发中不可或缺的一个关键环节。