Test Generation for Sequential Nets of Abstract State Machines

  • Paolo Arcaini
  • Francesco Bolis
  • Angelo Gargantini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7316)


Test generation techniques based on model checking suffer from the state space explosion problem. However, for a family of systems that can be easily decomposed in sub-systems, we devise a technique to cope with this problem. To model such systems, we introduce the notion of sequential net of Abstract State Machines (ASMs), which represents a system constituted by a set of ASMs such that only one ASM is active at every time. Given a net of ASMs, we first generate a test suite for every ASM in the net, then we combine the tests in order to obtain a test suite for the entire system. We prove that, under some assumptions, the technique preserves coverage of the entire system. We test our approach on a benchmark and we report a web application example for which we are able to generate complete test suites.


Model Check Test Sequence Test Suite Single Machine Coverage Criterion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sahi website,
  2. 2.
    Andrews, A.A., Offutt, J., Alexander, R.T.: Testing Web applications by modeling with FSMs. Software and Systems Modeling 4, 326–345 (2005)CrossRefGoogle Scholar
  3. 3.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)Google Scholar
  4. 4.
    Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50, 752–794 (2003)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)Google Scholar
  6. 6.
    Di Lucca, G.A., Fasolino, A.R.: Testing Web-based applications: The state of the art and future trends. Inf. Softw. Technol. 48, 1172–1186 (2006)CrossRefGoogle Scholar
  7. 7.
    Fraser, G., Gargantini, A.: An evaluation of model checkers for specification based test case generation. In: ICST 2009, Denver, Colorado, USA, April 1-4, pp. 41–50. IEEE Computer Society (2009)Google Scholar
  8. 8.
    Gargantini, A., Riccobene, E.: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation. J.UCS 7, 262–265 (2001)Google Scholar
  9. 9.
    Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Testsfrom ASM Specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    Hierons, R., Derrick, J.: Editorial: special issue on specification-based testing. Software Testing, Verification and Reliability 10(4), 201–202 (2000)CrossRefGoogle Scholar
  11. 11.
    Holzmann, G.: Spin model checker, the: primer and reference manual, 1st edn. Addison-Wesley (2003)Google Scholar
  12. 12.
    Memon, A.M., Akinmade, O.: Automated Model-Based Testing of Web Applications. In: Google Test Automation Conference 2008 (2008)Google Scholar
  13. 13.
    Moore, E.F.: Gedanken experiments on sequential machines. In: Automata Studies, Princeton, pp. 129–153 (1956)Google Scholar
  14. 14.
    Park, S., Kwon, G.: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Laganá, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol. 3984, pp. 905–911. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Paolo Arcaini
    • 1
  • Francesco Bolis
    • 2
  • Angelo Gargantini
    • 2
  1. 1.Dip. di Tecnologie dell’InformazioneUniversità degli Studi di MilanoItaly
  2. 2.Dip. di Ing. dell’Informazione e Metodi MatematiciUniversità di BergamoItaly

Personalised recommendations