ТЕГ БЛОКА "Наука"

• 
  01.07.2013 18:38

  Применение объектно-ориентированного подхода в регрессионном тестировании компиляторов

  Освещаются некоторые аспекты применения объектно-ориентированного подхода к разработке системы регрессионного тестирования компиляторов на ВК серий «Эльбрус-3m» и «МЦСТ-R». Излагаются особенности регрессионного контроля качества компиляторов на проекте. Рассматриваются архитектура системы автоматизированного тестирования и специфика моделей основных функциональных компонент, приводятся сведения о программной реализации продукта.

  
  
• 
  01.07.2013 17:19

  Применимость инcтрумента Spin к верификации протоколов когерентности памяти

  Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы метода, к верификации протоколов когерентности памяти. Анализируются основные процедуры и оптимизации Spin.

  
  
• 
  27.06.2013 15:57

  Подходы к разработке человеко-машинного интерфейса контроля и управления прикладными программами

  Рассматриваются подходы к созданию человеко-машинного интерфейса в среде разработки Beremiz для управления прикладными программами, исполняемыми на программируемых логических контроллерах с отечественными микропроцессорами SPARC и «Эльбрус» в области АСУТП.