O'Reilly logo

Advances in Computers by Atif Memon

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 3

Model Inference and Testing

Muhammad Naeem Irfan, Catherine Oriat and Roland Groz, LIG, Computer Science Lab, Grenoble Institute of Technology, France

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 . This algorithm switches between model inference and testing phases. In model inference phase ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required