Bujorianu MC, Maharaj S & Bujorianu ML (2002) Towards a Formalization of Viewpoints Testing. In: Hierons R & Thierry J (eds.) Formal Approaches to Testing of Software: FATES’02 A Satellite Workshop of CONCUR’02, Brno, Czech Republic, August 24th 2002 Proceedings. FATES’02: A Satellite Workshop of CONCUR’02, Brno, Czech Republic, 24.08.2002-24.08.2002. Switzerland: Springer, pp. 137-151. http://kar.kent.ac.uk/13752/1/FormalRob.pdf
Test case generation from formal specifications is now a very mature field. Partial specification or viewpoints represents a co-operative approach in software specification. Although partial specification has a long history, only a little was done towards application of the methodology to formal test case generation. In this work we propose a categorical foundation of viewpoints oriented testing, obtaining a sound methods integration and a formal testing methodology for composite (heterogeneous) software systems. In particular, we plan to address the combination of specification based testing and test case generation from proofs.
formal testing; viewpoints specification; category theory