分享到:

软件测试分析

现在人们已经逐渐认识到所谓的软件危机实际上仅是一种状况,那就是软件中有错误,正是这些错误导致了软件开发在成本、进度和质量上的失  (本文共5页) 阅读全文>>

武汉大学
武汉大学

软件安全性测试与分析的若干关键技术研究

随着信息技术的高速发展,第三次科技革命带领人类进入信息时代,普及的信息技术使得世界成为“地球村”,改变了人类传统的生产、生活及通信方式。然而,信息产业在迅猛发展、空前繁荣的同时也带来了负面影响——由于技术和成本的原因,人们仅仅关注于计算机和网络的可用性,从设计到实现均没有考虑安全因素,事实证明这给信息基础设施带来了各种安全隐患。软件是信息基础设施的灵魂,软件设计由于安全性欠缺的历史原因和功能需求日益复杂的现实原因,经常发生各种故障和失效,给社会和用户带来巨大损失。软件测试是对软件进行人工或自动分析,检验其能否满足设计需求的过程;通过静态的源代码分析以及动态的目标码运行来判断软件是否具备预期的功能和性质。安全属于软件的非功能属性,软件测试可以发现、定位进而排除软件的安全隐患。因此,软件测试是保证软件安全的关键技术,也是软件在开发和维护中必要的安全手段。本文所指的软件测试与分析主要是从“发现”的角度出发,利用测试技术,去寻找软件中潜...  (本文共117页) 本文目录 | 阅读全文>>

武汉大学
武汉大学

可信计算支撑软件的分析与测试研究

二十一世纪开启了一个全新的信息时代。随着计算机应用的普及和网络技术的飞速发展,人们享受便捷的信息化生活。同时计算机病毒、恶意代码和信息窃取也层出不穷,这给信息安全带来了极大的挑战。信息安全问题的根本原因是终端平台的安全性得不到保障。要解决终端的安全问题,必须从计算机硬件和软件多方面采取安全措施。当前可信计算成为了计算机安全领域内发展热点之一,可信计算平台得到日益广泛的使用,这将极大地增强信息系统的安全性。同时,必须对可信计算平台进行测评,否则就不能保证可信计算产品的质量,也就不能确保信息系统的安全。可信计算支撑软件在可信计算平台中为应用程序提供访问可信平台模块(Trusted Platform Module,TPM)的接口,是可信计算平台体系中必不可少的组成部分。对可信计算支撑软件开展分析与测试工作是可信平台测评工作中重要的组成部分,本文着重研究了如何确定可信计算支撑软件的安全功能需求,并分析与安全功能需求相关安全功能函数间的调...  (本文共117页) 本文目录 | 阅读全文>>

《计算机应用研究》2011年07期
计算机应用研究

可信软件分析与测试研究进展

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方...  (本文共7页) 阅读全文>>

西北工业大学
西北工业大学

自动测试软件的分析、测试及可靠性研究

本文研究了ATE8000-1自动测试系统中的FMC执行软件,完成了软件分析、测试及可靠性建模的工作。为了满足工程实际要求,软件测试过程中采用控制流分析方法绘制了IOP监控程序及十三个模块测试程序的软件控制流程图,验证了FMC执行软件实现的正确性。根据FMC执行软件所具有的实时性、嵌入式、余度计算、面向机器的语言、硬件依赖性及多机处理等约束条件,设计了软件测试内容及测试环境,建立了基于覆盖的动态软件测试模型。利用IBM PC汇编语言在PC机上模拟实现了部分软件的测试,同时采集了基于累积失效时间的软件失效仿真试验数据。在对典型软件可靠性模型进行研究的基础上,为了改善可靠性模型对工程软件失效数据的适用性,提出了组合可靠性模型分析的方法。根据八种典型可靠性模型的预测结果,从中选择综合评估最优的三个模型作为组合模型组件,并给出了等权重线性组合(ELC)、面向中值线性组合(MLC)和不等权重线性组合(ULC)三种组合模型。该组合模型成功地抵...  (本文共84页) 本文目录 | 阅读全文>>

厦门大学
厦门大学

面向对象软件测试方法分析与研究

软件测试是伴随着软件的出现而产生的。早期的软件测试通常由程序员自行完成,也就是“程序调试”。随着软件开发技术的发展,用面向对象方法开发软件逐渐成为主流。然而面向对象开发方法在给软件开发工作带来便利的同时,也在软件测试方面提出了严峻的挑战。本文首先介绍软件测试的起源与发展,分析了现阶段软件测试在国内外研究的情况,然后讨论了传统的软件测试方法、技术、过程和目前比较流行的软件测试工具及其在面向对象软件测试领域中的应用。在此基础上,我们指出了面向对象软件测试由于继承、封装、多态等特性导致不能完全简单沿用传统的软件测试方法和技术,阐述了发展面向对象软件测试方法的意义。论文总结了面向对象软件测试的测试模型、测试方法、测试过程,讨论了面向对象开发模型。根据开发模型,可将软件测试分为面向对象分析的测试、面向对象设计的测试,以及面向对象编程的测试。测试方法包括正交试验设计、前置条件测试方法、基于类的一些测试方法、交互测试等。测试过程包括方法测试、...  (本文共88页) 本文目录 | 阅读全文>>