Techniques for IV&V of Model Based Software
Ganesh Pai, Joanne Bechta-Dugan and Khalid Lateef
The 17th IEEE International Symposium on Software Reliability Engineering: Fast Abstracts (ISSRE 2006)
Raleigh, North Carolina, USA, November 6-10 2006
Abstract
Iterative model-based development (MBD) is increasingly being adopted for developing complex software systems and embedded system software. In contrast with the traditional waterfall life cycle, iterations in MBD span up to a few weeks, rather than months. It is important for the independent verification and validation team to provide swift feedback to positively influence software development. However, the increased frequency in MBD artifact delivery poses new challenges for planning and executing traditional IV&V. We present a goal-based approach that IV&V practitioners can use to systematically respond to these challenges. We also present preliminary results from the application of this approach to the software module of a large scale aerospace system.