Article

Article title ANALYSIS OF BASIC SOFTWARE RELIABILITY CONTROLE PROCESSES FOR SPECIAL PURPOSE COMPUTER SYSTEMS
Authors V.A. Baliberdin, A.M. Belevtsev, O.A. Stepanov
Section SECTION I. ARCHITECTURE, MODELS AND TOOLS FOR INFORMATION SYSTEMS
Month, Year 03, 2015 @en
Index UDC 681.142
DOI
Abstract Basic processes and procedures to ensure software reliability being the subject matter of soft-ware quality are analysed. The basic processes to ensure software reliability are treated taking into account their contribution into total reliability of software being produced. It is pointed out that the most expensive software defects are those found in the course of software exploitation. Now an imported problem of software correctness control in the course of its development follows. Such actions may be initiated during all the stages of software development. A basic diagram and the major structure of the processes involved are discussed. Much consideration is received to software dynamic testing including “black box” and “white box” testing. A variety of techniques for testing organizations for each the strategies covered are analyzed in short. The main strengths and weaknesses are noted out. Some recommendations for these methods applications are given. In software demonstration processes some subprocesses are stood out such as software prototype, user version and mock-up. Verbal characteristics of each the processes are given. The distinctions between the processes lay with the level of basic requirements for software. Some recommendations for using these procedures to increase the software reliability are given. It is stressed in draw that during the reliable software development processing much considerations should be paid to promoting the techniques for each reliable software development stage, In view of the fact that the cost of removing these defects later is high.

Download PDF

Keywords Software; reliability; software testing; verification; validation.
References 1. Балыбердин В.А., Белевцев А.М., Степанов О.А. Вопросы оценки и обеспечения надёжности программных средств АСУ специального назначения // Известия ЮФУ. Технические науки. – 2014. – № 5 (154). – С. 115-120.
2. Кулямин В.В. Методы верификации программного обеспечения. – М.: ИСП РАН, 2008. – 117 с.
3. Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. – М.: МИФИ (ГУ), 2006. – 157 с.
4. Степанченко И.В. Методы тестирования программного обеспечения. – Волгоград: РПК «Политехник», 2006. – 77 с.
5. Майерс Г. Искусство тестирования программ: Пер. с англ. / Под ред. Б.А. Позина. – М.: Финансы и статистика, 1982. – 176 с.
6. Майерс Г. Надёжность программного обеспечения: Пер. с англ. / Под ред. В.Ш. Кауфмана. – М.: Мир, 1980. –360 с.
7. ISO/IEC 29119-1. Systems and Software Engineering. – Part 1: Concepts and Definitions. – 2012.
8. ISO/IEC 25010. Systems and Software Engineering. – Systems and Software Quality Requirements and Evaluation. – 2010.
9. Липаев В.В. Надёжность программных средств. – М.: Синтег, 1998. – 222 с.
10. Полонников Р.И., Никандров А.В. Методы оценки показателей надёжности программного обеспечения. – СПб.: Политехника, 1992. – 78 с.
11. Штрик А.А., Осовецкий Л.В., Мессих И.Г. Структурное проектирование надёжных программ встроенных ЭВМ. – Л.: Машиностроение, 1989. – 296 с.
12. Холстед М.Х. Начала науки о программах: Пер. с англ. В.М. Юфы. – М.: Финансы и статистика, 1981. – 128 с.
13. Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. – М.: Синтег, 2006. – 260 с.
14. Василенко Н.В., Макаров В.А. Модели оценки надёжности программного обеспечения // Вестник Новгородского государственного университета. – 2004. – № 28. – C. 126-132.
15. Степанов О.А., Шумило Д.А. Метод оценки программных средств АСУВ по результатам тестирования // Материалы всероссийской конференции «Современные тенденции развития теории и практики управления в системах специального назначения». – М.: Системпром, 2014. – С. 11-14.
16. Балыбердин В.А., Белевцев А.А., Степанов О.А. Об оценке компонентов информационного и лингвистического обеспечения АСУ // Известия ЮФУ, Технические науки. – 2013. – № 5 (142). – С. 34-40.
17. Балыбердин В.А., Степанов О.А. Шумило Д.А. К оценке надёжности программных средств АСУВ // Актуальные проблемы защиты и безопасности // Труды 14-й Всероссийской научно-практической конференции. Вооружение и военная техника. Т. 1.
– СПб., 2011. – С. 603-608.
18. Балыбердин В.А., Пенкин О.М., Полунин А.И. Проблемные вопросы создания и внедрения новых информационных технологий в автоматизированных системах военного назначения. – М.: СВТП РИА, 2001. – 144 с.
19. Балыбердин В.А., Зубарев И.В., Панов В.В., Степанов О.А. Прикладные аспекты автоматизации управления войсками и оружием в современных условиях. – М.: 3 ЦНИИ МО РФ, 2013. – 240 с.
20. Липаев В.В. Надёжность и функциональная безопасность комплексов программ реального времени. – М.: ИСП РАН, 2013. – 176 с. 21. Липаев В.В. Функциональная безопасность программных средств. – М.: СИНТЕГ, 2004. – 348 с.
22. Жоголев Е.А. Технология программирования. – М.: Научный мир, 2004. – 216 с.
23. Kauffels F.-J. Practical LANs analised. – N.Y.-Toronto: Ellis Horwood Limited, 1989. – 334 p.
24. Gorner birgit. Novell Netware. – Munchen: Markt&Technic AG, 1990. – 260 p.

Comments are closed.