DocumentCode
2427311
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
fYear
2003
fDate
18-22 Feb. 2003
Firstpage
389
Lastpage
392
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CADSM.2003.1255099
Filename
1255099
Link To Document