Search for dissertations about: "Conformance Testing"

Found 5 swedish dissertations containing the words Conformance Testing.

  2. 1. Testing of Heterogeneous Systems

    Author : Nauman Ghazi; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Heterogeneous systems; Information sources; Test selection;

    Abstract : Context: A system of systems often exhibits heterogeneity, for instance in implementation, hardware, process and verification. We define a heterogeneous system, as a system comprised of multiple systems (system of systems) where at least one subsystem exhibits heterogeneity with respect to the other systems. 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. Towards the safe-IOCOS relation -- On testing and correction of errors in an implementation to ensure safety

    Author : Adnan Khan; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; Safety; Supervisory control theory; Input-output conformance simulation relation; Model-based testing;

    Abstract : The technological advancement that has occurred at a blistering pace in the past decades has enabled manufacturing companies to conceive innovative products. However, to meet growing demands of consumers, manufacturing companies are expected to maintain a steady production rate without compromising product quality. READ MORE

  6. 4. Modeling and Model-Based Testing of Software Product Lines

    Author : Mahsa Varshosaz; Mohammad Reza Mousavi; Gerardo Schneider; Wojciech Mostowski; Jiri Srba; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Software product line (SPL) engineering has become common practice for mass production and customization of variability intensive systems. A software product line comprises a family of software systems which share a managed core set of artifacts and also have a set of well-defined variabilities. READ MORE

  7. 5. Test Models and Algorithms for Model-Based Testing of Software Product Lines

    Author : Mahsa Varshosaz; Slawomir Nowaczyk; Maurice ter Beek; Högskolan i Halmstad; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Software product line (SPL) engineering has become common practice for mass production and customization of software. A software product line comprises a family of software systems which share a managed core set of artifacts. There are also a set of well-defined variabilities between the products of a product line. READ MORE