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

UptoLike

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

перерастает в конструирование агрегатов из надежных программных модулей. Отладка
при этом заключается только в корректировке структуры графа.
2.6 Модель межмодульного информационного интерфейса
технологии ГСП
Проблема передачи информации от одной программы к другой традиционно
представляет собой одну из наименее популярных проблем в среде программистов и
одну из проблем, которая служит источником наибольшего количества ошибок в
разрабатываемом программном обеспечении. В данной проблеме следует выделить
четыре аспекта:
1). Проблема, связанная с реализацией
механизма доступа подпрограмм к
необходимой информации. Суть ее сводится к выяснению воздействий, производимых на
передаваемые подпрограмме фактические параметры и возможной модификации
значений соответствующих формальных параметров в теле подпрограммы .
2). Проблемы
распределения и управления памятью ЭВМ.
3). Проблема
отладки межмодульного информационного интерфейса, которая
связана с декларативным стилем его построения, когда операторы объявления типов
данных, самих данных, выделение оперативной памяти под данные, а также указание
областей их действия, “размазаны по тексту программы. В таких условиях
идентификация ошибок в информационном интерфейсе превращается в нетривиальную
задачу.
4). Проблема
массовости используемых данных. Современное программное
обеспечение характеризуется большой сложностью и значительными размерами.
Количество данных, используемых программой, нарастает комбинаторными темпами.
Естественно, что большие объемы циркулирующей в программах информации ставят
новые задачи по их управлению.
Анализ ситуации показывает, что значительная часть проблем обусловлена
слишком большими возможностями, предоставляемыми в языках программирования для
построения межмодульных
интерфейсов.
Решение обозначенных проблем лежит в плоскости систематизации и введения
разумных ограничений на способы и методы построения межмодульного
информационного интерфейса, а также за счет разработки средств автоматизации
построения таких интерфейсов.
Так, например, на языке FOXPRO обмен информацией между подпрограммами
обеспечивается за счет реализации механизма глобального описания переменных, если
не учитывать возможность обмена
данными через таблицы базы данных. На языке
ПРОЛОГ проблема организации информационного интерфейса вообще отсутствует,
поскольку в концепциях языка заложены идеи логического вывода целевых условий в
соответствии с аксиоматикой предметной области, а не выполнения процедурных
действий над данными. При этом все операции, выполняемые над данными
, скрыты
(осуществляются автоматически) от пользователя. Вероятно, благодаря именно этой
особенности, язык ПРОЛОГ позволяет порождать на редкость надежные программные
коды в очень короткие сроки.
В языках, ориентированных на объекты, новая парадигма программирования
невольно отделила описание структур данных (классов) от подпрограмм, их
использующих (методов). В новых концепциях основное внимание программиста
сосредоточено на
формирование модели данных описываемого объекта, чем