ПРОБЛЕМИ СЕРТИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗОВАНИХ СИСТЕМ КОНТРОЛЮ
DOI:
https://doi.org/10.18372/2306-1472.19.968Анотація
Розглянуто питання побудови процедури сертифікації програмного забезпечення автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов’язковою. Розроблено методи формалізації процедури формування критеріїв якос-ті та побудовано узагальнену модель якості програмного забезпечення. Створення таких методів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності.Посилання
ДСТУ 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 с.
Downloads
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Автори, які публікуються у цьому журналі, погоджуються з такими умовами:- Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
- Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
- Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
