Sökning: "Conformance Testing"

Hittade 5 avhandlingar innehållade orden Conformance Testing.

  1. 1. Testing of Heterogeneous Systems

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

    Sammanfattning : 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. LÄS MER

  3. 2. Model-Based Test Case Generation for Real-Time Systems

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

    Sammanfattning : 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. LÄS MER

  4. 3. Towards the safe-IOCOS relation -- On testing and correction of errors in an implementation to ensure safety

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER