基于SFTA和等价类的软件测试用例设计方法研究与应用

为了解决软件测试时高可靠性安全性要求,测试用例设计的充分性和有效性不足的问题,软件故障树分析结合等价类原则解决了测试用例设计的充分性和有效性问题。通过对软件的故障模式进行分析,在建立软件故障树的基础上获得了软件故障树的最小割集。以最小割集为模型,结合等价类划分方法实现了测试用例设计,并根据该方法开发了测试用例自动生成工具。通过测试项目实际应用表明,采用该方法进行测试用例设计可以满足测试的充分性和有效性要求。     

一种新的仿真软件测试方法研究

软件复杂度的提升是社会信息化不断深化的必然结果,这给软件测试提出了更高的要求。由于技术、统筹、地缘或其他非技术因素等导致被测软件无法与相关硬件设备连接成系统,从而导致测试进度的延缓,系统性问题在设计层面的反馈困难。文章提出了一种利用可变消息格式在短报文传输中仿真所需连接的设备的方法,以电台传输图像为例子,通过可变消息格式的技术来仿真被测系统与电台间的数据传输,对被测终端与电台间的串行通讯端口进行接口测试并得到结果。     

两种黑盒测试方法的比较分析

软件应用于几乎所有的科学技术领域。一款特定软件的用户类别取决于他们的认可以及软件的质量。软件开发人员有责任确保软件没有缺陷,并且可以执行所需要的功能。软件测试是软件开发生命周期阶段的一项重要工作。各种研究分析表明软件测试占了整个软件开发工作的30%。所以测试对于提高软件质量有至关重要的作用。软件测试主要包括单元测试、集成测试和系统测试。单元测试基本有两种测试方法:黑盒测试和白盒测试。本文分析了黑盒测试方法和相关问题。     

浅谈基于云计算的软件测试

随着云计算的普及,IT行业也迎来了一个新的时代。而在软件测试方面,也诞生了一种全新的基于云计算平台的软件测试方法。本文主要介绍一下在云计算环境下,软件测试的相关发展情况,旨在让人们更加了解云计算软件测试。     

软件测试方法和策略

在软件开发的过程中，人们使用了许多保证软件质量的方法、设计和实现软件，但难免还会在工作中犯猎误。这样，在软件产品中就会隐藏许多错误和缺陷。对于规模大、复杂性高的软件更是如此。结合在软件测评中的工作体会，介绍了软件测试的目的和原则、软件的几种测试方法，探讨了软件测试的策略。     

基于需求的软件测试

软件需求是软件开发的前提,同时也是系统验收的依据。基于需求的软件测试是从用户的角度出发进行测试,它是软件测试的本质。该文主要讨论了基于需求的软件测试中的测试对象和目的、测试的困难以及在需求明确和需求不明确下的测试策略。     

黑盒测试用例设计方法研究

为了快速地设计出完整有效的测试用例以保障软件测试质量,在分析黑盒测试用例设计技术的基础上,采用了将边界值和等价类测试技术结合起来设计测试用例的一种新的方法思路。在此以一个三角形问题为实例通过分析,先用边界值分析确定数据边界,再用等价类划分方法得到等价的数据类,从而快速获得了一个完整有效的测试用例。采用这种方法设计的测试用例具有较强的发现软件程序错误的的特点,不但能有效避免测试的盲目性,并且能提高测试效率和测试覆盖度。     

基于数据流的软件测试序列自动生成技术研究

测试用例自动生成技术是软件测试的一个重要研究领域，而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法，此方法首先对待测试程序进行静态分析，然后根据程序的语句间关系生成程序图，最后基于数据流测试准则，根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理，得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖，同时，在计算过程中避免了无用路径的生成，节省了算法空间和执行时间。     

基于度量的软件测试过程管理方法

本文分析了过程能力对于测试质量的影响,提出了基于度量的测试过程管理方法,并通过对过程度量数据的分析探索了该方法的有效性。     

基于移动平台的APP软件测试

移动互联网随着信息技术的发展而不断渗透到社会生活的各个角落,应运而生的各种APP也成为人们关注的焦点,为了保证这些APP能够正常、稳定地运行,测试是非常有必要的一种手段来验证其有效性、安全性。为此,简要介绍了移动平台下APP软件测试所要关注的五个方面。     

基于软件复用的领域分析和建模研究

介绍了软件复用的相关原理和关键技术,结合特定领域提出了一种基于构件的软件开发过程,在此基础上得到了基于构件的领域分析方法。最后结合领域工程、构件化开发、面向对象开发方法等技术给出了一种基于软件复用的领域工程开发模型。     

领域分析与软构件的提取

本文主要讨论了领域工程与应用系统工程之间的关系，并结合实例阐述了基于面向对象技术的领域分析方法及如何依据领域分析来抽象和提取可复用软构件的方法和步骤，从而达到提高软件的可复用性和开发效率的目的。     

Research on Formal Degree Evaluation and Analysis for Domain Software Based on Evidence

Existing researches fail to involve formalized methods in evaluation and analysis of domain software and lack analysis on formal degree,this paper comes up with a formal degree evaluation approach for domain software based on evidence.Various levels of transformation models are mapped by formal analysis of evidence in life cycle of domain software so as to quantitatively measure degree of evidence.Evaluation model based on evidence is established by analyzing detailed evaluation requirement.A level model including mapping condition is established to describe formal degree at hierarchical level.This paper explains detailed evaluation process through an evaluation example.The approach stated in this paper can describe formal degree of domain software,evaluation data can support subsequent bottleneck analysis and trustworthy evolution,thus provide formal support for creditable construction and analysis.     

一种基于程序执行时间量化分析的软件水印方法

当前,应用软件面临的重要问题是不法分子通过软件剽窃、重打包等技术,将恶意负载或广告加载到合法应用软件中,并形成新软件进行发布,给用户和应用软件作者的合法权益带来威胁。为了实现对应用软件剽窃、重打包等安全风险的测评,该文提出一种基于程序执行时间量化分析的软件水印方法(SW_PET)。通过生成多种相互抵消功能的操作组,实现对水印信息的时间化编码,并植入应用软件中;在检测过程中,需要提取相应的水印信息,对照之前的时间编码对应的原始水印,比较不同操作的执行时间,判断水印相似度,进而判别原始水印的存在性,完成应用软件合法性的判断。该方法也可以与其它类型的水印信息相结合,增强水印的鲁棒性。最后,通过搭建仿真模拟器,实现对不同应用软件水印信息的比较和判断,验证该方法的有效性。     

浅谈专用设备软件的测试

随着计算机软件在专用设备中的地位逐渐变得越来越重要,并且软件程序量和复杂度在不停地增加,软件质量将直接影响到设备的品牌和销量,而软件测试是提高软件质量最直接、最快捷的手段,所以专用设备软件测试工作显得越来越关键并且艰难。基于软件测试理论。从专用设备软件的特点出发,对专用设备软件的测试方法进行了研究。     

关于软件测试课程的初步探究

软件测试是使用人工和自动手段来运行或测试某个系统的过程,其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。简单地说,如果有一段代码,查看这段代码并且从中找出错误,就是软件测试。软件测试课程主要是讲解软件测试的理论知识和自动化测试工具。从招聘网站上的数据可以看出,软件测试人员在IT公司的需求量是很大的,这些公司遍布了外资企业、合资企业、国企、大型民营企业和一些中小型公司。面对当前严峻的就业形势,软件测试显得更为重要。本文分析了软件测试的概念和作用以及软件测试职位的要求,从而得出计算机专业设置软件测试课程是很重要的结论。并且对软件测试课程的教学提出了合理的建议。     

软件测试工作探讨

本文从软件测试的发展历史出发，阐明了软件测试的必要性和重要性，重点总结了作者在软件测试工作中的体会及测试方法、技巧。     

Software Testing Applications Based on a Virtual Reality System

Software testing is an important part of software engineering and has been more and more popular as the rapid growth of the software products market. Good skills of communication with clients and programmers play a significant role for a tester during the test process. This paper presents some important and basic software testing applications （such as static testing, dynamic testing, black-box testing, white-box testing and their combinations） based on a virtual reality system, named as rocket digital simulation system （RDSS）. Different testing methods are exercised during the software developing lifecycle and finally achieving significant quality improvement.     

基于改进喷泉模型的软件测试的研究

软件测试是保证软件质量的一个非常有效的途径,而软件测试模型是软件测试的工作框架.在测试过程中使用合理的软件测试模型不仅能大大缩短软件测试时间,同时能帮助提高软件测试效率,从而达到保证软件质量的目的.在分析现有常用的模型的基础上,分析了这些模型的优缺点;着重对喷泉模型进行了研究,提出了一个改进的喷泉模型,该模型更好地规划了软件开发和测试的系列活动;并结合实际的软件开发项目验证了该模型的有效性.     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。