ESTIMATING OF CRITICAL SOFTWARE LATENT FAULTS PRESENCE WITH REQUIRED TRUSTWORTHINESS
Boris Konorev, Vladimir Sergiienko, Vyacheslav Serhiiovych Kharchenko, Grygoriy Zholtkevych, Karazin Kharkiv · Reliability: Theory & Applications · 2014
The estimation of latent faults probability is a key indicator for quantitative assessment of critical systems reliability and safety. The article presents the method of latent faults probability estimating for critical software with a required (controlled) trustworthiness. Compositional set-theoretical model of residual and latent faults is proposed for framework assessment of latent faults. The procedure of the experimental calibration of faults sensitivity and diversity degree of inspection methods of source software faultlessness is presented. The dotted injections method using faults profile for the level of programming languages is proposed.