Inspection of a computer program controlling a weapons system shows 54 "if" statements (23 with "else" clauses), 4 "switch" statements (with 5, 7, 4, and 8 "cases"), and 17 "for" or "while" loops with parameterized looping boundaries. How would you exhaustively test such a program to prove its safety?
Assume you have just created a program to schedule taxicabs in real time. You're sure that your approach is entirely new and much better than anything else available. Every taxi company in the world is going to want your software. Explain how you would best protect your work-patent? copyright? secret?