Decomposability in Input Output Conformance Testing
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,...
| Main Authors: | , , |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
Open Publishing Association
2013-03-01
|
| 叢編: | Electronic Proceedings in Theoretical Computer Science |
| 在線閱讀: | http://arxiv.org/pdf/1303.1009v1 |