Many systems today depend on a kind of software to operate and the quality of the overall system is related to the quality of software delivered with it. Testing and formal verification are the most used techniques to certify the quality of software today. However, how to decide which technique should be used to guarantee software quality? Can we use both techniques in a single project? which one is better? cheaper? scalable? which level, design or code?
This seminar is about different approaches to use testing and formal verification in software quality certification as complementary techniques. First, the basic concepts of software testing and formal verification will be presented. And then, certain approaches to take advantages of using these techniques to complement each other will be discussed.
Ana Cristina Vieira de Melo is an Associate Professor in the Department of Computer Science at the University of São Paulo. She received the BS and MSc degrees in computer science from the Federal University of Pernambuco (UFPE), Brazil, in 1986 and 1989 respectively, and PhD degree in computer science from the University of Manchester, UK, in 1995. She has been on a sabbatical leave at the Oxford University, UK, from 2008 to 2009, and has also collaborated with the Université de Paris-Sud, Orsay-France, and Carnegie-Mellon University/NASA Ames Research Center in the validation and verification of software subjects. Her main research interests are modelling and formal verification of concurrent/mobile systems, formal approaches to software development and the complementary view of testing and formal verification to enhance software quality.
Responsável: Profa. Ariadne M. B. R. Carvalho
Fone: (19) 3521-5864
Instituto de Computação, Unicamp