A Learning-based Approach to Unit Testing of Numerical Software

Abstract : We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial models as an algorithmically learned abstraction of the SUT which supports n-wise testing. Test cases are iteratively generated by applying a satisfiability algorithm to first-order program specifications over real closed fields and iteratively refined piecewise polynomial models. We benchmark the performance of our iterative ATCG algorithm against iterative random testing, and empirically analyse its performance in finding injected errors in numerical codes. Our results show that for software with small errors, or long mean time to failure, learning-based testing is increasingly more efficient than iterative random testing.
Type de document :
Communication dans un congrès
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.221-235, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_16〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055250
Contributeur : Hal Ifip <>
Soumis le : mardi 12 août 2014 - 09:14:26
Dernière modification le : mercredi 16 août 2017 - 15:22:41
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:37:09

Fichier

64350220.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Karl Meinke, Fei Niu. A Learning-based Approach to Unit Testing of Numerical Software. Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.221-235, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_16〉. 〈hal-01055250〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

272