automated test case generation for the stress testing of multimedia systems

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.

automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

一种基于Messy GA的结构测试数据自动生成方法

结构性测试是标识测试用例的基本方法之一．由于程序语言的复杂性以及被测程序的多样性，自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程，通过不断迭代，生成符合要求的测试数据集．提出一种基于Messy GA的结构测试数据自动生成方法，将测试覆盖率表示为测试输入集X的函数F（X），并利用Messy GA不需要染色体模式排列的先验知识即可进行优化求解的性质对F（X）的进行迭代寻优，进一步提高了搜索的并行性，并最终提高测试覆盖率．对一组标准测试程序和若干实际应用程序的实验结果表明，较之现有基于遗传算法的生成方法，该方法能够以更高的效率生成更高质量的测试数据，并适用于较大规模的程序．

an efficient method to generate feasible paths for basis path testing

Basis path testing is a very powerful structural testing criterion. The number of test paths equals to the cyclomatic complexity of program defined by McCabe. Traditional test generation methods select the paths either without consideration of the constraints of variables or interactively. In this note, an efficient method is presented to generate a set of feasible basis paths. The experiments show that this method can generate feasible basis paths for real-world C programs automatically in acceptable time.

a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.

C程序测试数据生成与死循环检测研究

软件测试是保证软件质量的重要手段. 随着软件技术的发展, 软件的规模越来越大, 程序的复杂度也逐渐增加. 软件测试也由原来的人工操作逐渐走向自动化. 自动化软件测试已经成为国内外软件工程研究的热点之一. 本文研究了自动软件测试中的两个问题, 它们分别属于自动测试数据生成和错误查找两方面. 主要贡献如下: 本文提出了一种对含有字符串和字符串函数调用的C语言程序自动生成测试数据的方法. 具体做法是将C语言程序中的字符变量看成是取值范围在0~255之间的整数, 并使用字符数组来表示字符串, 同时将字符串函数建模成一阶逻辑公式和赋值语句. 通过使用前置条件和后置条件来描述函数调用语句, 将程序中的字符串函数调用语句替换成逻辑公式和赋值语句, 之后使用路径分析技术自动生成程序的测试数据. 此外, 本文还实现了一个自动化工具, 能够为真实的C程序自动生成测试数据. 另一方面, 本文还提出了一种自动检查程序中是否含有死循环的方法. 该方法基于静态代码分析, 结合了循环展开和路径可行性分析技术. 具体做法是首先通过遍历控制流图生成待查循环的检验路径, 之后通过分析检验路径的可行性以及路径之间的联系, 判断这些路径是否符合死循环模式. 在此基础上, 本文实现了原型工具, 并对一组基准程序进行测试. 实验结果表明, 工具能高效地检测出C语言程序中的死循环, 准确率较高. 工具的自动化程度较高, 能处理复杂的控制流以及嵌套的循环.

一种基于过程图模型的编译优化测试程序自动生成方法

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

Numerical Study on Rainfall Infiltration in Rock-Soil Blocks

A mathematical model for the rain infiltration in the rock-soil slop has been established and solved by using the finite element method. The unsteady water infiltrating process has been simulated to get water content both in the homogeneous and heterogeneous media. The simulated results show that the rock blocks in the rock-soil slop can cause the wetting front moving fast. If the rain intensity is increased, the saturated region will be formed quickly while other conditions are the same. If the rain intensity keeps a constant, it is possible to accelerate the generation of the saturated region by properly increasing the vertical filtration rate of the rock-soil slop. However, if the vertical filtration rate is so far greater than the rain intensity, it will be difficult to form the saturated region in the rock-soil slop. The numerical method was verified by comparing the calculation results with the field test data.

Theory and Application of the Transient Injection Well Test

Based on the theory of the pumping well test, the transient injection well test was suggested in this paper. The design method and the scope of application are discussed in detail. The mathematical models are developed for the short-time and long-time transient injection test respectively. A double logarithm type curve matching method was introduced for analyzing the field transient injection test data. A set of methods for the transient injection test design, experiment performance and data analysis were established. Some field tests were analyzed, and the results show that the test model and method are suitable for the transient injection test and can be used to deal with the real engineering problems.

Numerical study on rainfall infiltration in rock-soil slop

A mathematical model for the rain infiltration in the rock-soil slop has been established and solved by using the finite element method. The unsteady water infiltrating process has been simulated to get water content both in the homogeneous and heterogeneous media. The simulated results show that the rock blocks in the rock-soil slop can cause the wetting front moving fast. If the rain intensity is increased, the saturated region will be formed quickly while other conditions are the same. If the rain intensity keeps a constant, it is possible to accelerate the generation of the saturated region by properly increasing the vertical filtration rate of the rock-soil slop. However, if the vertical filtration rate is so far greater than the rain intensity, it will be difficult to form the saturated region in the rock-soil slop. The numerical method was verified by comparing the calculation results with the field test data.

基于pCTL的循环优化测试用例自动生成方法的研究与实现

编译优化是现代编译器的重要功能，编译优化测试对保障现代编译器质量有着重要作用。编译优化测试需要编写大量的测试用例程序作为输入，手工完成十分费时费力，因此，有必要研究编译优化测试用例的自动生成方法。 针对编译优化测试，有研究者提出并实现了一种基于分支时序逻辑的测试用例自动生成方法COT。该方法可以有效地生成标量优化测试用例程序，但该方法没有考虑程序中的数组和指针，对优化特征的描述也不能区分循环迭代中的语句实例，更不能刻画语句实例间的数据依赖关系，然而这些是刻画循环优化所必需的，因此，COT不适用于循环优化测试用例的自动生成。 本文针对COT方法的缺陷，首先提出了基于参数化分支时序逻辑pCTL (parameterized computation temporal logic)的循环优化描述方法，通过参数化COT的优化描述体系中的语句谓词、变量引用谓词和变量定义谓词实现了对循环迭代中的语句实例及语句实例间的数据依赖关系的描述。在此基础上，本文提出了基于pCTL 描述的循环优化测试用例自动生成方法COT2。该方法根据pCTL公式构造初始的关键节点控制图，再按照公式语义执行公式处理和虚边替换，得到完整的控制流图，最后计算数组引用下标，生成循环优化测试用例程序。 本文实现了COT2的系统原型，并用循环优化模块的覆盖率指标评价生成的测试用例的质量，实验结果表明该方法对循环优化具有针对性，是一种行之有效的方法。本文还用生成的测试用例程序对GCC各版本的循环优化模块进行了测试，并分析了错误发现数与各版本稳定性之间的关系，进一步验证了本文方法的有效性。

金川镍矿充填法开采引起地岩体移动和地表变形研究

Cut-and-filling stoping becomes more and more important in mining industry for the advantage in protecting environment and its adaptability. However, there is less research in the movement of rock mass and the ground displacement caused by the mining method. In this paper, based on relevant geological and geotechnical test data, the strata movement and the ground displacement of Jinchuan nickel mine are studied comprehensively. The main achievement in this paper can be drawn as follows. Geologic conditions of mining area No.2 of Jinchuan Nickel mine are summed up and influential factors of the movement of rock mass and the surface displacement are analyzed. For recognized the shape of orebody No.l, three-dimensional model is established with 3D Studio MAX software. Based on reconnaissance trip, the monitoring data of GPS and ground fissures in mining area No.2 of Jinchuan Nickel mine are discussed. Then, the rule of the surface displacement and the reason of ground fissures generation are preliminary analyzed. The characteristic of ground movement, surrounding stress and strain in the process of excavation and backfilled is research and analyzed with the method of numerical simulation. The rule of the movement of rock mass and the surface displacement in mining area No.2 of Jinchuan Nickel mine is summed up. The influence of the movement of rock mass and the surface displacement by the dip angle of orebody No.l in mining area No.2 is examined and then the strata movement and the ground displacement is predicted.

Monte-Carlo simulation of surface crack growth rate for offshore structural steel E36-Z35

The Monte- Carlo method is used to simulate the surface fatigue crack growth rate for offshore structural steel E36-Z35, and to determine the distributions and relevance of the parameters in the Paris equation. By this method, the time and cost of fatigue crack propagation testing can be reduced. The application of the method is demonstrated by use of four sets of fatigue crack propagation data for offshore structural steel E36-Z35. A comparison of the test data with the theoretical prediction for surface crack growth rate shows the application of the simulation method to the fatigue crack propagation tests is successful.

Microcracks Propagation in One Al/SiCp under Impact Loading

Numerous microcracks propagation in one metal matrix composite, Al/SiCp under impact loading was investigated. The test data was got with a specially designed impact experimental approach. The analysis to the density, nucleating locations and distributions of the microcracks as well as microstructure effects of the original composite was received particular emphasis. The types of microcracks or debonding nucleated in the tested composite were dependent on the stress level and its duration. Distributions of the microcracks were depended on that of microstructures of the tested composite while total number of microcracks in unit area and unit duration, was controlled by the stress levels. Also, why the velocity was much lower than theoretical estimations for elastic solids and why the microcracks propagating velocities increased with the stress levels' increasing in current experiments were analysed and explained.