Mutation testing in UTP - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Aspects of Computing Année : 2008

Mutation testing in UTP

Résumé

This paper presents a theory of testing that integrates into Hoare and He's Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification predicates. This reformulation of test cases allows for relating test cases via refinement to specifications and programs. Having such a refinement order that integrates test cases, we develop a testing theory for fault-based testing.
Fichier principal
Vignette du fichier
PEER_stage2_10.1007%2Fs00165-008-0083-6.pdf (561.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00477906 , version 1 (30-04-2010)

Identifiants

Citer

Bernhard K. Aichernig, He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 2008, 21 (1-2), pp.33-64. ⟨10.1007/s00165-008-0083-6⟩. ⟨hal-00477906⟩

Collections

PEER
37 Consultations
105 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More