Search for dissertations about: "use case based testing"

Showing result 1 - 5 of 149 swedish dissertations containing the words use case based testing.

  2. 1. 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

  4. 2. Targeted Property-Based Testing with Applications in Sensor Networks

    Author : Andreas Löscher; Konstantinos Sagonas; Thiemo Voigt; John Hughes; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Testing; Search-Based Software Testing; Property-Based Testing; Datavetenskap; Computer Science;

    Abstract : Testing is a fundamental part of modern software development, as it unveils bugs in the system under test and gives confidence in their correctness. Testing is often a laborious task as it typically requires to write by hand a plethora of test cases to test a system thoroughly. READ MORE

  5. 3. Requirements Engineering with Use Cases - a Basis for Software Development

    Author : Björn Regnell; Institutioner vid LTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Data- och systemvetenskap; computer technology; Systems engineering; process improvement; requirements inspection; usage based testing; statistical testing; requirements validation; graphical languages; scenario; software engineering; use case;

    Abstract : Successful development of software systems depends on the quality of the requirements engineering process. Use cases and scenarios are promising vehicles for eliciting, specifying and validating requirements. This thesis investigates the role of use case modelling in requirements engineering and its relation to system verification and validation. READ MORE

  6. 4. Learning-based Software Testing using Symbolic Constraint Solving Methods

    Author : Fei Niu; Karl Meinke; Reiner Hähnle; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Machine learning; Symbolic constraint solving; Model checking;

    Abstract : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. READ MORE

  7. 5. AI-Based Methods For Improved Testing of Radio Base Stations : A Case Study Towards Intelligent Manufacturing

    Author : Cristina Landin; Amy Loutfi; Martin Längkvist; Sahar Tahvili; Brian Nielsen; Örebro universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : Testing of complex systems may often require the use of tailored-made solutions, expensive testing equipment, large computing capacity, and manual implementation work due to domain uniqueness. The aforementioned test resources are expensive and time-consuming, which makes them good candidates to optimize. READ MORE