Question

Choose one type of proof from the list below and explain how you might apply the same principles to help ensure that a piece of software meets desired specification and has fewer bugs. Be sure to reference software testing standards as well as the mathematical proof principles. proof by example or counter-example proof based on if-then and if and only if contingencies proof by contradiction proof using cases proof by induction

Answer 1

out of given options proof by induction is very easy
way of solving problem.

Because it consists just 3 steps .

first we need prove for f(1) is true.

second step is we need to assume that f(k) is true
where K belongs to R.

third step is need to prove that f(n) is true by using
above two steps. The above two steps are used to
simplify third step proof.

When it comes to testing a software , we can apply the
same things here.

so, when it comes to software, we need to test
individual part , that can be compared with step one of
mathematical induction. It is called unit testing in
software terms.

When we take a random piece of code, it should
match the required test cases. It is called module
testing in software organization . When we do module
individual module, we ensure that each functionality in
that module should work properly.

So, it is same as proving f(k) for given function.

Last one comes under testing and development
process . So, here we need to take help of previous
steps and use them in appropriate places. Like we
have used f(1) and f(k) in above steps , we have use
them in f(n). Similarly , we need to use previous test
cases in software delivery projects.