DEVS Systems-Theory Framework for Reusable Testing of I/O Behaviors in Service Oriented Architectures

This paper presents a framework for testing at the I/O behavior level in a service-oriented architecture (SOA) environment. The framework derives minimal testable I/O pairs from a service component´s behavior specifications. These minimal testable I/O pairs are mapped to reusable primitives and then synthesized into test models in the Discrete Event System Specification (DEVS) formalism to meet different test objectives. We present the system theoretic foundation for I/O behavior testing and describe the inherently re-usable test development framework.