• Seminars & Events
  • Latest
  • Archive
  • RSS Feed

Back

23 April 2009

Using Formal Verification to Reduce Test Space of Fault-tolerant Programs

Location: Meeting Room 10, 2nd Floor, JLB
Time: 12:30pm - 13:45pm
Speaker(s): Dr. Ana de Melo is a Lecturer of Computer Science in the Universidade de São Paulo, Brazil

Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but its application is not very straightforward in many cases. Both program testing and verification are expensive tasks and could be used to complement each other. This paper presents a new approach to automate and integrate testing and program verification for fault-tolerant systems. In this approach we show how to assess information from programs verification in order to reduce the test space regarding exceptions definition/use testing criteria. As properties on exception-handling mechanisms are checked using a model checker (Java PathFinder), programs are traced. Information from these traces can be used to realize how much testing criteria have been covered, reducing the further program test space. (presented at SEFM 2008) BIO: Dr. Ana de Melo is a Lecturer of Computer Science in the Universidade de São Paulo, Brazil. She did her PhD in Manchester in 1995 on Formal Reuse of Hardware Design and has been working in the areas of software enginnering comprising software reuse, component-based systems, fault-tolerant systems, program testing and verification, verification techniques for multi-agent and mobile systems. She has published widely on program testing and verification and formally developing and coordinating fault-tolerant software components. She is currently visiting the Software Engineering Group in the University of Oxford for one year, researching on Model-driven development of components coordination based on formal models. She has been involved in several research projects on Fault-Tolerant Components Coordination and Programs Testing and Verification


Save to your Calendar

Contact: mailto:r.power@open.ac.uk