Duration: 2004 until 2006
Funded by: NWO
The Atomyste-project aims at developing methods and tools to cope with the problem of atom splitting (or action refinement) in automatic, formal conformance testing of embedded, reactive software systems. Atom splitting involves the change in granularity of test primitives from test derivation to test implementation. This change has semantic consequences which are currently not well-understood, but which may have severe implications for the validity and soundness of the derived tests. The starting points for Atomyste are the theories of action refinement and of conformance testing. The purpose is to combine these theories in such a way that semantically sound and practically usable methods and tools can be developed to support atom splitting in testing.