Decomposability in Input Output Conformance Testing
Neda Noroozi (Eindhoven University of Technology Eindhoven, The, Netherlands), Mohammad Reza Mousavi (Eindhoven University of Technology, Eindhoven, The Netherlands, Center for Research on Embedded Systems, (CERES), Halmstad University, Sweden), Tim A.C. Willemse (Eindhoven
TL;DR
This paper investigates how to derive component specifications from system and environment specs to enable effective conformance testing of black-box components, ensuring correct system composition.
Contribution
It introduces and proves sufficient criteria for decompositionality and strong decomposability in input-output conformance testing, facilitating modular verification.
Findings
Criteria for decompositionality established
Criteria for strong decomposability proven
Ensures correct system composition from component conformance
Abstract
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the criteria for strong decomposability, by which we can ensure that only those components conforming to the derived specification can lead to a correct system.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.