Search for dissertations about: "test suite"

Showing result 1 - 5 of 28 swedish dissertations containing the words test suite.

  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. Model-Based Test Case Generation for Real-Time Systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Keywords : Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Abstract : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. 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. Model-based test case selection and generation for real-time systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Testing is the dominating verification technique used in industry today, and many man-hours and resources are invested in the testing of software products. To cut down the cost of testing, automated test execution becomes more and more popular. READ MORE

  7. 5. Modelling, failure modes prediction and optimization of gear shifting mechanism, Application to heavy vehicle transmission systems

    Author : Muhammad Irfan; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; failure modes prediction.; gear shifting; GT-Suite modelling; optimization; Synchronizer; constrained Lagrangian formalism; sensitivity analysis;

    Abstract : The transmission system has a key role to drive a vehicle transmitting power from engine to rotational motion at wheels. Gear shifting mechanism inside the gearbox is a crucial part of the transmission system. READ MORE