Testing of Heuristic Methods: A Case Study of Greedy Algorithm - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

Testing of Heuristic Methods: A Case Study of Greedy Algorithm

A. C. Barus
  • Fonction : Auteur
  • PersonId : 1014445
T. Y. Chen
  • Fonction : Auteur
  • PersonId : 1014446
D. Grant
  • Fonction : Auteur
  • PersonId : 1014447
F. -C. Kuo
  • Fonction : Auteur
  • PersonId : 1014448
M. F. Lau
  • Fonction : Auteur
  • PersonId : 1014449

Résumé

Algorithms which seek global optima are computationally expensive. Alternatively, heuristic methods have been proposed to find approximate solutions. Because heuristic algorithms do not always deliver exact solutions it is difficult to verify the computed solutions. Such a problem is known as the oracle problem. In this paper, we propose to apply Metamorphic Testing (MT) in such situations because MT is designed to alleviate the oracle problem and can be automated. We demonstrate the failure detection capability of MT on testing a heuristic method, called the Greedy Algorithm (GA), applied to solve the set covering problem (SCP). The experimental results show that MT is an effective method to test GA.
Fichier principal
Vignette du fichier
978-3-642-22386-0_19_Chapter.pdf (176.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01572541 , version 1 (07-08-2017)

Licence

Identifiants

Citer

A. C. Barus, T. Y. Chen, D. Grant, F. -C. Kuo, M. F. Lau. Testing of Heuristic Methods: A Case Study of Greedy Algorithm. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.246-260, ⟨10.1007/978-3-642-22386-0_19⟩. ⟨hal-01572541⟩
84 Consultations
505 Téléchargements

Altmetric

Partager

More