Микропроцессорные системы. Архитектура и проектирование. Анкудинов И.Г. - 91 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

• тестирование.
Контроль корректности проекта на каждом этапе проектирования
осуществляется путем тестирования на основе модели объекта проектирования
соответствующего уровня абстрактного представления.
Контроль корректности особо необходим на этапе формализации
требований, поскольку формализация и моделирование целей проектирования
во многих случаях затруднительна.
Для анализа функциональной спецификации привлекается коллектив
экспертов или, если есть возможность, разрабатывается соответствующая
модель для проверки соответствия проекта целям проектирования.
После отработки функциональной спецификации приступают к созданию
функциональных тестовых программ, с помощью которых устанавливается
правильность функционирования системы в соответствии с требуемой
функциональной спецификацией.
Возможны два подхода к построению тестов:
• тесты, целиком основанные на функциональной спецификации и
дающие возможность проверки любой реализации системы;
• тесты строятся применительно к конкретной реализации системы.
Преимущество подхода к построению тестов для функциональной
проверки независимо от реализации состоит в том, что автоматизация
трудоемкого процесса по составлению тестовых программ позволяет
сгенерировать их сразу после формирования требований к системе. Это
сокращает продолжительность конструирования и отладки за счет получения
тестовых программ на этапе конструирования, а также позволяет
проектировщику изменять спецификации, не заботясь о переписывании всех
тестовых программ заново. Однако такой подход не имеет практического
значения из-за высокой степени общности, приводящей к чрезмерному объему
перебора при построении тестов.
На практике распространен подход, при котором тесты строятся
применительно к конкретной реализации системы. Такой подход оправдан
следующими соображениями:
• разработке тестов обычно присваивают более низкий приоритет по
сравнению с остальным проектом, поэтому тестовые программы появляются к
моменту создания прототипа системы;
• практически нецелесообразно запускать детально подготовленные
тесты на имитаторе, так как это требует больших затрат на разработку и прогон
программ моделирования.

Страницы