实用软件测试方法研究

分别讲述了实施GJB5000A二级软件管理过程中,软件单元测试、集成测试、合格性测试的管理过程和测试方法,并结合相应的测试工具,设计了使用C++test进行单元测试中动态测试的方法,使用Klocwork进行单元测试中静态测试的方法,使用Testbed进行集成测试的方法,使用QTP进行合格性测试的方法。实践证明,这些方法大大提高软件代码的规范性、稳定性、可靠性等,在提高软件验证、测试水平及软件产品质量等方面具有明显的优势。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

中国船舶工业软件测试中心无锡建立分中心

中国船舶工业软件测试中心与无锡新区科技创业中心签约,在新区设立软件测试分中心。新成立的分中心可为软件开发企业提供专业的软件产品测试、认证服务。据悉,在无锡分中心建设的基础上,今后中国船舶工业软件测试中心将整体搬迁到新区。中国船舶工业软件测试中心可以提供各类软件的代码审查、单元测试、软部件测试、配置项(确认)测试、系统测试以及软件产品的质量监督测试、质量确认测试、鉴定验收测试、性能比较测试等测试服务,同时提供信息技术服务。作为国家级软件测试机构,已与欧洲、南非、美洲、亚太地区的35个实验室认可机构签署了多…     

基于规则的面向对象单元测试研究

基于规则的面向对象的单元测试是在软件系统测试用例库的需求分析指导下以类为单元的白盒测试方法,传统的单元测试主要分析产品的内部逻辑结构,而面向对象的单元测试在考虑内部逻辑结构的同时也要重点分析面向对象开发中类的继承、封装、和多态,该文文结合数据挖掘基于规则的分类技术而进行的测试。     

测试工具在军用嵌入式软件测试中的应用

阐述了对军用嵌入式软件进行单元测试、静态测试、动态测试时的基本测试方法,以及如何将一些测试工具与测试工作进行有机地结合,从而使测试工作更加高效。     

基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。     

符合OSEK/VDX规范的操作系统逻辑仿真研究

通过设计规则, 搭建OSEK操作系统逻辑仿真系统平台, 克服了静态代码检测的不完备性, 实现动态检测逻辑错误。通过测试, 证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

嵌入式软件动态单元测试方法研究

针对嵌入式软件的特性及其动态单元测试问题,本文从动态单元测试理论、测试方法、测试工具使用、动态单元测试用例设计准则及测试执行过程与工程实践中动态单元测试经验总结五个方面,探讨了嵌入式软件动态单元测试方法。     

基于Teamcenter系统的规则可配置编码器开发

简要分析了企业现有产品图样与技术文件编码标准及具体规则,根据企业Teamcenter系统中的数据分类标准对编码体系进行了重构,提出了一种基于Teamcenter系统的规则可配置编码系统的实现方法,并通过程序开发与编码规则配置,实现了多种型号产品编码工作在Teamcenter系统中的良好运行。     

使用ACT进行WEB应用程序测试

网站的瞬间访问量变化很大,有时甚至是在不同数量级之间变化,因此对网站进行压力测试尤为重要,否则很难发现网站在可靠性和性能上潜在的问题,本文介绍了压力测试的基本概念及原理,并以微软最新的针对ASP和ASP.NET的压力测试工具ACT为例,通过创建针对计算中心的网络教学平台的测试实例介绍其对WEB应用程序进行压力测试的一般方法。     

浅议软件测试

介绍了软件测试的必要性和目的，阐述了软件测试的静态测试、动态测试和黑、白盒测试法，以及软件测试的一般过程和步骤，及软件测试的几个原则。     

浅议软件测试

介绍了软件测试的必要性和目的,阐述了软件测试的静态测试、动态测试和黑、白盒测试法,以及软件测试的一般过程和步骤,及软件测试的几个原则。     

软件安全性测试方法与工具

软件的应用越来越广泛,规模和复杂度不断提高,软件中的安全缺陷与漏洞也在不断增多,软件安全性问题日益突出.软件安全性测试是保证软件安全性、降低软件安全风险的重要手段.论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向.     

基于构件的软件测试若干问题分析

论述了构件软件测试中的相关问题，重点讨论了构件软件的缺陷分析，构件软件的测试策略，测试充分性标准，构件测试中存在问题和挑战以及可能的解决方案探讨等。通过研究，体会到构件技术给软件开发带来人们所期望的好处的同时，也带来了新的问题和挑战，人们对构件技术的运用，特别是对构件软件测试制品的运用，应该更加谨慎。     

两种软件测试方法的比较和改进

软件测试是保证软件质量的重要步骤，在软件工程中占有重要的位置。文章分析了脚本测试和探索性测试两种测试方法，分别从定义、特点和使用场合进行研究，找出两种测试方法的不同点，然后通过实际的软件开发经验提出自己对测试方法的意见。     

Perturbation-based user-input-validation testing of web applications

User-input-validation (UIV) is the first barricade that protects web applications from application-level attacks. Most UIV test tools cannot detect semantics-related vulnerabilities in validators, such as filling a five-digit number to a field that accepts a year. To address this issue, we propose a new approach to generate test inputs for UIV based on the analysis of client-side information. In particular, we use input-field information to generate valid inputs, and then perturb valid inputs to generate invalid test inputs. We conducted an empirical study to evaluate our approach. The empirical result shows that, in comparison to existing vulnerability scanners, our approach is more effective than existing vulnerability scanners in finding semantics-related vulnerabilities of UIV for web applications.     

A relation-based method combining functional and structural testing for test case generation

Specification-based (or functional) testing enables us to detect errors in the implementation of functions defined in specifications, but since specifications are often incomplete in practice for some reasons (e.g., lack of ideas, no time to write), it is unlikely to be sufficient for testing all parts of corresponding programs. On the other hand, implementation-based (or structural) testing focuses on the examination of program structures, which allows us to test all parts of the programs, but may not be effective to show whether the programs properly implement the corresponding specifications. To perform a comprehensive testing of a program in practice, it is important to adopt both specification-based and implementation-based testing. In this paper we describe a relation-based test method that combines the specification-based and the implementation-based testing approaches. We establish a set of relations for test case generation, illustrate how the method is used with an example, and investigate the effectiveness and weakness of the method through an experiment on testing a software tool system.     

浅谈关于软件安全性测试方法研究

软件安全性测试是保证软件安全性的重要手段。本文论述了软件安全性测试的特点和主要内容,重点研究了国内外软件安全性测试的主要方法,最后总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向。     

Class Tester:一个基于状态转换的类测试工具的设计与实现

面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C 语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.