Metrics in Software Verification and Validation: Some Research Challenges

by A. Fantechi, 

Complex software applications control critical safety domains, such as transportation. This raises increasing concerns about the ability of software development, verification and validation processes to avoid the presence of faults in such applications.  How to measure this is a matter of debate.  Theory and practice tell us that perfect, complex software does not exist.  An account of currently applied techniques and of open research challenges will be given.

Download Presentation