ВУЗ:
Составители:
Рубрика:
В соответствии с “формулой” Н. Вирта [13] программу можно интерпретировать
как “Алгоритм + Структуры данных”. Визуальные формы представления алгоритмов
программ известны достаточно давно это Р-технология программирования
И. В. Вельбицкого [11], сети Петри [9], наконец, обычные блок-схемы можно считать в
определенном смысле графической формой задания алгоритма. Общим для
перечисленных выше способов представления алгоритмов является
использование
“языка” теории графов.
Одним из основных факторов повышения эффективности и надежности
программирования можно считать придание образности формам спецификации данных и
описания алгоритма. В этом смысле главный недостаток существующих технологий
программирования заключается в преимущественно текстовых формах представления
основных компонент программы, что делает программу невыразительной и чрезвычайно
затрудняет ее восприятие человеком
.
В настоящее время принципиально изменилась роль информационных технологий
в обществе. С одной стороны, программные продукты представляют собой достаточно
дорогостоящий товар. С другой стороны, ужесточились требования к качеству ПС,
поскольку последние широко используются в таких сферах деятельности человека,
которые традиционно относят к группе риска. Это аэрокосмические технологии,
энергетика, связь, бизнес и
т.д.
Современные информационные технологии играют исключительно важную роль в
интеллектуализации общества, позволяют активизировать и эффективно использовать
информационные ресурсы общества [5, 18]. Это приводит к необходимости создания
эффективных методов достижения заданного качества разрабатываемых ПС в условиях
ограниченности ресурсов, выделяемых на разработку.
Высокое качество ПС достигается либо методами безошибочного
программирования (“пассивными” методами), либо путем
выявления и устранения
ошибок (“активными” методами) [28, 33].
Современные методы безошибочного программирования основываются на
реализации процессов автоматизации всех этапов жизненного цикла ПС от
проектирования и кодирования программ до документирования и их сопровождения. К
таким средствам относятся: CASE-средства, объектно-ориенированное
программирование, методы логического программирования. Особое место занимают
методы визуального программирования, поскольку приближение формы
представления
программы и способов ее кодирования к образному способу мышления человека в
значительной степени сокращает число ошибок, допускаемых человеком при разработке
программ, и повышает надежность программирования.
Активные методы повышения надежности ПС совершенствуются за счет развития
средств автоматизации тестирования программ. Сложность ПС и высокие требования по
их надежности требуют выработки принципов структурного
построения сложных
программных средств [27], обеспечивающих гибкость модификации ПС и эффективность
их отладки. К таким принципам в работе [28] относят:
- модульность и строгую иерархию в структурном построении программ;
- унификацию правил проектирования, структурного построения и взаимодействия
компонент ПС;
- унификацию правил организации межмодульного интерфейса;
- поэтапный контроль полноты и качества решения функциональных задач.
Перечисленным выше принципам в полной мере удовлетворяет предлагаемая
технология ГСП.
Страницы
- « первая
- ‹ предыдущая
- …
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
