Sökning: "testfall"

Visar resultat 1 - 5 av 15 avhandlingar innehållade ordet testfall.

  1. 1. Similarity-Based Test Effort Reduction

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

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

  3. 2. Industrial System Level Test Automation

    Författare :Daniel Flemström; Wasif Afzal; Eduard Paul Enoiu; Sundmark Daniel; Andy Zaidman; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Vehicular software systems control and monitor many safety-critical functions, such as automated emergency brakes and anti-spin. These functions are integrated and tested at system level to ensure that the entire system works as intended.Traditionally, these functions or selected combinations of functions are tested in isolation. LÄS MER

  4. 3. Automated System-Level Software Testing of Industrial Networked Embedded Systems

    Författare :Per Erik Strandberg; Sundmark Daniel; Wasif Afzal; Burak Turhan; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be reliable. LÄS MER

  5. 4. Multi-Criteria Optimization of System Integration Testing

    Författare :Sahar Tahvili; Markus Bohlin; Franz Wotawa; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science;

    Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER

  7. 5. Automatic Extraction of Program Models for Formal Software Verification

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

    Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER