Лекции по предмету «Программное обеспечение информационно-измерительных процессов» для студентов специальности 5B071600 «Приборостроение»
Характеристика компьютерной технологии программирования
жүктеу/скачать 0,67 Mb.
|
Конспект лекции-ПО ИИП 2014Ru
| Характеристика компьютерной технологии программирования. В настоящее время компьютерную технологию программирования можно характеризовать использованием:
программной поддержки для разработки графических требований и графических спецификаций ПС; автоматической генерации программ на каком-либо языке программирования или в машинном коде (частично или полностью); программной поддержки прототипирования. Компьютерная технология программирования является «безбумажной», т. е. рассчитанной на компьютерное представление программных документов. Однако уверенно отличить ручную технологию разработки ПС от компьютерной по этим признакам довольно трудно. Главное отличие ручной технологии программирования от компьютерной заключается в следующем. Ручная технология ориентирована на разработку документов, одинаково понимаемых разными разработчиками ПС, тогда как компьютерная технология ориентирована на обеспечение семантического понимания (интерпретации) документов программной поддержкой компьютерной технологии. Семантическое понимание документов даёт программной поддержке возможность автоматически генерировать программы. В связи с этим существенной частью компьютерной технологии становится использование формальных языков уже на ранних этапах разработки ПС, как для спецификации программ, так и для спецификации других документов. Например, широко используются формальные графические языки спецификаций. Именно это позволяет рационально изменить и саму совокупность технологических процессов разработки и сопровождения ПС. Из этого можно определить компьютерную технологию программирования как технологию программирования, в которой используются программные инструменты для разработки формализованных спецификаций программ и дру-гих документов (включая и графические спецификации) с последующей автоматической генерацией значительной части программ и документов по этим спецификациям. Теперь вместо ручного программирования (кодирования) осуществляется в значительной степени автоматическая генерация программ, что во многих случаях делает не нужной автономную отладку и тестирование программ: вместо неё добавляется достаточно глубокий автоматический семантический контроль документации. Появляется возможность автоматической генерации тестов по формальным спецификациям для комплексной (системной) отладки ПС. Существенно изменяется и характер сопровождения ПС, все изменения разработчиком-сопроводителем вносятся только в спецификации (включая и прототип), остальные изменения в ПС осуществляются автоматически. С учётом сказанного жизненный цикла ПС для компьютерной технологии можно представить схемой, приведенной на рис. ниже. жүктеу/скачать 0,67 Mb. Достарыңызбен бөлісу:
|