| Abstract
|
<p>Input-output conformance (ioco) t … <p>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.</p>be performed in polynomial time.</p>
|
| Author
|
Neda Noroozi +
, Mohammad Reza Mousavi +
, Tim A.C. Willemse +
|
| Conference
|
The 10th International Symposium on Formal Aspects of Component Software, Jiangxi Normal University, Nanchang, China, October 28-30, 2013
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:668685
|
| HostPublication
|
Proceedings of the 10th International Symposium on Formal Aspects of Component Software +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer +
|
| Series
|
Lecture Notes in Computer Science +
|
| Title
|
On the Complexity of Input Output Conformance Testing +
|
| Year
|
2013 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
, Publications:On the Complexity of Input Output Conformance Testing +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:46 +
|
