Дата размещения :

Инструментальные средства, применяемые при разработке САПР. В среде, где разработка САПР является повседневной работой, для выполнения этой работы, вероятно, существуют специальное программное обеспечение, в том числе; средства спецификации; средства тестирования; средства документирования; прекомпиляторы и генераторы программ. В то время как документация формируется параллельно с процессом разработки, средства спецификации часто пригодны и для документации, хотя спецификации бывают (или должны быть) закончены до начала разработки САПР. Это утверждение, в частности, справедливо и для относительно неформальных методов, таких как ЗАБТ или РЗ/РБА. Такие системы находятся в промышленной эксплуатации. Продолжают быстро развиваться формальные методы спецификации, базирующиеся на абстрактных типах данных или на «трассах». Обзоры методов спецификации и планирования приведены в работах. Разработаны также специальные средства для тестирования. Прекомпиляторы обычно применяются для решения двух задач. Во-первых, они могут гарантировать непротиворечивость описаний данных в различных программах, предназначенных для работы с одними и теми же объектами.

С этой целью описания данных выбираются из базы данных и вставляются в программы (в простейшем случае включением текста описаний или расширений макросов). Во-вторых, прекомпиляторы позволяют программировать алгоритмы на языке, более удобном или просто более лаконичном, чем доступный язык программирования. Текст программы, написанной на языке высокого уровня, затем компилируется с получением текста для стандартного компилятора таких языков, как Фортран, ПЛ/1 и т. д.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *