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.