教学课程资源库 更多>>

关键词： 软件测试流程   GJB5000A   V模型  

摘要： 软件测试模型是软件测试工作开展的依据,合理的软件测试流程是提升软件测试质量的重要保障。文中通过对V模型及GJB5000A体系中基于V模型的软件测试流程进行了介绍与分析,结合当前软件测试工程实践,提出了一种更合理有效的软件测试流程。该流程能更好地管理软件测试过程的系列活动,提高了软件测试效率及质量。

关键词： 软件测试   软件可靠性   ARINC653   可靠性评估  

摘要： 在航空电子系统软件测试的背景上,对ARINC653平台燃油模块在Testbed测试平台上的测试用例进行统计,得出实际测试案例分布服从特殊泊松的数学特征。根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率,从而对软件进行可靠性评估,解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题。在Matlab平台上对软件系统(燃油模块)的测试可靠性进行评估,得出实验结果,并且提出不足。

关键词： 软件开发   软件测试   自动化测试  

摘要： 近年来,计算机技术和信息技术快速发展,各种应用软件层出不穷,为了充分保证软件质量,需要进行软件测试,但是软件测试需要耗费大量的人力和时间,可能占据整个软件开发工作量的40%左右,如果对软件开发比较严格,工作量还会高于这一数值,当前的软件测试一般是人工测试,存在效率低下、错误太多等问题,由于软件测试一般是重复操作,因此近年来软件自动化测试技术开始普及。

关键词： 软件可靠性   软件测试   SVM分类器  

摘要： 随着软件应用的日益广泛,软件质量越来越受到人们的重视,对于软件质量的最重要因素,软件可靠性进行分析的要求也越来越高。通过建立软件可靠性模型的方法,虽然在一定程度上可以描述软件的可靠性,但目前还没有一个模型可以普遍适用地进行应用,且使用起来颇为繁琐。从一个新的着眼点研究软件可靠性——基于软件测试结果应用SVM分类器进行软件可靠性分析。

关键词： 软件工程   数据挖掘   软件测试  

摘要： 作为信息技术的重要组成部分,数据挖掘技术近年来被广泛应用到社会生产生活的各个领域。本文以软件工程数据挖掘技术作为研究对象,通过对软件工程数据挖掘的概念进行阐述,在结合软件工程数据挖掘技术与传统数据挖掘技术之间区别的基础上,对软件工程数据挖掘在软件测试阶段的应用方法展开了深入研究。

关键词： 能量管理系统   电网调度自动化   软件测试   检测模型  

摘要： 在分析典型调度主站软件系统架构和特性的基础上,通过对调度主站软件系统的输入/输出(I/O)空间分析,给出了更加符合调度主站软件系统特征的检测模型。基于该模型分析了软件检测设计中的某些规律,并基于所提出的检测模型对调度主站软件系统的检测工作进行了分析和说明,所提模型为调度主站软件系统检测工作的简化奠定了理论基础。

关键词： 软件测试   敏捷思想   软件测试质量  

摘要： 为了提高软件测试工程化水平,总装备部颁布了GJB2725A标准,但在实践中发现基于该标准的软件测评过程工作程序相对繁琐,不能很好地与目前流行的敏捷开发思想进行融合。分析了基于GJB2725A标准的软件测评过程,结合敏捷开发思想,对软件测评过程进行了改进。研究发现,该方法在保证测试覆盖率和软件测试质量的同时,简化了工作流程,提高了工作效率。

关键词： CMMI   软件测试过程   度量分析  

摘要： 本文基于CMMI的软件测试过程度量分析进行了详细探讨,为确保软件测试过程的精确性和有效性提供了重要保障。

关键词： 电力监控系统   安全防护   信息安全   等级保护测评   软件测试  

摘要： 电力监控系统安全防护是保障电网安全稳定运行的必要措施,为提高电力监控系统的安全防护能力,本文在分析电力监控系统安全防护现状的基础上,分析了应用系统层面的安全测评中存在缺乏安全性测评标准、测评手段有限和现有测试工具无法直接用于测评在线生产系统等问题。针对这些问题,本文提出将软件测试方法应用于应用系统测试的技术方案,分别是通过搭建模拟环境进行自动化的动态测试,以及对应用系统源代码进行静态测试。通过二者的有机结合,可以有效的发现应用系统中的缺陷,及早采取有效措施避免电力生产中软件缺陷导致的事故和不良后果,从而保障电网的安全稳定运行。

关键词： 软件测试   动态符号执行   非线性算术约束   约束相似性  

摘要： 动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度.