Software Testing & Diagnostics: Theory & Practice

  • Vladimír Mařík
  • Luboš Král
  • Radek Mařík
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1963)


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.


Software Test Software Development Process Development Life Cycle Test Script Software Quality Assurance 
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.
    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. 95Google Scholar
  2. 2.
    Boris Beizer. Black-Box Testing (Techniques for Functional Testing of Software and Systems). John Wiley & Sons, 1995. 91Google Scholar
  3. 3.
    Bob Birs. Testing object-oriented software: a survey. SunProgrammer—The Newsletter for Professional Software Engineers, 1(3), 1992. 96Google Scholar
  4. 4.
    Barry W. Boehm. A spiral model of software development and enhancements. ACM Software Engineering Notes, 11, 1986. 92Google Scholar
  5. 5.
    David Chapman. Planning for conjunctive goals. Artificial Intelligence, 32(3):333–377, 1987. 109zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Lee Copeland. Object oriented testing. In Software testing training week, Amstelveen, 1999. 97Google Scholar
  7. 7.
    Joseph C. Giarratano. CLIPS—User’s Guide (version 6.05). International Thompson Publishing, 1997. 106Google Scholar
  8. 9.
    Edward Kit. Software Testing in the Real World. Addison-Wesley, 1995. 97Google Scholar
  9. 10.
    P. Kruchten and W. Royce. A rational development process. CrossTalk, 9(7), 1996. 96Google Scholar
  10. 11.
    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. 89Google Scholar
  11. 12.
    B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988. 96Google Scholar
  12. 13.
    Steven R. Rakitin. Software Verification and Validation (A Practitioner’s Guide). Artech House Publishers, 1997. 92, 97, 98Google Scholar
  13. 14.
    J. Rumbaugh, M. Blaha, and F. Eddy W. Premerlani, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991. 95Google Scholar
  14. 15.
    Daniel Weld. An introduction to least commitment planning. AI Magazine, pages 27–61, 1994. 109Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Vladimír Mařík
    • 1
  • Luboš Král
    • 1
    • 2
  • Radek Mařík
    • 3
  1. 1.Department of CyberneticsCzech Technical UniversityPrague 6Czech Republic
  2. 2.CertiCon, Shareholders Comp.Prague 2Czech Republic
  3. 3.ProTys Ltd. in control of Rockwell Automation Research CenterPrague 2Czech Republic

Personalised recommendations