Title :
Formalized procedures of software reliability models analysis and synthesis
Author :
Kharchenko, Vyacheslav ; Tarasyuk, Olga
Author_Institution :
Comput. Syst. & Networks Dept., Nat. Aerosp. Univ., Kharkiv, Ukraine
Abstract :
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.
Keywords :
Boolean functions; formal specification; program verification; software reliability; Boolean matrix; SRGM; analysis of assumptions matrix; formalized reliability analysis procedures; software choice; software growth reliability models; software reliability models; software synthesis; systematization; verification; Application software; Economic forecasting; Maintenance; Mathematical model; Programming profession; Safety; Software design; Software reliability; Software testing; Spatial databases;
Conference_Titel :
CAD Systems in Microelectronics, 2003. CADSM 2003. Proceedings of the 7th International Conference. The Experience of Designing and Application of
Print_ISBN :
966-553-278-2
DOI :
10.1109/CADSM.2003.1255099
