NDLTD logo NDLTD Union Catalog and Global ETD Search

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 65 for “"test suite"”.

  1. Introducing Modularity into Complex Software Test Suite Frameworks

    Frey, Lucille

    … and environments. For such projects a useful testing scheme must test all functionality in the software, be able to run on all relevant architectures, and provide an e cient way for all developers to view and interpret the test results. As a code project evolves, the test suite framework must …

    unm Repository record

  2. A Test Suite for Saliency Method Evaluation Metrics

    Kaspar, MoulinrougeMassachusetts Institute of Technology2024

    This thesis introduces a structured test suite designed to evaluate the input sensitivity of saliency methods, a crucial factor when interpreting machine learning models, particularly in high-stakes environments. Saliency methods, by highlighting essential input features inf luencing model …

    mit Repository record

  3. Predicting mutation score using source code and test suite metrics

    Jalbert, KevinUniversity of Ontario Institute of Technology2012

    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 …

    uoit Repository record

  4. Improving regression testing efficiency and reliability via test-suite transformations

    Shi, August WangUniversity of Illinois at Urbana-Champaign2020

    … 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 …

    uiuc Repository record

  5. Defining and Evaluating Test Suite Consolidation for Event Sequence-based Test Cases

    Brooks, Penelope2009

    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 …

    maryland Repository record

  6. Development of a test suite for single object tracking algorithms in video

    Donnelly, KieranDepartment of Statistical Sciences2021

    … algorithm proved useful in preparing a suite of 18 clips to be evaluated. Ten performance metrics were adapted from multi-object to single-object tracking. Nine tracking algorithms were then run on each of the 18 test video clips at varying resolutions to produce 375 tracking …

    cape-town Repository record

  7. Test suite parallelization in open-source projects: a study on its usage and impact

    CÂNDIDO, Jeanderson BarrosUniversidade Federal de Pernambuco2018

    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 …

    brazil-ufpe Repository record

  8. A study of testing a microservice system based on code coverage

    Gorse, Shirdon IsmialUniversity of Illinois at Urbana-Champaign2019

    … the efficiency of a system's scalability. Testing a microservice system with a test suite (i.e., a collection of test cases) is an important means for improving the quality of the microservice system. To guide the assessment and improvement of the test suite, code-coverage information is …

    uiuc Repository record

  9. Data feed management automation : an empirical approach

    Majumder, Dibyendu

    … ontology for a feed system and ii) developing a test suite, that is, a set of statistical models to analyze and diagnose feeds and formalize the results to feedback into the ontology. This thesis concentrates more on the latter and will only outline the course of action required for the former. …

    njit Repository record

  10. A formal semantics of C with applications

    Ellison, CharlesUniversity of Illinois at Urbana-Champaign2012

    … yielding interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, in K, the first complete formal semantics of the C programming language. With varying degrees of effort, tools such as interpreters, debuggers, and model-checkers, together with tools …

    uiuc Repository record

  11. Fail-Safe Test Generation of Safety Critical Systems

    Elakeili, Salwa2001

    <p>This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test …

    denver Repository record

  12. Test cases reduction using similarity relation and conditional entropy

    Md Nasir, Noor FardzilawatiUniversiti Tun Hussein Onn Malaysia2017

    Testing is essential in software engineering due to the huge size and complexity of everyday software systems. Generation of effective test cases becomes a crucial task due to the increment in the source code size and rapid change of requirements. New test cases are generated and added to a test …

    uthm Repository record

  13. On TESTGEN+, an environment for protocal test generation and validation

    Zhou, JingsongUniversity of British Columbia1992

    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 …

    ubc Repository record

  14. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

    Qi, ZichaoMassachusetts Institute of Technology2015

    … produce correct outputs for all inputs in the test suite used to validate the patches. Because of errors in the patch evaluation infrastructure, the majority of the reported patches are not plausible - they do not produce correct outputs even for the inputs in the validation test suite. The …

    mit Repository record

  15. NON-LINEAR PSEUDORANDOM BIT GENERATION BY COMBINING BLUM BLUM SHUB AND LINEAR FEEDBACK SHIFT REGISTER SEQUENCES

    Cammack, Andrew M.Monterey, CA; Naval Postgraduate School2020

    … of Standards and Technology (NIST) statistical test suite. We identified lower bounds on the input parameters to increase the probability that the combiner would perform well under the NIST test suite. Our scheme produced consistently excellent results under NIST testing but is computationally …

    nps Repository record

  16. Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case -based reasoning

    Sqalli, Mohammed Houssaini

    … to automate the process of Interoperability Testing of networking protocols. The dissertation proposes a framework that uses the Constraint Satisfaction Problem (CSP) paradigm to define a modeling language and problem solving mechanism for interoperability testing, and uses Case-Based …

    unh-thes Repository record

  17. Fast parallel algorithms for sorting and median finding

    Dachraoui, Taoufik1996

    … processor Maspar MP-1. Thearling (73) proposes a test suite of inputs with which to evaluate the performance of sorting algorithms. We tested all the algorithms on a very similar test suite. Using similar ideas, we also designed a new deterministic selection algorithm for integers that is simple …

    concordia Repository record

  18. Detecting non-secure memory deallocation with CBMC

    Singh, Mohit K., author, Prabhu, Vinayak, advisor, Ray, Indrajit, advisor, Ghosh, Sudipto, committee member, Ray, Indrakshi, committee member, Simske, Steve, committee memberColorado State University. Libraries2021

    … we provide experimental validation on the Juliet Test Suite that the tool is able to detect all the CWE-244 instances present in the test suite. The proposed approach has the potential to work with other model checkers and can be extended for detecting other weaknesses that require variable …

    colostate Repository record

  19. Equivalence Partitioning as a Basis for Dynamic Conditional Invariant Detection

    Isaratham, WorakarnNational University of Ireland Maynooth2015

    … 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 …

    maynooth Repository record

  20. Exploring design decisions for mutation testing

    Hariri, FarahUniversity of Illinois at Urbana-Champaign2018

    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 …

    uiuc Repository record

Page 1 of 4