IEEE Design & Test of Computers · 2007 · 86 citations · 0 references
EngineeringVerificationComputer-aided VerificationTechnology AssessmentVerification And ValidationModel VerificationFormal VerificationPostsilicon ValidationIndustry Validation HingesValidation WallManagementTechnology TransferReliabilitySoftware ValidationData ValidationAutomated ReasoningSoftware TestingTechnologyRadical Transformation
Universities focus on building rather than breaking, leaving a skills gap in industry validation that is costly and only noticed when failures occur. The paper argues that a radical transformation is required to overcome key validation challenges and improve effectiveness.
Traditionally, universities teach how to make or build things but not so much how to "break" things or find, patch, or prevent breaks. However, much of industry validation hinges on the latter skills. Validation is something that does not get noticed when done well, but everyone notices when something goes wrong - such as the infamous Pentium floating-point division bug. Major semiconductor companies experience postsilicon validation turning into a very expensive, time-consuming proposition, yet very few college graduates are formally trained in the area. Validation is the activity of ensuring a product satisfies its reference specifications, runs with relevant software and hardware, and meets user expectations. Here, I discuss some of the key challenges to successful validation and show why a radical transformation is necessary if validation is to be effective in the near future.