Спутниковая связь, промышленная автоматика, бытовая электроника, робототехника, медицина, охранные системы, устройства связи и обработки данных — это далеко не полный список областей, в которых широко применяются разнообразные цифровые электронные устройства.
Неотъемлемой частью производства и эксплуатации этих устройств является их тестирование на предмет физических дефектов, влияющих на корректность поведения устройства. На смену неэффективному из-за человеческого фактора ручному тестированию пришло тестированиеавтоматизированное, позволяющее не только значительно сократить время определения бракованных устройств, но и снизить стоимость исправления дефектов.
В условиях современной действительности наиболее перспективной технологией представляется функциональное тестирование, заключающееся в разработке программной модели, имитирующей поведение объекта контроля, и составлении последовательности тестовых воздействий, должным образом проверяющих исправность внутренних компонентов устройства. Такая последовательность составляется оператором на основе исследования внутренней структуры и алгоритмов работы элементов объекта контроля.
Ввиду многообразия и всевозрастающей сложности современных цифровых устройств, автоматизация процессов, присущих технологии функционального тестирования, является актуальной задачей на сегодняшний день.
В работе рассмотрены современные методы тестирования цифровых устройств и представлены этапы процесса разработки тест-программы в контексте методики функционального тестирования.
Разработана программа генерации последовательности тестовых воздействий, значительно сокращающая время составления тест-программ и предоставляющая информацию для локализации неисправностей. Полученная последовательность обладает полным тестовым покрытием цифрового модуля и удовлетворяет критерию полноты проверки функциональности элементов устройства, что подтверждается представленными результатами функционального моделирования объекта контроля.