NOTE: Correct answer in your own wordings is also accepted.

Answer:

Q1

The technique used in this scenario is FAULT/FAILURE FORECASTING. The reason for using this technique
and the relevant details are given below:

Reliability Prediction

Determines future software reliability

Different techniques, depending on software development stage

Q2

1) Software Testing :

Difficulties : cost and complexity of exhaustive testing using all possible input sets can show the
presence, but not the absence of faults

2) Formal Inspection :

Has been widely implemented in industry

Focuses on : examining source code to find faults correcting the faults verifying the corrections prior to
the testing phase

3) Formal Design Proofs :

Closely related to formal methods attempts to achieve mathematical proof of correctness for programs

costly and complex technique