Home Computer Audio Asylum

Music servers and other computer based digital audio technologies.

RE: Nope!, Never had that problem .......................

It was the first thing we were taught in CompSci 101 that you can't prove any program is correct.

I worked in business IT and one year the managers were on the kick of zero defect software because that came out of an industry that needed it. We didn't, we were just doing accounting SW even though other parts of the company did. Anyway, they brought in this testing software that we were supposed to use, and I was sent to an internal class in its use. I stated at the very beginning that this software can't possibly work, that it was a mathematical impossibility. I was known to be a PITA, too wonky considering what we worked on. But I just worked with it during the class, wrote out some test scripts, just went with the flow. After doing an exercise I was looking at a colleague's results because they were puzzling. It ran the test of the program in question, got a greenlight result, but yet I could see that it didn't work. The problem? The test script that was supposed to prove that the underlying program worked itself had a bug. Who tested the test? I knew that most people that I worked with had business backgrounds and didn't understand a test script was just another program. And with that I left the class and reported to my boss that this was impossible. I think they bought the software but nobody used it as it was just as difficult to write the test script as to write the program you were going to test, and as I had proved it didn't guarantee success anyway. There was a second piece to the package though that was useful call LoadRunner. It would simulate x number of people going at server software simultaneously using the same type of scripts.

If you change the word "script" above to program, the entire paragraph becomes garbled. Why? Because then you see that a program testing a program needs to have a way to test the program testing the program, ad infinitum but you can't be specific. Our English teachers liked us to be specific.



Edits: 09/30/20 09/30/20

This post is made possible by the generous support of people like you and our sponsors:
  Kimber Kable  


Follow Ups Full Thread
Follow Ups

FAQ

Post a Message!

Forgot Password?
Moniker (Username):
Password (Optional):
  Remember my Moniker & Password  (What's this?)    Eat Me
E-Mail (Optional):
Subject:
Message:   (Posts are subject to Content Rules)
Optional Link URL:
Optional Link Title:
Optional Image URL:
Upload Image:
E-mail Replies:  Automagically notify you when someone responds.