• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Принципы разработки компонента системы SDVRP для проверки свойств безопасности ПО микроконтроллера ARM

С. 112-128.

Вопрос корректности программного обеспечения является одним из непреходящих в области информационных технологий. Обычно под корректностью программы подразумевают соответствие рассматриваемой программы  некоторой определенным образом заданной спецификации. Обычно спецификация явно определяет, что должна делать эта система, не касаясь вопроса, каким образом. Проблема тестирования и верификации программно-аппаратных комплексов неоднократно поднималась в научных работах. Данная работа посвящена вопросам верификации ПО микроконтроллерной (МК) системы на платформе SDVRP. Целью работы являются методики выявления правил, составляющих модель верификации, и адаптация SDVRP для специфических условий разработки ПО для МК.