Teaching software verification and validation to software practitioners
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.
KeywordsSoftware Development Original Approach Software Verification Depth Dimension Software Development Life Cycle
Unable to display preview. Download preview PDF.
- 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
- Ardis89b.Ardis, M. A. Software Verification and Validation. Educational Materials AC-SVV-01, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1989.Google Scholar
- Beizer84.Beizer, B. Software System Testing and Quality Assurance. New York: Van Nostrand, 1984.Google Scholar
- 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
- 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
- Northrop91.Northrop, L. and Richardson, R. Personal communication, Aug. 1991.Google Scholar