45848865
Optimal improvement of the lower bound performance of partition testing strategies
Although partition testing strategies are intuitively more appealing than random testing, previous empirical and analytical studies show that under unfavourable circumstances partition testing can be very ineffective. The problem of maximally improving the lower bound performance of partition testing by the choice of appropriate test distributions is investigated. An algorithm that generates optimal test distributions for this purpose is proposed and analysed. Moreover, the algorithm can also serve to systematically approximate the proportional sampling strategy, which has previously been proved to be at least as good as random testing.
15986119
Designing activities for learning software quality practices
This paper presents our design of the learning activities in a course on software quality practices. We describe how we strive to provide opportunities for students to gain hands-on experience on exemplar software quality practices in spite of various constraints.
17708725
An extended fault class hierarchy for specification-based testing
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several common types of faults (such as variable and expression faults) for specification-based testing by studying the corresponding fault detection conditions. Their analytical results can help explain the relative effectiveness of various fault-based testing techniques previously proposed in the literature. This article extends and complements their studies by analyzing the relationships between variable and literal faults, and among literal, operator, term, and expression faults. Our analysis is more comprehensive and produces a richer set of findings that interpret previous empirical results, can be applied to the design and evaluation of test methods, and inform the way that test cases should be prioritized for earlier detection of faults. Although this work originated from the detection of faults related to specifications, our results are equally applicable to program-based predicate testing that involves logic expressions.
10354510
Using familiar single-user editors for collaborative editing
A number of real-time group editors have been developed as vehicles for investigating various technical issues in computer-supported cooperative work (CSCW). Excellent as they are in serving academic purposes, those research prototypes are not (and will probably not be) widely used by ordinary users for "serious" group editing activities. The reason is primarily that they are generally not as powerful or usable as single-user editors that people are already familiar with. In this paper, we propose an approach which converts existing single-user editors to group editors without modifying their source code. As a result, different editors such as Word and GVim can be shared by a group of distributed users to edit the same document simultaneously. Users can use familiar single-user editors for collaborative editing which are allowed to be heterogeneous. Towards this end we have been working on a research project called intelligent collaboration transparency or ICT to address related technical issues. Our work compared to existing application-sharing systems especially in that it is able to interoperate heterogeneous single-user applications. We report our latest progress on this project.
45980845
Optimal adaptive bandwidth monitoring for QoS based retrieval
Network aware multimedia delivery applications guarantee QoS parameters like media object transmission time limit by actively monitoring the available bandwidth of the network and adapting the object to a target size that can be transmitted within a given time limit. A critical problem is how to obtain an accurate enough estimation of available bandwidth while not wasting too much time in bandwidth testing. We present an algorithm to determine the optimal amount of bandwidth testing, given a probabilistic confidence level for network-aware multimedia retrieval. Our implementation and experiments show that the algorithm finds out the optimal amount of bandwidth testing effectively with minimum computation overhead.
7413311
A fast multigrid algorithm for mesh deformation
In this paper, we present a multigrid technique for efficiently deforming large surface and volume meshes. We show that a previous least-squares formulation for distortion minimization reduces to a Laplacian system on a general graph structure for which we derive an analytic expression. We then describe an efficient multigrid algorithm for solving the relevant equations. Here we develop novel prolongation and restriction operators used in the multigrid cycles. Combined with a simple but effective graph coarsening strategy, our algorithm can outperform other multigrid solvers and the factorization stage of direct solvers in both time and memory costs for large meshes. It is demonstrated that our solver can trade off accuracy for speed to achieve greater interactivity, which is attractive for manipulating large meshes. Our multigrid solver is particularly well suited for a mesh editing environment which does not permit extensive precomputation. Experimental evidence of these advantages is provided on a number of meshes with a wide range of size. With our mesh deformation solver, we also successfully demonstrate that visually appealing mesh animations can be generated from both motion capture data and a single base mesh even when they are inconsistent.
10697004
Multiresolution B-spline Radiosity
This paper introduces a kind of new wavelet radiosity method called multiresolution B-spline radiosity, which uses B-splines of different scales to represent radiosity distribution functions. A set of techniques and algorithms, such as function extrapolation, adaptive quadrature, scale adjustment and octree, are proposed to implement it. This method sets up hierarchical structures on surfaces, keeps radiosity distribution continuous at element boundaries, does not need postprocessing, and does not prevent the use of any surface whose parameter domain is rectilinear.
1372639
Motion Field Estimation for Temporal Textures
This paper presents a novel approach for estimating the flow fields of dynamic temporal textures whose motion differs radically from that of rigid bod- ies. Our approach is based on a local flow probability distribution function at each pixel using the STAR model and the data from a spatio-temporal neighborhood. The peak of this density function can be regarded as the estimated local flow vec- tor. Our complete algorithm exploits a two-stage process. The first stage of the algorithm applies a simple tensor method to estimate the direction of the optical flow at each pixel in the texture. In the second stage, the flow probability function is used to perform a one-dimensional search along the flow direction to obtain the magnitude. Performance analysis and experiments with real video sequences show that our methods can successfully estimate flow fields.