Modeling concurrent systems and testing multi-threaded implementations against the model is an exciting eld of study. This paper presents work done on constructing and executing test cases for an industrialsize multi-threaded application against a model written in the Creol modeling language. Models written in Creol, an object-oriented, concurrent modeling language, can be structurally similar to the nished implementation; we show how to keep this desirable property when re-using Creol models as test oracles. Also, a conformance relation between model and system under test that needs less controllability than other relations that are based on automata is presented. As modeling language, Creol [13] is used. Creol is an object-oriented, distributed modeling language that has, in our experience, proved capable of modeling the behavior of large parallel software systems. Because of Creol's expressiveness, the models can have similar code structure to the implementation (e.g. with respect to This research was carried out as part of the EU FP6 project Credo: Modeling and analysis of evolutionary structures for distributed services (IST-33826). 1
Our previous work REF also shows how to use a Creol model as an oracle for a test run on the implementation.
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
Electron. Notes Theor. Comput. Sci.
Electron. Notes Theor. Comput. Sci.
Computer Science