With the advent of comprehensive safety standards for software-dependent safety related systems, such as IEC 61508 and its specialisations for particular industry sectors (medical, machinery, process, etc), there is a need to establish combinations of techniques which can be used by industry to demonstrate conformance to these standards for particular developments. In this paper we describe par...

In a conformance testing environment, an implementation under test (IUT) communicates with multiple entities. A tester may have differing degrees of control on the interactions between these entities and the IUT: directly controllable, semicontrollable, or uncontrollable. Semicontrollable inputs most likely render portions of an IUT untestable. In addition, multiple communicating entities may c...

High speed computer and telephone networks carry large amounts of data and signalling traffic. The engineers who build and maintain these networks use a combination of hardware and software tools to monitor the stream of network traffic. Some of these tools operate directly on the live network; others record data on magnetic tape for later offline analysis by software. Most analysis tasks requi...

The Hellenic Aerospace Industry NDI facility performs Penetrant and Magnetic particles process control operations (daily, weekly, monthly, quarterly) to ensure the performance of the in-use materials. Taking into consideration that all penetrant materials shall conform to the requirements of SAE AMS 2644 and all magnetic particles materials shall conform to SAE AMS 3044 or SAE AMS 3045 or SAE A...

The cumulative conformance count (CCC) charts are widespread in process monitoring of high-yield manufacturing. Recently, it is found the use of variable sampling interval (VSI) scheme could further enhance the efficiency of the standard CCC charts. The average time to signal (ATS) a shift in defect rate has become traditional measure of efficiency of a chart with the VSI scheme. Determining th...

Conventionally the term conformance testing has been used to indiscriminately denote different types of conformance testing in a broad sense and the term interoperability testing has been used without regard to possibly different interoperability test architectures. This study classifies conformance testing into interface conformance testing and entity conformance testing and investigates how t...

Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementation and specification. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper ...