Rohan Fletcher

Learn More
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the(More)
The separation of architecture definition language (ADL) and interface definition language (IDL) is widely accepted in the distributed system community. It separates issues of hierarchical composition and configuration from those of services, communication and synchronisation and thus eases reconfiguration without changing the interfaces and implementation(More)
Direct Digital Synthesis of the waveforms, it is possible to create frequency-agile software-reconfigurable hardware which can detect all common varieties of EAS labels and RFID tags. Since much of the functionality can now be performed in software, these new reader technologies can be implemented with little additional cost compared to conventional(More)
Object oriented methodology is increasingly being used for software development. There is now a need to develop testing methodologies for object oriented programs. These methodologies should exploit the characteristics of object orientation. In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from(More)
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the(More)
  • 1