Advertisement

Teaching software verification and validation to software practitioners

  • David R. Luginbuhl
  • James E. Cardow
Session 7: Educating Practitioners
Part of the Lecture Notes in Computer Science book series (LNCS, volume 640)

Abstract

We describe the development and teaching of a two-week course in software verification and validation (V&V). The course is taught to Air Force software practitioners by faculty at the Air Force Institute of Technology (AFIT). We show that by organizing teaching materials using a framework involving interrelationships of activities throughout the software development life cycle, we were able to significantly enhance the development and teaching of the course. Such an organization is logical since V&V pervades all activities in every part of the life cycle.

Keywords

Software Development Original Approach Software Verification Depth Dimension Software Development Life Cycle 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ardis89a.
    Ardis, M. A. and Ford, G. 1989 SEI Report on Graduate Software Engineering Education. Technical Report CMU/SEI-89-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1989.Google Scholar
  2. Ardis89b.
    Ardis, M. A. Software Verification and Validation. Educational Materials AC-SVV-01, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1989.Google Scholar
  3. Beizer84.
    Beizer, B. Software System Testing and Quality Assurance. New York: Van Nostrand, 1984.Google Scholar
  4. CollofeIIo88.
    Collofello, J. S. Introduction to Software Verification and Validation. Curriculum Module SEI-CM-13-1.1, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Dec. 1988.Google Scholar
  5. Mead91.
    Mead, N. R. and Lawlis, P. K. Software Engineering: Graduate-Level Courses for AFIT Professional Continuing Education. Proceedings of the Software Engineering Education Conference, Pittsburgh, PA, Apr. 1990. Springer-Verlag Lecture Notes in Computer Science, pp. 114–126.Google Scholar
  6. Northrop91.
    Northrop, L. and Richardson, R. Personal communication, Aug. 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • David R. Luginbuhl
    • 1
  • James E. Cardow
    • 1
  1. 1.Air Force Institute of TechnologyUSA

Personalised recommendations