Search for dissertations about: "Test suite quality"

Showing result 1 - 5 of 10 swedish dissertations containing the words Test suite quality.

  2. 1. Understanding Test-Artifact Quality in Software Engineering

    Author : Huynh Khanh Vi Tran; Nauman bin Ali; Jürgen Börstler; Michael Unterkalmsteiner; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software testing; Test case quality; Test suite quality; Test artifact quality; Quality assurance; Programvaruteknik; Software Engineering;

    Abstract : Context: The core of software testing is test artifacts, i.e., test cases, test suites, test scripts, test code, test specifications, and natural language tests. Hence, the quality of test artifacts can negatively or positively impact the reliability of the software testing process. READ MORE

  4. 2. Quality Assurance for Dependable Embedded Systems

    Author : Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen; Paola Inverardi; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Architectural engineering of embedded computer systems comprehensively affects both the development processes and the abilities of the systems. Rigorous and holistic verification of architectural engineering is consequently essential in the development of safety-critical and mission-critical embedded systems, such as computer systems within aviation, automotive, and railway transportation, where even minor architectural defects may cause substantial cost and devastating harm. READ MORE

  5. 3. On Falsification of Large-Scale Cyber-Physical Systems

    Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Abstract : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. READ MORE

  6. 4. Architecture-Based Verification of Dependable Embedded Systems

    Author : Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Abstract : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. READ MORE

  7. 5. Automated System-Level Software Testing of Industrial Networked Embedded Systems

    Author : Per Erik Strandberg; Sundmark Daniel; Wasif Afzal; Burak Turhan; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : 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. READ MORE