Язык определения утверждений - Assertion definition language
В Язык определения утверждений (ADL) это язык спецификации обеспечение формальной грамматики для определения поведения и интерфейсов для компьютера программного обеспечения.[1] ADL использует функцию предварительно и постусловия для определения интерфейсов и призван служить посредником между неформальными спецификациями английского языка и формальными программными спецификациями тестов. Инструментальная поддержка существует как для преобразования спецификаций ADL в естественный язык, так и для создания тестовых систем, по которым можно проверить код реализации.[1]
ADL разрабатывается совместно Открытая группа и SunTest из Sun Microsystems [2]
Смотрите также
Рекомендации
- ^ а б «Архивная копия». Архивировано из оригинал на 2016-04-06. Получено 2016-10-18.CS1 maint: заархивированная копия как заголовок (связь)
- ^ «Архивная копия». Архивировано из оригинал в 2016-10-19. Получено 2016-10-18.CS1 maint: заархивированная копия как заголовок (связь)
внешняя ссылка
 | Эта статья нужны дополнительные цитаты для проверка. (Январь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | Этот язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |