| 1. |
- Noroozi, Neda, et al.
(författare)
-
Decomposability in Input Output Conformance Testing
- 2013
-
Ingår i: Proceedings of the 8th Workshop on Model-Based Testing. - : Open Publishing Association. ; , s. 51-66
-
Konferensbidrag (refereegranskat)abstract
- We study the problem of deriving a specification for a third-party component, based on the specifi-cation 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 sufficientcriteria 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 thecriteria for strong decomposability, by which we can ensure that only those components conformingto the derived specification can lead to a correct system.
|
|
| 2. |
- Noroozi, Neda, et al.
(författare)
-
On the Complexity of Input Output Conformance Testing
- 2014
-
Ingår i: Formal Aspects of Component Software. - Heidelberg : Springer. - 9783319076010 - 9783319076027 ; , s. 291-309
-
Konferensbidrag (refereegranskat)abstract
- Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACE-complete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be performed in polynomial time. © 2014 Springer International Publishing Switzerland.
|
|
| 3. |
- Noroozi, Neda, et al.
(författare)
-
Synchrony and asynchrony in conformance testing
- 2015
-
Ingår i: Software and Systems Modeling. - Heidelberg : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 149-172
-
Tidskriftsartikel (refereegranskat)abstract
- We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2015, Springer-Verlag Berlin Heidelberg.
|
|
