Formalized procedures of software reliability models analysis and synthesis
Vyacheslav Serhiiovych Kharchenko, Olga Tarasyuk · 2004
Formalized procedures of software growth reliability models (SRGM) systematization, verification, choice and synthesis are proposed. These procedures are based on an analysis of assumptions matrix (AM) which is a Boolean matrix, connecting SRGM hierarchy and assumptions, taking into account features of software. Results of the practical application of this technique and tools are given.