The Logic of Verification

Michael Bolton


Software testing is sometimes described as “verification and validation” and according to Wikipedia, “the process of checking that a software system meets specifications and that it fulfills its intended purpose”. Yet, if we examine the concept and logic of verification, we quickly recognise that there are serious limitations to what can and cannot be checked and verified. This is not to say that checking is a bad thing. On the contrary; checking can be very valuable. Still, it’s important for testers and their clients to recognise the fundamental limitations of checking, and to address those limitations in our testing strategies.…....

You need to Register or to access the full content.

About Me!

Tester, consultant, and trainer Michael Bolton is the co-author (with James Bach) of Rapid Software Testing, a course that presents a methodology and mindset for testing software expertly in uncertain conditions and under extreme time pressure. Michael is a leader in the context-driven software testing movement with twenty years of experience testing, developing, managing, and writing about software. Currently, he leads DevelopSense, a Toronto-based consultancy. Prior to DevelopSense, Michael was with Quarterdeck Corporation. Michael’s home page is

Related posts

Similar Categories