Search for dissertations about: "software test case generation"

Showing result 1 - 5 of 26 swedish dissertations containing the words software test case generation.

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

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

   Abstract : 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. 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. Models for Estimation of Software Faults and Failures in Inspection and Test

   Author : Per Runeson; Institutioner vid LTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; failures; usage based testing; usage model; statistical testing; faults; capture-recapture; inspections; software quality; software reliability; experiments; Computer science; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

   Abstract : In software engineering, the quality of software and in particular the software reliability has to be controlled and improved. Hence there is a need for measuring and controlling the number and appearance of software faults and failures. READ MORE

6. 4. Journeys in vector space: Using deep neural network representations to aid automotive software engineering

   Author : Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automotive software design and testing; generative adversarial networks; latent space arithmetic; generative AI; explainable AI; large language models;

   Abstract : Context - The automotive industry is in the midst of a transformation where software is becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are facing an urgent need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. READ MORE

7. 5. 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