Testing the Tester: Specification and Validation Approaches
نویسنده
چکیده
It’s a given that ATE test platforms are complex systems. Many HW and SW elements need to be integrated and work together for successful testing solutions. Too often we define a properly working platform within the context of the tools used to test and validate its behavior. Diagnostics, calibration, and special-purpose validation tools are used to prove a platform’s adherence to specifications. However, these tools and usage conditions are usually far removed from the end-use applications environment. They ignore or bypass many of the interactions encountered by a user’s actual test conditions. In an effort to manage the complexity of these interactions, some approaches try to limit the definition of a properly working tester to one that passes a particular validation standard (instead of meeting specifications in any legal usage).
منابع مشابه
Robustness testing of composed real-time systems
In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal one and a degraded one. We extract test sequences from the nominal specification and we inject a...
متن کاملExtending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems
Testing is a validation activity used to check the system’s correctness with respect to the specification. In this context, test based on refusals is studied in theory and tools are effectively constructed. This paper addresses, a formal testing based on stochastic refusals graphs (SRG) in order to test stochastic system represented by maximality-based stochastic labeled transition systems (MSL...
متن کاملPassive Testing with Proxy-testers
Passive testing is an alternative testing approach whose purpose is to passively analyze an implementation behaviour without disturbing it. Usually, passive testing methods extract traces by means of sniffer-based tools, running in the same environment as the implementation. Nevertheless, many implementation environments prevent from setting a sniffer-based tool for security or technical reason...
متن کاملTesting of Wireless Sensor Networks
AWireless SensorNetwork (WSN) is an embedded computation system for distributed sensing of a dispersed phenomenon. It is a distributed system built of autonomous, yet cooperating embedded devices, so-called sensor nodes. Each sensor node provides computational, communication and storage resources and typically operates on limited energy resources. WSNs are often deployed in remote locations for...
متن کاملConformance relation, associated equivalence, and minimum canonical tester in LOTOS
We first study the conf relation proposed by E. Brinksma and G. Scollo to formalize testing conformance. It is well-known from their work that, in order to test whether an implementation I is a valid implementation of a specification S (i.e. I conf S), it suffices to build, from S, a canonical tester T (S) such that, when T (S) is synchronized with an implementation I, it always reaches a corre...
متن کامل