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 20 of 32 for “"Test Suites"”.
-
Improving test suites via generated specifications
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
Guidelines for coverage-based comparisons of non-adequate test suites
A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques that produce those test suites. Researchers frequently compare test suites by measuring their coverage. A coverage criterion C provides a set of test …
-
Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL)
Test suites for database applications depend on adequate test data and real-world test faults for success. An automated tool is available that quantifies test data coverage for database queries written in SQL. An automated tool is also available that mimics real-world faults by mutating SQL, …
-
Defining and Evaluating Test Suite Consolidation for Event Sequence-based Test Cases
This research presents a new <bold>test suite consolidation</bold> technique, called CONTEST, for automated GUI testing. A new probabilistic model of the GUI is developed to allow direct application of CONTEST. Multiple existing test suites are used to populate the model and compute probabilities …
-
Programming Language and Tools for Automated Testing
Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a …
-
Design-time performance testing
… using performance prototypes of alternatives and test suites to estimate performance trade-offs early in the development cycle, a process called Design-Time Performance Testing (DTPT). Providing software designers with performance evidence based on prototypes will allow designers to make informed …
-
An Analysis of FSM Mutation Operators
… used for the comparison of state-based testing methods that work from a finite state machine (FSM); In this thesis, we report on results from an experiment during which we compared different mutation operators used to generate FSM mutants. We randomly generated multiple synthetic FSMs …
-
Test suite parallelization in open-source projects: a study on its usage and impact
Testing is a costly process but essential in the development process. Complex systems may contain long-running test suites. Dealing with high testing costs remains an important problem in Software Engineering despite being under active research for years. Test suite parallelization is an important …
-
Towards Improving Students' Software Testing Practices using Modified Mutation Testing
Mutation testing (MT) is a powerful technique for evaluating the quality of software test suites by introducing small faults, called ``mutations,'' into code to assess if tests can detect them. While MT has been extensively applied in the software industry, its use in programming courses faces both …
-
Automatically Improving The Code Quality Of Rust Via LLM
… traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed for Rust’s unique characteristics.
-
Improving regression testing efficiency and reliability via test-suite transformations
… to improve software, and they rely on regression testing—the process of running tests after every change—to ensure that changes do not break existing functionality. Regression testing is widely used both in industry and in open source, but it suffers from two main challenges. (1) Regression …
-
Predicting mutation score using source code and test suite metrics
Mutation testing has traditionally been used to evaluate the effectiveness of test suites and provide con dence in the testing process. Mutation testing involves the creation of many versions of a program each with a single syntactic fault. A test suite is evaluated against these program versions …
-
Exploring design decisions for mutation testing
Software testing is by far the most popular technique used in industry for quality assurance. One key challenge of software testing is how to evaluate the quality of test suites in terms of their bug-finding capability. A test suite with a large number of tests, or that achieves a high statement or …
-
Software Testing of Parallel Programming Frameworks
… in common use in the HPC world. Comprehensive testing is required to be sure that any given implementation adheres to the published standard. The type and degree of testing depends on the goals of the developers. In particular, commercial implementations developed by companies for specialized …
-
On TESTGEN+, an environment for protocal test generation and validation
This thesis addresses a significant tool, TESTGEN+, for protocol test generation and validation. TESTGEN+ consists of two basic components: TESTGEN for protocol test generation, and TESTVAL for test validation. TESTGEN, is a protocol TEST Generation and Selection Environment for conformance testing …
-
Arm systems semantics
… years has developed rigorous and executable-as-test-oracle specifications of mainstream architecture instruction sets and 'user-mode' concurrency, clarifying architectures and bringing them into the scope of programming-language semantics and verification. However, the system semantics, of …
-
Duomenų šifravimo aplikacijos kūrimas taikant chaotinius atvaizdžius /
… • Each chat could have separate cipher key. For testing logistic map algorithm security (randomness of chaotic map) NIST (“National Institute of Standards and Technology”) statistical test suites were chosen. By running tests we distinguish that logistic map is chaotic only in limited amount …
-
Equivalence Partitioning as a Basis for Dynamic Conditional Invariant Detection
… certain points. They can assist developers and testers in understanding the program, and can be used for automated formal verification of the program. However, despite their usefulness they are often omitted from code. Dynamic invariant detection is a technique that discovers program invariants …
Page 1 of 2