Исходной информацией при создании формальных моделей являются требования. Хорошо бы эти требования иметь под рукой в Eclipse. В этом случае их можно легко просматривать, а также выполнять трассировку от элементов моделей к требованиям.
Для обмена требованиями между различными инструментами управления требованиями существует формат ReqIf, который поддерживают все современные инструменты реализующие функционал управления требованиями.
В Eclipse есть плагин для просмотра/редактирования требований в формате ReqIF.
Он называется Eclipse RMF
После установки плагина Eclipse RMF, в Eclipse появляются следующие возможности по работе с файлами в формате ReqIf:
- Иерархический редактор для спецификаций требований в формате ReqIF
- Специализированный редактор для спецификаций требований (аля Word)
Файлы в формате ReqIF с требованиями добавляются в проект Eclipse. Для примера доступны спефикации требований для RMF в формате ReqIF.
Вот так выглядит специализированный редактор требования в формате ReqIf (аля Word) в Eclipse
А вот так выглядит иерархический редактор (EMF) для файлов reqif
Между требованиями из разных спецификаций в формате ReqIf можно создавать различные трассировочные связи.
Видео по созданию требований с помощью RMF в Eclipse
Бесплатно доступен Handbook, который позволяет стартануть с RMF
http://formalmind.com/tools/handbook/
Не скажу, что RMF - полностью готовая технология работы с требованиями в Eclipse. Но RMF - хорошая для нее основа. Например, мне для полноценного использования не хватает в RMF возможности фильтрации требований в спецификации на основе значений атрибутов.
Комментариев нет:
Отправить комментарий