Examples of software evaluation systems are Product Assurance Confidence Evaluator (TRW) , Program Evaluator and Tester ... Structural characteristics are identified and questionable constructs are pinpointed for further manual inspections. ... The loading effect of monitors should be justified for real-time systems.
|Title||:||Tutorial, software testing & validation techniques|
|Author||:||Edward Miller, William E. Howden|