Тестирование цифровых систем, заданных высокоуровневыми спецификациями

Аппаратные и программные средства систем управления
Авторы:
Аннотация:

Рассмотрен комплекс средств верификации цифровых систем, включающий в себя набор методик синтеза тестов из спецификаций, заданных на языках высокого уровня, ориентированный на инструментальные средства, поддерживающие эти методики. Предложены способы синтеза тестов и встроенных средств тестирования, основанные на дополнительных правилах для UML диаграмм System C моделях.