Skip to main content
SpringerLink
Log in

Towards Minimization of Test Sets for Human-Computer Systems

  • Conference paper
Innovations in Applied Artificial Intelligence (IEA/AIE 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3533))

  • 1186 Accesses

Abstract

A model-based approach for minimization of test sets for human-computer systems is in tro duced. Test cases are efficiently generated and se lected to cover both the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.Ü.: An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. IEEE Trans. Commun. 39, 1604–1615 (1991)

    Article  Google Scholar 

  2. Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows-Theory, Algorithms and Applications. Prentice Hall, Englewood Cliffs (1993)

    Google Scholar 

  3. Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proc. 12th ISSRE, pp. 34–43 (2001)

    Google Scholar 

  4. Belli, F., Nissanke, N., Budnik, C.J.: A Holistic, Event-Based Approach to Modeling, Analysis and Testing of System Vulnerabilities. Technical Report TR 2004/7, Univ. Paderborn (2004)

    Google Scholar 

  5. Bochmann, G.V., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. Softw. Eng. Notes, ACM SIGSOFT, 109–124 (1994)

    Google Scholar 

  6. Chow, T.S.: Testing Software Designed Modeled by Finite-State Machines. IEEE Trans. Softw. Eng. 4, 178–187 (1978)

    Article  Google Scholar 

  7. Delamaro, M.E., Maldonado, J.C., Mathur, A.: Interface Mutation: An Approach for Integration Testing. IEEE Trans. on Softw. 27(3), 228–247 (2001)

    Article  Google Scholar 

  8. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on Test Data Selection: Help for the Practicing Programmer. Computer 11(4), 34–41 (1978)

    Article  Google Scholar 

  9. Dijkstra, E.W.: A note on two problems in connexion with graphs. Journal of Numerische Mathematik 1, 269–271 (1959)

    Article  MATH  MathSciNet  Google Scholar 

  10. Zhu, H., Hall, P.A.V., May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys 29(4) (May 1997)

    Google Scholar 

  11. Knuth, D.E.: The Stanford GraphBase. Addison-Wesley, Reading (1993)

    Google Scholar 

  12. Marré, M., Bertolino, A.: Using Spanning Sets for Coverage Testing. IEEE Trans. on Softw. Eng. 29(11), 974–984 (2003)

    Article  Google Scholar 

  13. Memon, A.M., Pollack, M.E., Soffa, M.L.: Automated Test Oracles for GUIs. In: Memon, A.M., Pollack, M.E., Soffa, M.L. (eds.) SIGSOFT 2000, pp. 30–39 (2000)

    Google Scholar 

  14. Naito, S., Tsunoyama, M.: Fault Detection for Sequential Machines by Transition Tours. In: Proc. FTCS, pp. 238–243 (1981)

    Google Scholar 

  15. Offutt, J., Shaoying, L., Abdurazik, A., Ammann, P.: Generating Test Data From State-Based Specifications. The Journal of Software Testing, Verification and Reliability 13(1), 25–53 (2003)

    Article  Google Scholar 

  16. Parnas, D.L.: On the Use of Transition Diagrams in the Design of User Interface for an Interactive Computer System. In: Proc. 24th ACM Nat’l. Conf., pp. 379–385 (1969)

    Google Scholar 

  17. Shehady, R.K., Siewiorek, D.P.: A Method to Automate User Interface Testing Using Finite State Machines. In: Proc. Int. Symp. Fault-Tolerant Comp. FTCS-27, pp. 80–88 (1997)

    Google Scholar 

  18. Tai, K., Lei, Y.: A Test Generation Strategy for Pairwise Testing. IEEE Trans. on Softw. Eng. 28(1), 109–111 (2002)

    Article  Google Scholar 

  19. Thimbleby, H.: The Directed Chinese Postman Problem, School of Computing Science, Middlesex University, London (2003)

    Google Scholar 

  20. West, D.B.: Introduction to Graph Theory. Prentice Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  21. White, L., Almezen, H.: Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. In: Proc. ISSRE, pp. 110–119. IEEE Comp. Press, Los Alamitos (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Paderborn, Warburger Str. 100, 33098, Paderborn, Germany

    Fevzi Belli & Christof J. Budnik

Authors
  1. Fevzi Belli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christof J. Budnik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Texas State University-San Marcos, Nueces 247, 601 University Drive, 78666-4616, San Marcos, TX, USA

    Moonis Ali

  2. Dipartimento di Informatica, Università degli Studi di Bari,  

    Floriana Esposito

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Belli, F., Budnik, C.J. (2005). Towards Minimization of Test Sets for Human-Computer Systems. In: Ali, M., Esposito, F. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2005. Lecture Notes in Computer Science(), vol 3533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11504894_41

Download citation

  • DOI: https://doi.org/10.1007/11504894_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26551-1

  • Online ISBN: 978-3-540-31893-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation