Testing or Formally Verifying your Software?

16/10/2015 - 14:00
Sala 351- IC-3,5

                                  TODOS SÃO BEM VINDOS!
                Universidade Estadual de Campinas - UNICAMP
                            Instituto de Computação - IC
                    PALESTRA DA SÉRIE DE SEMINÁRIOS'2015
                   Sexta-feira, 16/10/2015, às 14:00 horas
                                          Sala 351- IC-3,5

                            Profa. Ana Cristina Vieira de Melo
                   Departamento de Ciência da Computação - DCC
                    Instituto de Matemática e Estatística -IME
                          Universidade de São Paulo - USP



        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 C V 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

        Responsável: Profa. Ariadne M. B. R. Carvalho
        Email: ariadne@ic.unicamp.br
        Fone: (19) 3521-5864
        Instituto de Computação, Unicamp