COMBINATORIAL DESIGN APPROACHES FOR AUTOMATIC TEST GENERATION

The n-way combination testing is a specification-based testing criterion, which requires that for a system consisted of a few parameters, every combination of valid values of arbitrary n(n ≥ 2) parameters be covered by at least one test. This letter proposed two different test generation algorithms based on combinatorial design for the n-way coverage criterion. The automatic test generators are implemented and some valuable empirical results are obtained.     

AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK－BOX TEST CASES

Selection of test cases plays a key role in improving testing efficiency.Black-box testing is an important way of testing,and is validity lies on the secection of test cases in some sense.A reasonable and effective method about the selection and generation of test cascs is urgently needed.This letter first introduces some usual methods on black-box test case generation,then proposes a new glgorithm based on interface parameters and discusses its properties,finally shows the effectiveness of the algorithm.     

FUNCTIONALITY FAULT MODEL: A BASIS FOR TECHNOLOGY-SPECIFIC TEST GENERATION

In this paper, we present the functionality fault model and demonstrate its feasibility and advantages. In current designs, the fan-in of the modules implemented in CMOS standard cell, mask programmable or field-programmable gate array technologies rarely exceeds 4 on average. A functionality fault model, based on the complete enumeration of the truth table of each logic module, is thus entirely feasible and enhances the quality of the test significantly. Tests based on this model provide complete coverage of module behavior and interior faults as well as input stuck-at and bridging faults of any multiplicity, reducing the need for technology and implementation-specific fault models. We have implemented the prototype software test-dc and demonstrated its application to generate high-quality test patterns.     

基于公理系统的面向对象自动测试研究

文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证.     

第三方软件动态测试模型的研究

基于敏捷方法的测试模型大多都是发生在软件研发过程中,这种测试模型虽然客观上适用于快速迭代的软件测试过程,实际上却还是有一定的局限性,比如代码具有传递性。本文基于敏捷方法测试模型提出了一种新的动态测试模型,这种测试模型不仅节省了大量的时间以及成本,同时还为后续设备投入使用提供了有力的保证。     

软件测试用例集缩减的一个算法

一个测试用例集可能含有冗余的测试用例。在回归测试中为了减少维护测试用例集和执行测试用例的成本,可以采用测试用例集缩减的技术。文章提出了一个测试用例集缩减的新算法,并给出了应用实例。     

软件单元测试用例的设计与执行

单元测试是针对单个功能模块的测试，能尽早发现缺陷，降低滞后纠错的高成本，是软件测试的重要环节。本文在对单元测试和测试用例的开发周期做了简要说明之后，重点介绍了如何设计单元测试用例执行简单的单元测试，以及如何利用测试自动化执行测试用例加快单元测试速率。     

红外焦平面参数定义和测试方法的讨论

通过对比焦平面与单元探测器结构和工作模式的不同，提出了焦平面的参数量纲、“空间噪声”和“2－D*”等问题的讨论，以及焦平面参数的测试方法，尤其是噪声的测试方法，与单元探测器有很大不同。     

An Improved Genetic Algorithm for Test Cases Generation Oriented Paths

This paper discusses a method that can automatically generate test cases for selected paths using a special genetic algorithm. The special algorithm is called Queen-bee evolutionary genetic algorithm（QBEA）. In this algorithm, sequences of operators iteratively executes for test cases to evolve to target paths. The best chromosome called queen among the current population is crossover with drones selected according to a certain crossover prob- ability, which enhances the exploitation of searching global optimum. A comparative experiment results prove that the proposed method is actually a great improvement in opti- mization efficiency and optimization effect.     

基于LDRA Testbed的单元测试用例设计及案例分析

随着测试工具功能的逐渐强大,软件测试技术有了进一步的提高。其中单元测试是软件测试的基础,是发现软件缺陷,保证软件质量的必要步骤。本文以LDRA Testbed测试工具为基础,以单元测试的基本概念出发点,详细说明了单元测试中几种常见情况的用例设计方法,并且对实际案例进行分析,使得满足测试中相关覆盖率要求。测试结果表明LDRA Testbed进行单元测试时可以有效提高软件质量。     

基于UML状态图的类测试用例生成

针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。     

软件测试的重要性及认识误区

随着市场对软件质量要求的不断提高,软件测试不断受到重视。但是由于总体上国内软件项目过程不规范。导致重视编码和轻视测试的现象,对于软件测试的重要性、测试方法和流程等还存在很多错误的认识。     

软件测试工作探讨

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

时变级联滤波器的两种设计方法

本文针对雷达杂波抑制中常用的时变级联滤波器,提出了两种实用的设计方法。第一种方法通过时变级联滤波器与时变非级联滤波器的等效来设计时变级联滤波器。该方法可以使时变级联滤波器具有最佳杂波滤波器的效果。第二种方法通过对总的等效滤波器的设计来得到级联滤波器第二级的权系数。分析表明,时变级联滤波器第二级的频率响应很难写出,但可以通过总的等效频率响应来体现。     

软件可靠性评测技术及其应用

本文论述了软件可靠性评测技术及其工程应用中的常见问题和解决方案，介绍了软件可靠性评测的主要活动。软件可靠性是重要的软件质量特性之一，软件可靠性评测是软件质量与可可靠性保证的重要环节。     

基于遗传算法的随机测试生成技术探究

随着集成电路设计复杂度不断提高,功能验证的挑战也不断增大。为了加快验证进程提高覆盖率,提出了一种新的基于遗传算法（Genetic Algorithm, GA）的随机测试生成方法。该方法基于一种二进制和十进制数混合编码的双层编码模式,并使用了权值可自动调控的功能覆盖点来计算个体适应度值,并将模拟过程中的覆盖率报告自动反馈回给随机测试生成的约束产生。该方法已应用于中国科学院微电子研究所自主研发的IME-Diamond数字信号处理器RTL模型的模块功能验证。实验结果表明,该方法有效提高了验证效率。     

Evolutionary Generation Approach of Test Data for Multiple Paths Coverage of Message-passing Parallel Programs

Test data generation, the premise of soft- ware testing, has attracted scholars in the software engi- neering community in recent years. Influenced by task par- titioning, process scheduling, and network delays, parallel programs are executed in a non-deterministic way, which makes test data generation of parallel programs different from that of serial programs in essence. This paper inves- tigated the problem of generating test data for multiple paths coverage of message-passing parallel programs. A mathematical model of the above problem was built based on each given path and its equivalent ones. It was solved by using a genetic algorithm to generate all desired data in one run. The proposed method was applied to five bench- mark programs, and compared with the existing methods. The experimental results show that the proposed method greatly shortens the number of iterations and time con- sumption without reducing the coverage rate.     

软件结构测试自动化关键技术研究

基于自主开发的自动化白盒测试工具WBoxTool，本文对开发软件结构性测试自动化工具的一些关键技术进行了研究，重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTbol的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。     

软件工程监理工作要点综述

随着信息化的深入发展,信息化项目监理已得到越来越多的重视,而软件工程监理是其中一项重要的工作内容本文对软件工程监理工作中的要点按照监理工作中的项目招标、需求分析与管理、监理测试、系统试运行和系统初验等几个重要活动进行了讨论,对信息化项目监理工作中的实践经验进行总结和分享。     

浅谈专用设备软件的测试

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