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)
In the context of electromagnetic tagging, we present the results from our ongoing work to unify Electronics Article Surveillance (EAS) and RadioFrequency Identification (RFID) technologies using an open architecture design for tag readers. Two fundamental approaches are presented: microcontroller-based architectures and Field Programmable Gate Array (FPGA)(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)
  • 1