Современные технологии разработки и тестирования программного обеспечения (ПО). Часть 1. Коварцев А.Н. - 7 стр.

UptoLike

Составители: 

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