43120543
A simulation study on some heuristics for test suite reduction
In order to test a program, software testers must first define a testing objective. From this a test suite is then constructed. In fact, some subsets of the constructed test suite may still satisfy the same testing objective. Such subsets are referred to as representative sets of the test suite. Finding the optimal representative sets of the test suite reduction problem is known to be NP-complete. Different heuristics, including G, GE, grE and H, have been proposed by different researchers. However, it has been demonstrated that none of these four heuristics are guaranteed to deliver smaller sized representative sets. This paper presents the result of a simulation study of these four heuristics. The aim of the study is to provide application guidelines for choosing the most appropriate heuristic for test suite reduction.
28566545
A new heuristic for test suite reduction
Abstract A testing objective has to be defined in testing a program. A test suite is then constructed to satisfy the testing objective. The constructed test suite contains redundancy when some of its proper subsets can still satisfy the same testing objective. Since the costs of executing test cases and maintaining a test suite for regression testing may be expensive, the problem of test suite reduction arises. This paper proposes a heuristic towards the optimization of a test suite.
26835658
On the test allocations for the best lower bound performance of partition testing
A partition testing strategy divides the program's input domain into subdomains according to a partitioning scheme, and selects test cases from each subdomain according to a test allocation scheme. Previous studies have shown that partition testing strategies can be very effective or very ineffective in detecting faults, depending on both the partitioning scheme and the test allocation scheme. Given a partitioning scheme, the maximin criterion chooses a test allocation scheme that will maximally improve the lower bound performance of the partition testing strategy. In an earlier work, we have proved that the Basic Maximin Algorithm can generate such a test allocation scheme. In this paper, we derive further properties of the Basic Maximin Algorithm and present the Complete Maximin Algorithm that generates all possible test allocation schemes that satisfy the maximin criterion.
29539871
On the effectiveness of classification trees for test case construction
Abstract The notion of the classification-hierarchy table and the classification-tree construction algorithm provide a systematic approach to the construction of classification trees from given sets of classifications and their associated classes. Using classification trees, the set of all possible test cases can be constructed from functional specifications. This paper extends their study by introducing a metric to measure the effectiveness of a classification tree with respect to the construction of test cases, and providing ways to improve this effectiveness.
12141135
Construction of classification trees via the classification-hierarchy table
Abstract The classification-tree method developed by Grochtmann and coworkers is a black box testing technique to assist test engineers to construct test cases systematically from the functional specifications, via the construction of classification trees. This paper supplements their studies by proposing a methodology to construct classification trees systematically from given sets of classifications and their associated classes, via the notion of the classification-hierarchy table. The intuition of the classification-hierarchy table is to capture the hierarchical relationship for every pair of distinct classifications from which classification trees can be constructed.
44900435
Two test data selection strategies towards testing of Boolean specifications
Test data selection for software represented as Boolean formulae has not received much attention until the last decade. Most of the approaches are expression driven because generation of test cases is based on the Boolean formulae being tested. The paper discusses test data generation using a fault based approach in the sense that generation of test cases is based on particular types of faults occurring in the Boolean expression. Two special types of faults are considered. Moreover, two strategies of test case selection that guarantee the detection of these two types of faults are proposed.
4650146
A New Coarse-to-Fine Framework for 3D Brain MR Image Registration
Registration, that is, the alignment of multiple images, has been one of the most challenging problems in the field of computer vision. It also serves as an important role in biomedical image analysis and its applications. Although various methods have been proposed for solving different kinds of registration problems in computer vision, the results are still far from ideal when it comes to real world biomedical image applications. For instance, in order to register 3D brain MR images, current state of the art registration methods use a multi-resolution coarse-to-fine algorithm, which typically involves starting with low resolution images and working progressively through to higher resolutions, with the aim to avoid the local maximum "traps". However, these methods do not always successfully avoid the local maximum. Consequently, various rather sophisticated optimization methods are developed to attack this problem. In this paper, we propose a novel viewpoint on the coarse-to-fine registration, in which coarse and fine images are distinguished by different scales of the objects instead of different resolutions of the images. Based on this new perspective, we develop a new image registration framework by combining the multi-resolution method with novel multi-scale algorithm, which could achieve higher accuracy and robustness on 3D brain MR images. We believe this work has great contribution to biomedical image analysis and related applications.
7346212
Skewed Data Partition and Alignment Techniques for Compiling Programs on Distributed Memory Multicomputers
Minimizing data communication over processors is the key to compile programs for distributed memory multicomputers. In this paper, we propose new data partition and alignment techniques for partitioning and aligning data arrays with a program in a way of minimizing communication over processors. We use skewed alignment instead of the dimension-ordered alignment techniques to align data arrays. By developing the skewed scheme, we can solve more complex programs with minimized data communication than that of the dimension-ordered scheme. Finally, we compare the proposed scheme with the dimension-ordered alignment one by experimental results. The experimental results show that our proposed scheme has more opportunities to align data arrays such that data communications over processors can be minimized.
5876317
Framework of performance evaluation for mobile process based on mobile ambient
Formal methodology for distributed and concurrent system, especially computation system with mobility, is increasingly important both in the theory and the practice. Based on the calculus of mobile ambient (MA), a widely studied formal mechanism for mobile computation, this paper focuses on the quantitative analysis of mobile computation system and provides a framework of performance evaluation for it. In details, this paper introduces an enhanced labelled transition system as the system model, and assigns rate to each label through so-called cost function. Based on it, the labelled transition system can be mapped to continuous time Markov chains and thus performance evaluation can be carried out by standard numerical techniques and tools. In some sense the main work of this paper can be regarded as integrating behavior and performance analysis in a compositional formal framework, which provides some basis of unified formal methodology for the development of mobile system.
2301190
On the Informational Asymmetry between Upper and Lower Bounds for Ultrametric Evolutionary Trees
This paper addresses the informational asymmetry for constructing an ultrametric evolutionary tree from upper and lower bounds on pairwise distances between n given species. We show that the tallest ultrametric tree exists and can be constructed in O(n2) time, while the existence of the shortest ultrametric tree depends on whether the lower bounds are ultrametric. The tallest tree construction algorithm gives a very simple solution to the construction of an ultrametric tree. We also provide an efficient O(n2)-time algorithm for checking the uniqueness of an ultrametric tree, and study a query problem for testing whether an ultrametric tree satisfies both upper and lower bounds.
206854715
Task Migration in 2D Wormhole-Routed Mesh Multicomputers
In this paper, two simple task migration schemes are first proposed for 2D mesh, multicomputers with supporting X-Y wormhole routing in the one-port communication model. We next propose a hybrid task migration scheme which attempts to minimize the total transmission latency. Finally, we compare all of our proposed task migration schemes using performance analysis.