Застосування моделей якості при сертифікації програмних систем

Райчев, Ігор Едуардович; Харченко, Олександр Григорович

Please use this identifier to cite or link to this item: https://er.nau.edu.ua/handle/NAU/29382

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій

Files in This Item:

File	Description	Size	Format
Статья_ИПМ_2.doc	Застосування моделей якості при сертифікації програмніх систем	152.5 kB	Microsoft Word	View/Open

Show simple item record