Conformance has been used as a correctness criterion for asynchronous circuits. Although the definition of conformance does not directly lend itself for implementation in a verification procedure, there is an equivalent property which can be implemented effectively: in the case of untimed systems, conformance of an implementation to a specification is equivalent to the failure-freeness between ...

Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check ...

The most significant geo-energy sources in the world today continue to be oil, gas, and geothermal reservoirs. To increase oil gas reserves production, new theories are constantly being developed laboratory technologies applied oilfield. This Special Issue compiles recent research focusing on cutting-edge ideas technology reservoirs, covering fields of well drilling, cementing, hydraulic fractu...

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in o...

Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity between the output trajectories of systems, which considers both temporal and spatial aspects of the outputs. Previous work developed algorithms for computing the conformance degree between two systems, and demonstrated ...

ion level (K) abstractionlevel (K-1)ionlevel (K-1) Figure 5.6: Abstraction levels in a design processconformancerelation conformancerelation

This paper deals with a case study of conformance testing and interoperability testing of ATM Adaptation Layer type 3/4 (AAL 3/4) implementations. A set of conformance test purposes for AAL 3/4 sublayers is developped. The implementation of these test purposes is analysed using the transverse conformance test method and the interoperability test method. This analysis leads to the identiication ...

The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing based on the object model. With object-based service specifications the need for conformance testing of object implementations arises to ensure that objects act as intended. The issue of conformance testing is of part...

This paper presents an approach to use symbolic input output conformance checking for mutation-based test case generation. In this approach, a possibly non-deterministic action system model is used as basis for generating a number of mutants. Subsequently after the generation of mutants, the original model and the mutants are simultaneously symbolically executed and tested for conformance. Dist...