Статьи и вопросы по тегу "валидация"

Доклад посвящен подходу к разработке комплексной системы управления с помощью модельно-ориентированного проектирования и подготовке к переходу на КТ-178 и Р-331

Авторы - Н.В. Богославский, В.М. Понятский, В.Г. Федорищева

Рассмотрена технология проверки разрабатываемой системы управления на ранней стадии проектирования c использованием инструментов MathWorks. Технология поддерживает реализацию подхода «от модели к программе» и включает процедуры создания связи модели с документом требований; проверку модели на соответствие стандартам моделирования; функциональное тестирование модели; анализ на покрытие модели тестами; проверку на ошибки проектирования; доказательство свойств модели и автоматическую генерацию тестов для 100%-ого покрытия модели.