The software independent verification and validation (IV&V) is essential, especially in the development of aerospace systems, to improve safety and reliability and to prevent system problems. We have to be able to estimate IV&V's effectiveness in order to execute IV&V effectively and efficiently.In order to get the ideas of a new measurement of IV&V's effectiveness, the three existing criteria for IV&V's effectiveness is investigated and applied to some actual IV&V findings. By analyzing the advantages and disadvantages of the criteria, we try to clarify how to define a new improved one. Because the findings about various softwares are applied and two engineers measure the effectiveness independently, the applicability to various findings and the dependency of user are also clarified. Based on the trial measurements, the ideas for a more dependable new measurement is summarized. Considering these ideas and analyzing the purpose of the IV&V, new criteria and process of the measurement will be defined.
[1]
Masafumi Katahira,et al.
Application of hierarchical accident model in independent verification and validation
,
2010,
2010 IEEE Aerospace Conference.
[2]
Ieee Std,et al.
IEEE Standard for Software Verification and Validation
,
2008
.
[3]
Victor R. Basili,et al.
Determining the Impact of Business Strategies Using Principles from Goal-oriented Measurement
,
2009,
Wirtschaftsinformatik.
[4]
Darius Karkaria.
Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review)
,
1993,
Softw. Test. Verification Reliab..
[5]
Daniel Port,et al.
Comparing Model Generated with Expert Generated IV&V Activity Plans
,
2007,
First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007).