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 18 of 18 for “"test coverage"”.
-
Methodologies for the Development of Qualitative Spatial and Temporal Reasoning Applications
… known techniques in software engineering: unit testing, integration testing, test coverage, and mutation testing. Furthermore, a novel metric called H-complexity is presented and used to define four additional test coverage classes that a developer can employ to assess the efficacy of a test …
-
Supported Programming for Beginning Developers
<p>Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation. We present TestBuilder, a system for test case generation which uses an SMT solver to generate inputs to reach specified lines in …
-
On estimating the reliability in a multicomponent system based on progressively-censored data from Chen distribution
… the proposed procedures. The size of the test, adjusted and unadjusted power of the test, coverage probability and expected lengths of the confidence intervals, and biases of the estimators are also computed, compared and contrasted.
-
Statistical inferences of Rs;k = Pr(Xk-s+1:k > Y ) for general class of exponentiated inverted exponential distribution with progressively type-II censored samples with uniformly distributed random removal
… We use p-value as a basis for hypothesis testing. There are no exact or approximate inferential procedures for reliability of a multicomponent stress-strength model from the GCEIE based on the progressively type-II right censored data with random or fixed removals available in the …
-
Quantitative Analysis of Domain Testing Effectiveness.
… before deploying into real use. Though automated test tools can be used to run a large number of tests efficiently, the functionality of any test tool is not complege without providing a means for analyzing the test results to determine potential problem sub-domains and sub-domains that need to be …
-
Experimental Study of Scan Based Transition Fault Testing Techniques
… concern in the semiconductor industry today. To test for such delay-inducing defects, scan-based transition fault testing techniques are being implemented. There exist organized techniques to generate test patterns for the transition fault model and the two popular methods being used are …
-
Automatic Generation of Test Cases for Agile using Natural Language Processing
Test case design and generation is a tedious manual process that requires 40-70% of the software test life cycle. The test cases written manually by inexperienced testers may not offer a complete coverage of the requirements. Frequent changes in requirements reduce the reusability of the manually …
-
An investigation of delay fault testing for multi voltage design
… work is aimed at finding a generalised delay testing method for MVD. There has been little work to date on testing such systems, but testing the smallest number of operating voltages reduces testing costs. In the initial stage, the impact of varying supply voltage on different types of …
-
Essays on decision-making in complex engineering systems development
… matrix, used to present and analyze the suite of tests a system undergoes at multiple levels of the architecture. This method decomposes the multilevel integration test suite - progressing from component to subsystem to system - and visually represents the test coverage. We demonstrate the new …
-
Integrating the Media Computation API with Pythy, an Online IDE for Novice Python Programmers
… Pythy as-is, while complementing this with unit-tests for full test coverage. As a result, Pythy now supports 65 out of the 66 media-computation methods required for image and sound manipulation on both the client and the server-side, and 81 out of the 82 programs in the media-computation …
-
Moth: a hybrid threat model for improving software security testing
… of attack paths required to design effective test plans and test cases for the recommendation of efficient security requirements needed to prevent SQL injection attacks. A 100% risk mitigation was achieved after applying these recommendations due to a complete security test coverage of all …
-
Determining flaky tests from test failures
Automated regression testing is widely used in modern software development. Whenever a developer pushes some changes to a repository, tests are run to check whether the changes broke some functionality. When previously passing tests fail, the most recent changes are typically suspected, and …
-
Studying the impact of early test termination due to assertion failure on code coverage and spectrum-based fault localization
… a method equals an expected value) in software testing. Although it is a recommended practice to use only one assertion in a single test to avoid code smell (e.g., Assertion Roulette), we observe that it is common to have multiple assertions in a single test. One issue with tests that have …
-
A metric-based theory of test selection and coverage for communication protocols
… that gives a solution to the problem of test selection and coverage evaluation for the control behaviour of network protocol implementations. The key idea is that a fast, completely automated process can uniformly cover the execution subspace of a network protocol control behaviour when …
-
Why do software developers practice test-driven development?
… software developers' intention to perform test driven development (TDD). Unit tests are a form of testing, where tests are written for small units of software being developed. TDD is a practice where these tests are written before the functionality is written, so as to guide the design of …
-
Exploring Temporal and Spatial Correlations on Circuit Variables for Enhancing Simulation-based Test Generation
… and size of current circuit designs have made testing and verification major bottlenecks in the design flow of VLSI (Very Large Scale Integrated) circuits. Statistics show that more than 70% of the design effort can be spent on functional verification and manufacturing testing. This percentage …
-
Validation and optimization of analog circuits using randomized search algorithms
… of analog circuits. These problems include test generation and compression, runtime monitoring and analyzing the worst-case behaviors. State of the art techniques in Monte Carlo are unable to address these problems effectively. Consequently, designing an efficient and scalable CAD algorithm …
-
UAV Based Measurement Opportunities and Evaluation for 5/6G Connectivity of Autonomous Vehicles
… network cases has been demonstrated, including coverage restoration in disaster relief scenarios, more ambitious goals of 5G will have additional considerations. This includes autonomous vehicles (AVs) whose operation is defined by levels representing varying degrees of autonomy. With …