Search for dissertations about: "automated software testing"

Showing result 16 - 20 of 44 swedish dissertations containing the words automated software testing.

  2. 16. Similarity-Based Test Effort Reduction

    Author : Daniel Flemström; Daniel Sundmark; Afzal Wasif; Eduards Enoiu; Miroslaw Staron; Emelie Engström; Vahid Garousi; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Testing; Computer Science; datavetenskap;

    Abstract : Embedded computer systems are all around us. We find them in everything, from dishwashers to cars and airplanes. They must always work correctly and moreover, often within certain time constraints. The software of such a system can be very large and complex, e. READ MORE

  4. 17. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE

  5. 18. Mutation Testing: Fewer, Faster, and Smarter

    Author : Sten Vercammen; Programvaruteknik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The growing reliance on automated software tests raises a fundamental question: How trustworthy are these automated tests? Today, mutation testing is acknowledged within academic circles as the most promising technique for assessing the fault-detection capability of a test suite. The technique deliberately injects faults (called mutants) into the production code and counts how many of them are caught by the test suite. READ MORE

  6. 19. Reducing the Distance Between Requirements Engineering and Verification

    Author : Waleed Abdeen; Krzysztof Wnuk; Michael Unterkalmsteiner; Jan-Philipp Steghöfer; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Requirements; Model-Based Testing; Traceability.; Programvaruteknik; Software Engineering;

    Abstract : Background Requirements engineering and verification (REV) processes play es-sential roles in software product development. There are physical and non-physicaldistances between entities (actors, artifacts, and activities) in these processes. READ MORE

  7. 20. Model-Based Protocol Testing in an Erlang Environment

    Author : Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE