The problems of certification procedure of the software of automated systems of monitoring

Authors

  • І.Е. Райчев Інститут інформатики НАУ

DOI:

https://doi.org/10.18372/2306-1472.19.968

Abstract

 In the article the problems of construction of a procedure of certification of a software of automated systems of monitoring are considered, as one from classes of the critical program systems, for which the certification of the correspondence is a mandatory procedure. The methods of formalization of a procedure of shaping of criterions of quality are developed and the generalized model of quality of a software is constructed. The creation of such methods and means enables to increase efficiency and quality of tests, that is why reduces labour input of this operation and increases reliability of outcomes of certification of the correspondence.

Author Biography

І.Е. Райчев, Інститут інформатики НАУ

(1955) закінчив Київський державний університет (1982). Асистент кафедри комп’ютерних інформаційних технологій Інституту інформатики Національного авіаційного університету. Напрям наукової діяльності – комп’ютерні системи сертифікації програмного забезпечення, операційні системи, мови програмування. Автор 20 наукових праць.

References

ДСТУ 2462–94. Сертифікація. Основні поняття. Терміни та визначення. – Чинний від 01.01.95. – К.: Дежстандарт України, 1994. – 27 с.

ДСТУ 2850–94. Програмні засоби ЕОМ. Показ-ники та методи оцінювання якості. – Чинний від 01.01.96. – К.: Дежстандарт України, 1994. – 20 с.

ДСТУ 2853–94. Програмні засоби ЕОМ. Підготовлення і проведення випробувань. – Чинний від 01.01.96. – К.: Дежстандарт України, 1994. –17 с.

ДСТУ ISO 9001-2001. Системи управління якіс-тю. Вимоги. (ISO 9001:2000). – Чинний від 27.06.01. – К.: Дежстандарт України, 2001. –23 с.

ISO/IEC 9126. Information Technology – Software product evaluation. – Quality characteristics and guidelines for their use, 1991. – 14 p.

ISO/IEC 14598-1. Information Technology – Software product evaluation. – P. 1. General overview, 1999. – 20 p.

ISO/IEC 9126-1. Software engineering – Product quality. – P. 1. Quality model, 2001. – 26 p.

ISO/IEC TR 9126-2. Software engineering – Product quality. – P. 2. External metrics, 2003. – 86 p.

ДСТУ 3275–95. Системи автоматизованого оброблення польотної інформації наземні. Загальні вимоги. – К.: Дежстандарт України, 1996. – 7с.

Грабовский М. Современные технологии и стандарты разработки программного обеспечения // Корпоративные системы. – 2000. – № 1. –С. 75–80.

Калянов Г.Н. CASE-технологии. Консалтинг в автоматизации бизнес-процессов. – М.: Горячая линия–Телеком, 2000. – 320 с.

Воас Д. Процесс сертификации программ на базе информации об их использовании // Открытые системы. – 2000. – № 10. – С. 21-23.

Соммервилл И. Инженерия программного обеспечения / Пер. с англ. – М.: Издательский дом “Вильямс”, 2002. – 624 с.

Бабенко Л.П., Лаврищева К.М. Основи прог-рамної інженерії: Навч. посіб. – К.: Т-во “Знання”, КОО, 2001. – 269 с.

Андон Ф.И., Коваль Г.И., Коротун Т.М., Суслов В.Ю. Основы инженерии качества програм-мных систем. – К.: Академпериодика, 2002. – 504 с.

Published

10-07-2012

How to Cite

Райчев, І. (2012). The problems of certification procedure of the software of automated systems of monitoring. Proceedings of National Aviation University, 19(1), 23–28. https://doi.org/10.18372/2306-1472.19.968

Issue

Section

INFORMATION TECHNOLOGY