Використання середовища ІMB Rational Rhapsody Developer для розробки програмного забезпечення відповідно до вимог
Вантажиться...
Файли
Дата
2012
Автори
Поморова, О.В.
Парфенов, С.О.
Назва журналу
Номер ISSN
Назва тому
Видавець
Хмельницький національний університет
Анотація
У статті описується процес розробки моделі програмного забезпечення у середовищі IBM Rational
Rhapsody Developer відповідно до поставлених вимог, тестування моделі на відповідність вимогам та верифікація
автоматично згенерованого коду засобами Understand Source Code Analysis and Metrics та PVS-Studio.
This article describes the process of software model development using IBM Rational Rhapsody Developer according to requirements, model testing for requirements compliance and automatically generated code verification using Understand Source Code Analysis and Metrics and PVS-Studio.
This article describes the process of software model development using IBM Rational Rhapsody Developer according to requirements, model testing for requirements compliance and automatically generated code verification using Understand Source Code Analysis and Metrics and PVS-Studio.
Опис
Ключові слова
моделювання, вимоги, верифікація, тестування на відповідність вимогам
Бібліографічний опис
Поморова, О. В. Використання середовища ІMB Rational Rhapsody Developer для розробки програмного забезпечення відповідно до вимог [Текст] / О. В. Поморова, С. О. Парфенов, О. О. Ілляшенко // Вісник Хмельницького національного університету. Технічні науки. – 2012. – № 2. – С. 142-148.