Язык определения утверждений
Эта статья в значительной степени или полностью опирается на один источник . ( октябрь 2011 г. ) |
Язык определения утверждений ( ADL ) — это язык спецификаций, обеспечивающий поведение, основанное на логике предикатов , а также интерфейсы для компьютерного программного обеспечения . [1]
Поддержка английского языка
[ редактировать ]ADL использует предварительные и постусловия функций для определения интерфейсов и предназначен для обеспечения промежуточного звена между неформальными спецификациями английского языка и формальными спецификациями программного тестирования.
Существует инструментальная поддержка как для преобразования спецификаций ADL на английский язык, так и для создания тестовых систем, с помощью которых можно проверять код реализации. [2]
История
[ редактировать ]Этот раздел нуждается в дополнительных цитатах для проверки . ( январь 2017 г. ) |
ADL разработан совместно The Open Group и SunTest из Sun Microsystems. [3]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Питер Гутманн (2004). Архитектура криптографической безопасности: проектирование и проверка . Спрингер. п. 194. ИСБН 9780387953878 .
- ^ «Об АДЛ» . Архивировано из оригинала 6 апреля 2016 г. Проверено 18 октября 2016 г.
- ^ «История АДЛ» . Архивировано из оригинала 19 октября 2016 г. Проверено 18 октября 2016 г.