Heuristics for Improving Model Learning Based Software Testing

Muhammad Naeem Irfan 1
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : In order to reduce the cost and provide rapid development, most of the modern and complex systems are built integrating prefabricated third party components COTS. We have been investigating techniques to build formal models for black box components. The integration testing framework developed by our team leaves several open strategies; we will be investigating variations of these open strategies to enhance applicability. We are investigating the heuristics to improve the existing methodologies for learning black boxes and integration testing. We are addressing the counter-example part of the learning algorithm for improvements and are examining different techniques to identify the counterexamples in a more efficient way.
Type de document :
Communication dans un congrès
Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), 2009, Windsor, UK, pp.127-128, 2009, 〈10.1109/TAICPART.2009.32〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953592
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:33
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

Collections

Citation

Muhammad Naeem Irfan. Heuristics for Improving Model Learning Based Software Testing. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), 2009, Windsor, UK, pp.127-128, 2009, 〈10.1109/TAICPART.2009.32〉. 〈hal-00953592〉

Partager

Métriques

Consultations de la notice

118