Software Verification

This morning I stumbled across a job advertisement for a “Software Verification Engineer”. In my opinion it is high time that verification spreads and that our industry takes a more responsible approach towards its artifacts, so I was curious to find out which company was advertising.

Unfortunately, the advertisement was a complete disappointment and it only underlined just how miserable a state our profession is in: the “Software Verification Engineer” turned out to be a “Software Tester”. Before you misread this as disrespect for software testers: I fully appreciate the value of the work of software testers…. Only, it is not verification!

Edsger W. Dijkstra’s “Program testing can best show the presence of errors but never their absence.” is folklore. Yet not only do we see job advertisements like the one that made me start this post, even the Wikipedia entry on “software verification” mentions testing as an approach to verification.

The only way to verify software is to rigorously prove that it fulfills its specification.

Advertisements

1 Response to “Software Verification”


  1. 1 please click the following article January 12, 2013 at 11:55 am

    Just desire to say your article is as astounding.
    The clarity in your publish is simply excellent and i can assume you’re an expert in this subject. Well along with your permission let me to grab your RSS feed to stay up to date with imminent post. Thanks a million and please keep up the rewarding work.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s





%d bloggers like this: