Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Formal Methods for Open Object-Based Distributed Systems

International Conference on Formal Techniques for Distributed Systems

FMOODS 2012, FORTE 2012: Formal Techniques for Distributed Systems pp 101–117Cite as

  1. Home
  2. Formal Techniques for Distributed Systems
  3. Conference paper
Conformance Testing of Boolean Programs with Multiple Faults

Conformance Testing of Boolean Programs with Multiple Faults

  • Pavithra Prabhakar18,19 &
  • Mahesh Viswanathan20 
  • Conference paper
  • 604 Accesses

  • 1 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7273)

Abstract

Conformance testing is the problem of constructing a complete test suite of inputs based on a specification S such that any implementation I (of size less than a given bound) that is not equivalent to S gives a different output on the test suite than S. Typically I and S are assumed to be some type of finite automata. In this paper we consider the problem of constructing test suites for boolean programs (or more precisely modular visibly pushdown automata) that are guaranteed to catch all erroneous implementations that have at least R faults, and pass all correct implementations; if the incorrect implementation has fewer than R faults then the test suite may or may not detect it. We present a randomized algorithm for the construction of such test suites, and prove the near optimality of our test suites by proving lower bounds on the size of test suites.

Keywords

  • Test Suite
  • Input Sequence
  • Multiple Fault
  • Conformance Test
  • Faulty State

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.

Download conference paper PDF

References

  1. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of Recursive State Machines. ACM Transactions on Programming Languages and Systems 27(4), 786–818 (2005)

    CrossRef  Google Scholar 

  2. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of the ACM Symposium on Theory of Computation, pp. 202–211 (2004)

    Google Scholar 

  3. Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the Correspondence Between Conformance Testing and Regular Inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175–189. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  4. Friedman, A., Menon, P.: Fault Detection in Digital Circuits. Prentice Hall (1971)

    Google Scholar 

  5. Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. Logic Journal of the IGPL 14(5), 729–744 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Kohavi, Z.: Switching and Finite Automata Theory. McGraw Hill (1978)

    Google Scholar 

  7. Kumar, V., Madhusudan, P., Viswanathan, M.: Minimization, Learning, and Conformance Testing of Boolean Programs. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 203–217. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  8. Kumar, V., Viswanathan, M.: Conformance testing in the presence of multiple faults. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, pp. 1136–1145 (2005)

    Google Scholar 

  9. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines; A survey. Proceedings of the IEEE 84, 1090–1126 (1996)

    CrossRef  Google Scholar 

  10. Linn, R., Üyar, M. (eds.): Conformance Testing methodologies and architechtures for OSI protocols. IEEE Computer Society Press (1995)

    Google Scholar 

  11. Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies, Annals of Mathematics Studies 34, 129–153 (1956)

    Google Scholar 

  12. Peled, D., Vardi, M., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages, and Combinatorics 7(2), 225–246 (2002)

    MathSciNet  MATH  Google Scholar 

  13. Tretmans, J.: A formal approach to conformance testing. In: Protocol Test Systems. IFIP Transactions, vol. C-19, pp. 257–276 (1994)

    Google Scholar 

  14. Vasilevskii, M.P.: Fault diagnosis of automata. Kibernetika 4, 98–108 (1973)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. California Institute of Technology, USA

    Pavithra Prabhakar

  2. IMDEA Software Institute, USA

    Pavithra Prabhakar

  3. University of Illinois at Urbana-Champaign, USA

    Mahesh Viswanathan

Authors
  1. Pavithra Prabhakar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mahesh Viswanathan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hasso Plattner Institute at the University of Potsdam, Prof.-Dr.-Helmert-Straße 2-3, 14482, Potsdam, Germany

    Holger Giese

  2. Department of Computer Science, University of Illinois at Urbana-Champaign, 201 N. Goodwin, 61801, Urbana, IL, USA

    Grigore Rosu

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Prabhakar, P., Viswanathan, M. (2012). Conformance Testing of Boolean Programs with Multiple Faults. In: Giese, H., Rosu, G. (eds) Formal Techniques for Distributed Systems. FMOODS FORTE 2012 2012. Lecture Notes in Computer Science, vol 7273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30793-5_7

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-30793-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30792-8

  • Online ISBN: 978-3-642-30793-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature