Testability with Unbounded Testing Strategies
نویسندگان
چکیده
Testability and design for testability are widely discussed practical issues in software engineering, especially in protocol engineering. A number of basic testability qualities were defined formally and independently from any special system model. In this paper we refine these notions on the one hand by a containment order on experiments and on the other hand by a formal distinction between bounded and unbounded experimentation. Containment and bounds will be interpreted mainly temporally, but can also more generally be considered as referring to a “width of view”, of which time is only one, though prominent, aspect.
منابع مشابه
System Level Testability Issues of Core Based System-on-a-Chip
Testability issues of a core based system-on-a-chip (SOC) are identified and the various solutions available at the different stages of SOC evolution are discussed. It was found that a strategy at core level and system level is needed to achieve first time success of the core based SOC. The issues considered include area, power and delay overheads, Fault coverage, At speed test, Core transparen...
متن کاملTwo-Dimensional Sequential Array Architectures: Design for Testability and Reconfiguration Issues
New Design for Testability techniques aimed both at overcoming the problem of testing array architectures composed of sequential cells and guaranteeing fault tolerance through reconfiguration are proposed. Two strategies have been envisioned: (1) structural DfT techniques whose goal is to modify the interconnecting network embedding each cell, and (2) functional techniques aimed at defining a t...
متن کاملAnalysis for Class-Component Testability
Testability is a quality factor used to predict the amount of effort required for software testing and to indicate the difficulty of revealing faults. Also, it can be used to estimate the difficulty of software testing. This paper presents a quantitative testability analysis method for a software component that can be used when the source program is not available, but the bytecode is (as in Jav...
متن کاملChallenges in Testing Real-Time Systems
Testing real-time systems presents more challenges than testing non-real-time systems; since, in addition to the value domain, the temporal domain also has to be considered. A number of design issues affect the testing strategies and the testability of the system. This paper gives a brief introduction to some of these design issues and explains how testing is affected by the different possible ...
متن کاملExperience Report on Conformance Tests for CORBA ORBs
Middleware platforms are in wide spread use for distributed systems. Their quality is key to the stability and interoperability in multi-vendor heterogeneous environments. It is the aim of the EC IST project CORVAL2 to enhance the techniques used to validate the conformance of OMG’s CORBA technology. This paper investigates testability aspects of CORBA ORBs and considers CORBA based systems bot...
متن کامل