Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 13 of 13 for “"random testing"”.
-
Directed random testing
Random testing can quickly generate many tests, is easy to implement, scales to large software applications, and reveals software errors. But it tends to generate many tests that are illegal or that exercise the same parts of the code as other tests, thus limiting its effectiveness. Directed random …
-
The Automatic Generation of Software Test Data Using Genetic Algorithms
… entirely as an optimisation problem.<br/><br/>Random testing is used as a comparison of the effectiveness of test data generation using GAs which requires up to two orders of magnitude fewer tests than random testing and achieves 100% branch coverage. The advantage of GAs is that through the …
-
Issues in Design for Testability and Self-Test
… aliasing analysis of signature analyzers in random testing.
-
Automatic Functional Testing of GUIs
Functional testing of GUIs can be automated using a test oracle derived from the GUI’s specification and from a restricted set of randomised test data. As test data, a set of randomly distorted test objects seems to work well, especially starting as we do with a ‘perfect’ object and then distorting …
-
Heuristic Generation of Software Test Data
… threatening or financially devastating. Software testing is a destructive process that aims to reveal software faults. Selection of good test data can be extremely difficult. To ease and assist test data selection, several test data generators have emerged that use a diverse range of approaches. …
-
Tool support for testing Java generics
… is an important, yet expensive activity in testing software applications. It is neither feasible nor cost effective to manually generate test cases with all possible inputs combinations. To cut down the cost of testing and to increase the reliability of it, researchers and practitioners have …
-
Testing and Fault-Tolerance Aspects of High-Density VLSI Memory
… for efficient and comprehensive parallel testing of both Random Access Memory (RAM) and Content Addressable Memory (CAM). Based on this design for testability approach, parallel testing algorithms for RAMs and CAMs are developed for a broad class of parametric and pattern sensitive faults. …
-
Automatic test generation for the detection of performance bugs in code optimization
… that software behaves in ways it is expected to. Testing is a widely accepted method for improving software quality. Testing detects the presence of bugs by comparing the actual outcome to the expected outcome of a computation. Testing for correctness is a well-studied problem. Testing for …
-
Wastewater-Based Genomic Epidemiology
… logistically demanding and biased by non-random testing. Wastewater–based epidemiology (WBE), whose origins trace back almost a century, has only recently emerged as a practical tool for large-scale, real-time surveillance of viral diseases at the population level. It promises to offer a …
-
@tComment: testing Javadoc comments to detect comment-code inconsistencies
… presents a novel approach, called @tComment, for testing Javadoc comments, specifically for testing method properties about null values and related exceptions. Our approach consists of two components. The first component takes as input source files for a Java project and automatically analyzes the …
-
Testing Models of Reactive Systems
Testing models of modern Real-time Embedded (RTE) systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test cases to test these systems are …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also desired to clearly and …
-
On Reducing the Trusted Computing Base in Binary Verification
The translation of binary code to higher-level models has wide applications, including decompilation, binary analysis, and binary rewriting. This calls for high reliability of the underlying trusted computing base (TCB) of the translation methodology. A key challenge is to reduce the TCB by …