Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 2000: SOFSEM 2000: Theory and Practice of Informatics pp 88–114Cite as

Software Testing & Diagnostics: Theory & Practice

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1963))

Abstract

The introduction into the field of software testing, automated software testing and diagnostics will be given together with explanation of fundamental terminology. The viewpoint of quality theory will be stressed. Presented state of the art basic concepts of software testing, design of tests, their execution and methods of test evaluation will be selected according to their practical usage. The methodology will be demonstrated on case studies developed during practical software testing and diagnostics projects for large international companies in the field of industrial automation and medical instrumentation. The paper will be concluded with a summary of practical experience.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Barbey. Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on Formal Specifications. PhD thesis, Ecole Polytechnique Federale de Lausanne, Department of Information, 1997. 95

    Google Scholar 

  2. Boris Beizer. Black-Box Testing (Techniques for Functional Testing of Software and Systems). John Wiley & Sons, 1995. 91

    Google Scholar 

  3. Bob Birs. Testing object-oriented software: a survey. SunProgrammer—The Newsletter for Professional Software Engineers, 1(3), 1992. 96

    Google Scholar 

  4. Barry W. Boehm. A spiral model of software development and enhancements. ACM Software Engineering Notes, 11, 1986. 92

    Google Scholar 

  5. David Chapman. Planning for conjunctive goals. Artificial Intelligence, 32(3):333–377, 1987. 109

    Article  MATH  MathSciNet  Google Scholar 

  6. Lee Copeland. Object oriented testing. In Software testing training week, Amstelveen, 1999. 97

    Google Scholar 

  7. Joseph C. Giarratano. CLIPS—User’s Guide (version 6.05). International Thompson Publishing, 1997. 106

    Google Scholar 

  8. Edward Kit. Software Testing in the Real World. Addison-Wesley, 1995. 97

    Google Scholar 

  9. P. Kruchten and W. Royce. A rational development process. CrossTalk, 9(7), 1996. 96

    Google Scholar 

  10. M. Lenz, B. Bartsch-Sporl, H.-D. Burkhard, and S. Wess, editors. Case-Based Reasoning Technology (From Foundations to Applications), volume 1400 of Lecture notes in artificial intelligence. Springer-Verlag, 1998. 89

    Google Scholar 

  11. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988. 96

    Google Scholar 

  12. Steven R. Rakitin. Software Verification and Validation (A Practitioner’s Guide). Artech House Publishers, 1997. 92, 97, 98

    Google Scholar 

  13. J. Rumbaugh, M. Blaha, and F. Eddy W. Premerlani, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991. 95

    Google Scholar 

  14. Daniel Weld. An introduction to least commitment planning. AI Magazine, pages 27–61, 1994. 109

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Cybernetics, Czech Technical University, Technická 2, Prague 6, Czech Republic

    Vladimír Mařík & Luboš Král

  2. CertiCon, Shareholders Comp., Odborů 4, 120 00, Prague 2, Czech Republic

    Luboš Král

  3. ProTys Ltd. in control of Rockwell Automation Research Center, Americká 22, 120 00, Prague 2, Czech Republic

    Radek Mařík

Authors
  1. Vladimír Mařík
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luboš Král
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Radek Mařík
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Cybernetics, Czech Technical University, Karlovo nám. 13, 121 35, Prague, Czech Republic

    Václav Hlaváč

  2. Information Technology Department, CLRC RAL, Chilton, Didcot, Oxfordshire, UK

    Keith G. Jeffery

  3. Insitute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou věží 2, 182 07, Prague, Czech Republic

    Jiří Wiedermann

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mařík, V., Král, L., Mařík, R. (2000). Software Testing & Diagnostics: Theory & Practice. In: Hlaváč, V., Jeffery, K.G., Wiedermann, J. (eds) SOFSEM 2000: Theory and Practice of Informatics. SOFSEM 2000. Lecture Notes in Computer Science, vol 1963. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44411-4_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44411-4_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41348-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation