Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://er.nau.edu.ua/handle/NAU/29382
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Райчев, Ігор Едуардович | - |
dc.contributor.author | Харченко, Олександр Григорович | - |
dc.date.accessioned | 2017-06-15T09:13:27Z | - |
dc.date.available | 2017-06-15T09:13:27Z | - |
dc.date.issued | 2006-11-18 | - |
dc.identifier.citation | Одним із дієвих засобів забезпечення відповідності властивостей програмної системи (ПС) заявленим в документації є проведення її сертифікації [1, 2]. Під сертифікацією розуміють дії незалежного органу по доведенню відповідності продукції вимогам конкретного стандарту або іншого нормативного документу. Вимоги до якості ПС, відповідність яким перевіряється, викладені в документації на ПС. Оскільки вимоги формулюються й корегуються на всіх етапах життєвого циклу ПС за участю замовників, користувачів, розробників, спеціалістів супроводу, то це призводить до некоректностей, протитіч та колізій, котрі викликані різним тлумаченням змісту вимог, змішуванням функціональних та нефункціональних вимог, тощо. Для вирішення цих проблем було розроблено стандарт на формулювання вимог IEEE 830–1993, а також зроблені спроби розробити формалізовану класифікацію вимог [3]. | uk_UA |
dc.identifier.uri | http://er.nau.edu.ua/handle/NAU/29382 | - |
dc.description.abstract | In the article the questions of concept formulation of construction of the certified quality model of program systems, for which a certification of correspondence is a mandatory procedure, are considered. Methods of requirements formalization and construction of quality model are developed. Creation of these methods allow to increase efficiency of tests, that reduces labour input of certification and raises reliability of her results | uk_UA |
dc.language.iso | uk | uk_UA |
dc.publisher | Інститут проблем моделювання в енергетиці: зб. наук. пр. –К.: ІПМЕ, 2006. – Вип. 37. – С.21–28. | uk_UA |
dc.subject | застосування моделей якості, сертифікація програмних систем | uk_UA |
dc.title | Застосування моделей якості при сертифікації програмних систем | uk_UA |
dc.title.alternative | The use of quality models during the certification of software systems | uk_UA |
dc.type | Article | uk_UA |
dc.speciality | УДК 004.4:006.015.5 | uk_UA |
Розташовується у зібраннях: | Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Статья_ИПМ_2.doc | Застосування моделей якості при сертифікації програмніх систем | 152.5 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.