AN EXPERIMENTATION WITH STATISTICAL TESTING

WAESELYNCK ; THEVENOD-FOSSE

Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
WAESELYNCK ; THEVENOD-FOSSE
Résumé / Abstract
STATISTICAL TESTING IS BASED ON A PROBABILISTIC GENERATION OF TEST DATA : CLASSICAL STRUCTURAL OR FUNCTIONAL CRITERIA SERVE AS GUIDES FOR DEFINING AN INPUT PROFILE AND A TEST SIZE. THE METHOD IS INTENDED TO COMPENSATE FOR THE IMPERFECT CONNECTION OF CURRENT CRITERIA WITH SOFTWARE FAULTS, AND SHOULD NOT BE CONFUSED WITH RANDOM TESTING, A 'BLIND' APPROACH THAT USES A UNIFORM PROFILE OVER THE INPUT DOMAIN. THIS PAPER REPORTS ON EXPERIMENTAL RESULTS OBTAINED ON A SOFTWARE COMPONENT FROM THE NUCLEAR FIELD : UNIT TESTING OF FOUR FUNCTIONS ­ STATISTICAL INPUT SETS WERE DESIGNED ACCORDING TO STRUCTURAL CRITERIA ; THEIR EFFICIENCY WAS COMPARED TO THE ONE OF 1) DETERMINISTIC SETS DERIVED FROM THE SAME CRITERIA AND 2) UNIFORM RANDOM SETS ; THE COMPARISON INVOLVED 2816 FAULTS OF MUTATION TYPE SEEDED ONE BY ONE IN THE SOURCE CODES. - WHOLE COMPONENT TESTING ­ STATISTICAL FUNCTIONAL TESTING WAS DESIGNED FROM BEHAVIOUR MODELS OF THE COMPONENT : FINITE STATE MACHINES, DECISION TABLES, STATECHARTS ; ITS EFFICIENCY WAS COMPARED TO THE ONE OF RANDOM TESTING, USING TWO VERSIONS OF THE COMPONENT : THE REAL ONE, IN WHICH A MINOR FAULT WAS FOUND, AND A STUDENT VERSION WITH 12 REVEALED FAULTS. THE RESULTS SHOWED THE HIGH FAULT REVEALING POWER OF STATISTICAL TESTING, AND ITS BEST EFFICIENCY IN COMPARISON TO DETERMINISTIC AND RANDOM TESTING.

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR