Model Inference and Testing

Muhammad Naeem Irfan 1 Catherine Oriat 2 Roland Groz 2
2 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : For software systems, models can be learned from behavioral traces, available specifications, knowledge of experts, and other such sources. Software models help to steer testing and model checking of software systems. The model inference techniques extract structural and design information of a software system and present it as a formal model. This chapter briefly discusses the passive model inference and goes onto present the active model inference of software systems using the algorithm L∗L∗. This algorithm switches between model inference and testing phases. In model inference phase it asks membership queries and records answers in a table to conjecture a model of a software system under inference. In testing phase it compares a conjectured model with the system under inference. If a test for a conjectured model fails, a counterexample is provided which helps to improve the conjectured model. Different counterexample processing methods are presented and analyzed to identify an efficient counterexample processing method. A counterexample processing method is said to be efficient if it helps to infer a model with fewer membership queries. An improved version of L∗L∗ is provided which avoids asking queries for some rows and columns of the table which helps to learn models with fewer queries.
Type de document :
Chapitre d'ouvrage
Atif Memon. Advances in Computers, 89, Elsevier, pp.89-139, 2013, 〈10.1016/B978-0-12-408094-2.00003-5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00853726
Contributeur : Catherine Oriat <>
Soumis le : vendredi 23 août 2013 - 19:59:04
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

Collections

Citation

Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. Atif Memon. Advances in Computers, 89, Elsevier, pp.89-139, 2013, 〈10.1016/B978-0-12-408094-2.00003-5〉. 〈hal-00853726〉

Partager

Métriques

Consultations de la notice

273