• vendredi 03 juin 2005 : locaux du DGII de Polytec
  
  
  • 15h00 : Functional Testing Based on Z Specifications - Maximiliano CRISTEA
    professeur invité
    
    Résumé :
    A formal functional specification of a system is a very usefull tool. During the ´90 some researchers proposed touse it to extract test cases. It proved to be e very good strategy because it allows to quantify and to displine the testing activity. In this talk I will introduce this powerfull technique for Z specifications.Prerrequisites: Fluency in the Z specification language.