Sökning: "fault coverage"

Visar resultat 21 - 25 av 32 avhandlingar innehållade orden fault coverage.

  1. 21. Automatic generation of configurable test-suites for software product lines

    Författare :Vanderson Hafemann Fragal; Mohammad Reza Mousavi; Adenilso da Silva Simão; Andrzej Wasowski; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. LÄS MER

  3. 22. Some Contributions to Multi-Release Problems in Software Reliability and Successive Generations of Technologies

    Författare :Amir Soleimani Garmabaki; India Delhi New Delhi University of Delhi Dept. of Operational Research; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. The software reliability model is the tool, which can be used to evaluate software quantitatively, develop test status, schedule status and monitor the changes in reliability performance. LÄS MER

  4. 23. Model-Based Protocol Testing in an Erlang Environment

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

    Sammanfattning : 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. LÄS MER

  5. 24. Integrated analyses and interpretations of regional scale magnetotelluric and potential field data from the Precambrian crust of northern Sweden

    Författare :Roshanak Vadoodi; Thorkild Maack Rasmussen; Maxim Smirnov; Björn H. Heincke; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Exploration Geophysics; Prospekteringsgeofysik;

    Sammanfattning : The Norrbotten region in northern Sweden, as a part of the Fennoscandian (Baltic) Shield, is one of the most active mining areas in Europe. It is acknowledged that geological structures such as faults, shear zones, and associated fracture systems play a key role in providing a physical pathway connecting metal sources and the sites of mineral precipitation. LÄS MER

  7. 25. Mutation Testing: Fewer, Faster, and Smarter

    Författare :Sten Vercammen; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER