Универсальный язык спецификации испытаний

Универсальный язык спецификации тестов ( UTSL ) — это язык программирования, используемый для описания тестов ASIC в формате, который приводит к автоматическому переводу спецификации теста в исполняемый тестовый код. UTSL не зависит от платформы, и при наличии интерфейса генерации кода для конкретной платформы код UTSL можно перевести на язык программирования конкретного автоматического испытательного оборудования (ATE).

История

Повышенная сложность ASIC приводит к необходимости использования более сложных программ тестирования с более длительным временем разработки. Автоматизированное создание программы тестирования могло бы упростить и ускорить этот процесс. Teradyne Inc. совместно с Robert Bosch GmbH договорились разработать концепцию и набор инструментов для автоматического создания тестовых программ. ^[1]^[2]^[3] Для этого требовался независимый от тестера язык программирования. Поэтому был разработан UTSL, язык программирования, который позволяет подробно описывать тесты, которые можно перевести на специальный язык программирования ATE. Производителям ATE необходимо предоставить генератор тестовых программ, который использует описание теста UTSL в качестве входных данных и генерирует специальный тестовый код ATE с оптимальным сопоставлением ресурсов и программным кодом, отвечающим лучшим практикам. ^[4]^[5]^[6]

Если производитель АТЕ предоставляет генератор тестовых программ, который может использовать UTSL в качестве входных данных, трудоемкая задача перевода тестовой программы с одной платформы на другую может быть значительно упрощена. Другими словами, задача переписывания тестовых программ для конкретной платформы может быть заменена автоматической генерацией кода из спецификации теста на основе UTSL. Предпосылкой для этого является то, чтобы описание тестов UTSL было достаточно подробным с определением методики тестирования, а также описанием всех необходимых входов и выходов. ^[4]^[5]^[6]

тестирование ASIC . Будучи платформо-независимым языком программирования, UTSL позволяет инженерам читать, анализировать и изменять тесты в спецификации теста независимо от ATE, на котором будет проводиться UTSL основан на C#, допускает процедурное программирование и ориентирован на классы. Классы содержат подклассы, которые в терминах имеют свои подклассы. ^[7]

UTSL содержит большое количество команд и тестовых функций. Он также позволяет использовать общеизвестные элементы синтаксиса языка программирования высокого уровня, такие как « if/then/else » и т. д. ^[4]

Дизайн

UTSL — это язык, похожий на C#, в котором тесты определяются как блоки кода. Простые тесты, такие как подача тока и измерение напряжения или наоборот, могут быть написаны в UTSL и с помощью специального генератора кода ATE ( автоматического испытательного оборудования ) преобразованы в тестируемый код ( см. рисунок 1 ).

UTSL позволяет пользователю устанавливать диапазоны и зажимы приборов, чтобы гарантировать точность измерений и не допускать превышения измерений значениями зажимов прибора. Текущие возможности UTSL могут покрыть около 70% необходимой тестовой спецификации для тестирования ASIC . Для оставшихся 30% можно было бы использовать возможность написания комментариев в неформальной форме, как это делалось раньше. ^[4]

UTSL поддерживает такие языковые функции, как: ^[8]

  Flow control - "if/then/else, select/case" 
  Loops - "for, while, for each" 
  Data types - "int, double, bool, string" 
  Numerical operators - "=, +, -, *, /, %, **, --, &, |, <<, >>" 
  Logical operators - "==, <, >, >=, <=, !=, ^" 
  Arrays - "declare, resize, and [] operator"

Кроме того, были добавлены специализированные классы для тестирования:

  Pin and PinList classes - "for the test board specifics" 
  TestEnvironment class - "wafer level vs final testing" 
  SerialPort and SerialDataFrame classes - "for device serial communications" 
  Evaluate class - "data-logs the results and compares the results to the defined limits"

UTSL также поддерживает единицы измерения и шкалы везде, где используются числа с плавающей запятой. Это важно для языка, описывающего тестовую программу, где значения могут быть возвращены как « В , мВ , мкВ , А , мА , мкА » и т. д. ^[1]

более сложные тесты, такие как последовательная связь с ASIC Кроме того , с использованием UTSL можно реализовать , требующие записи и/или чтения в регистр и из него. В приведенном ниже примере показан тест, в котором определенный код настройки записывается в регистр, и на основе кода настройки внутренний регулятор увеличивает напряжение, которое считывается обратно ( см. рисунок 2 ).

Кроме того, UTSL позволяет пользователю определять состояние прибора, т.е. подключено к контакту или отключено от контакта.

Ссылки

^ Jump up to: ^а ^б А. Драппа, Дж. Воллмар и П. Хубер, «Генерация автоматических тестовых программ для автомобильных устройств», Международная конференция по тестированию (ITC), Остин, Техас, США, 2010 г., документ 17.1.
^ «Автоматическое создание тестовых программ для автомобильных устройств - Публикация конференции IEEE». дои : 10.1109/TEST.2010.5699253 . S2CID 21650481 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ А. Драппа, П. Хубер и Дж. Воллмар, «Генерация автоматических тестовых программ для автомобильных устройств», 23-й семинар GI/GMM/ITG, Университет Пассау, 2011 г., стр. 81.
^ Jump up to: ^а ^б ^с ^д Р. Бауманн, Н. Небель, «Автоматическое создание тестовых программ при ежедневном использовании», 27-й семинар GI/GMM/ITG, Бад-Урах, 2015 г., стр. 59.
^ Jump up to: ^а ^б Р. Бауманн и Н. Небель, «Генерация автоматических тестовых программ для автомобильных устройств», Конференция группы пользователей Teradyne (TUG), Форт-Уэрт, Техас, 2013 г.
^ Jump up to: ^а ^б Р. Бауманн и Н. Небель, «Интеграция создания автоматизированных тестовых программ в ваш ежедневный рабочий процесс экономит время», Конференция группы пользователей Teradyne (TUG), Анахайм, Калифорния, 2014 г.
^ «Универсальный язык спецификации испытаний UTSL» (PDF) . Vde.com . Проверено 8 июня 2018 г.
^ «UTSL — универсальный язык спецификации тестов» . Vde.com . Проверено 8 июня 2018 г.

[ATE_Generation-1] Jump up to: ^а ^б А. Драппа, Дж. Воллмар и П. Хубер, «Генерация автоматических тестовых программ для автомобильных устройств», Международная конференция по тестированию (ITC), Остин, Техас, США, 2010 г., документ 17.1.

[2] «Автоматическое создание тестовых программ для автомобильных устройств - Публикация конференции IEEE». дои : 10.1109/TEST.2010.5699253 . S2CID 21650481 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[3] А. Драппа, П. Хубер и Дж. Воллмар, «Генерация автоматических тестовых программ для автомобильных устройств», 23-й семинар GI/GMM/ITG, Университет Пассау, 2011 г., стр. 81.

[UTSL-4] Jump up to: ^а ^б ^с ^д Р. Бауманн, Н. Небель, «Автоматическое создание тестовых программ при ежедневном использовании», 27-й семинар GI/GMM/ITG, Бад-Урах, 2015 г., стр. 59.

[UTSL1-5] Jump up to: ^а ^б Р. Бауманн и Н. Небель, «Генерация автоматических тестовых программ для автомобильных устройств», Конференция группы пользователей Teradyne (TUG), Форт-Уэрт, Техас, 2013 г.

[UTSL2-6] Jump up to: ^а ^б Р. Бауманн и Н. Небель, «Интеграция создания автоматизированных тестовых программ в ваш ежедневный рабочий процесс экономит время», Конференция группы пользователей Teradyne (TUG), Анахайм, Калифорния, 2014 г.

[7] «Универсальный язык спецификации испытаний UTSL» (PDF) . Vde.com . Проверено 8 июня 2018 г.

[8] «UTSL — универсальный язык спецификации тестов» . Vde.com . Проверено 8 июня 2018 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]