Experience from Five years of DP Software Testing January 7, 2010 by Verification Testing Trials Oyvind Smogeli Marine Cybernetics