Model-Based Testing and Model Inference

Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system. Outputs from the test executions can subsequently be checked against the model.

[1]  Francesco Bergadano,et al.  Testing by means of inductive program learning , 1996, TSEM.

[2]  Takashi Kitamura,et al.  Test-Case Design by Feature Trees , 2012, ISoLA.

[3]  Karl Meinke,et al.  Learning-Based Software Testing: A Tutorial , 2011, ISoLA Workshops.

[4]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[5]  Karl Meinke,et al.  A Stochastic Theory of Black-Box Software Testing , 2006, Essays Dedicated to Joseph A. Goguen.

[6]  Tiziana Margaria,et al.  Dynamic Testing Via Automata Learning , 2007, Haifa Verification Conference.

[7]  Elaine J. Weyuker,et al.  Assessing Test Data Adequacy through Program Inference , 2019, TOPL.

[8]  Donald Sannella,et al.  Horizontal Composability Revisited , 2006, Essays Dedicated to Joseph A. Goguen.

[9]  Neil Walkinshaw,et al.  Assessing Test Adequacy for Black-Box Systems without Specifications , 2011, ICTSS.

[10]  Tiziana Margaria,et al.  Dynamic testing via automata learning , 2007, International Journal on Software Tools for Technology Transfer.

[11]  Falk Howar,et al.  Active learning of interface programs , 2012 .

[12]  Mihalis Yannakakis,et al.  Black Box Checking , 1999 .

[13]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[14]  Hong Zhu,et al.  Inductive inference and software testing , 1992, Softw. Test. Verification Reliab..

[15]  Roland Groz,et al.  Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing , 2012, ISoLA.

[16]  Supratik Mukhopadhyay,et al.  Model-Based Static Code Analysis for MATLAB Models , 2012, ISoLA.

[17]  Karl Meinke,et al.  An Incremental Learning Algorithm for Extended Mealy Automata , 2012, ISoLA.

[18]  Karl Meinke,et al.  Incremental Learning-Based Testing for Reactive Systems , 2011, TAP@TOOLS.

[19]  John Derrick,et al.  Increasing Functional Coverage by Inductive Testing: A Case Study , 2010, ICTSS.

[20]  Hong Zhu.  A Formal Interpretation of Software Testing as Inductive Inference , 1996 .