Conference Proceeding

Towards a Formalization of Viewpoints Testing



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.

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

Publication date31/12/2002
Publication date online31/08/2002
Related URLs
Publisher URL
Place of publicationSwitzerland
ConferenceFATES’02: A Satellite Workshop of CONCUR’02
Conference locationBrno, Czech Republic

People (1)


Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science