SATEL — A test intention language for object-oriented specifications of reactive systems
Silva Lúcio, L Pedro · 2009
Cette these traite de la problematique de la generation de jeux de tests a partir d'une specification logicielle. En particulier nous nous interesserons au langage de specification CO-OPN(Concurrent Object-Oriented Petri Nets) [1, 2], base sur les reseaux algebriques etendus grâce a des mechanismes objets et de distribution. Pour traiter ce probleme nous avons du revoir le langage CO-OPN. En effet la semantique du langage ayant ete definie par iterations successives, celle-ci s'est averee inadaptee a la generation de jeux de tests. Nous proposons a travers notre travail une nouvelle version de CO-OPN ou la syntaxe et la semantique ont ete completement revues et qui integrent les travaux precedents ou des descriptions precises et formelles ont ete employes...