Conference Paper (published)
Details
Citation
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
Abstract
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.
Keywords
formal testing; viewpoints specification; category theory
Status | Published |
---|---|
Publication date | 31/12/2002 |
Publication date online | 31/08/2002 |
Related URLs | http://www.brunel.ac.uk/~csstrmh/concur2002/programme.html |
Publisher | Springer |
Publisher URL | http://kar.kent.ac.uk/13752/1/FormalRob.pdf |
Place of publication | Switzerland |
Conference | FATES’02: A Satellite Workshop of CONCUR’02 |
Conference location | Brno, Czech Republic |
Dates |
People (1)
Senior Lecturer, Computing Science