WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 || 3 | 4 |   ...   | 8 |

«САМАРСКИЙ ИНСТИТУТ ИНЖЕНЕРОВ ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА Кафедра телекоммуникаций на железнодорожном транспорте СОВРЕМЕННЫЕ ТЕХНОЛОГИИ РАЗРАБОТКИ И ТЕСТИРОВАНИЯ ...»

-- [ Страница 2 ] --

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

В последнее время в связи с совершенствованием технических средств отображения информации утверждается новый графический подход к решению проблемы автоматизации разработки ПС, основанный на идее привлечения визуальных форм представления программ, в большей степени соответствующих образному способу мышления человека. Применение графических методов обещает кардинально повысить производительность труда программиста. Кроме того, графическая форма записи по сравнению с текстовым представлением программ обеспечивает более высокий уровень их структуризации, соблюдение технологической культуры программирования, предлагает более надежный стиль программирования [12].

В настоящее время известно достаточно большое количество удачных инструментальных средств визуализации программирования. Прежде всего, это относится к визуальным средствам разработки экранных форм, меню и других элементов программы (Microsoft Windows 3.0, Visual BASIC [17, 24, 29] и т.д.), средствам автоматизации проектирования программного обеспечения (CASE-средствам), средствам быстрой разработки приложений для информационных систем (Visual FoxPro), текстовым и графическим редакторам, издательским системам и т.д.

В соответствии с “формулой” Н. Вирта [13] программу можно интерпретировать как “Алгоритм + Структуры данных”. Визуальные формы представления алгоритмов программ известны достаточно давно это Р-технология программирования И. В. Вельбицкого [11], сети Петри [9], наконец, обычные блок-схемы можно считать в определенном смысле графической формой задания алгоритма. Общим для перечисленных выше способов представления алгоритмов является использование “языка” теории графов.

Одним из основных факторов повышения эффективности и надежности программирования можно считать придание образности формам спецификации данных и описания алгоритма. В этом смысле главный недостаток существующих технологий программирования заключается в преимущественно текстовых формах представления основных компонент программы, что делает программу невыразительной и чрезвычайно затрудняет ее восприятие человеком.

В настоящее время принципиально изменилась роль информационных технологий в обществе. С одной стороны, программные продукты представляют собой достаточно дорогостоящий товар. С другой стороны, ужесточились требования к качеству ПС, поскольку последние широко используются в таких сферах деятельности человека, которые традиционно относят к группе риска. Это аэрокосмические технологии, энергетика, связь, бизнес и т.д.

Современные информационные технологии играют исключительно важную роль в интеллектуализации общества, позволяют активизировать и эффективно использовать информационные ресурсы общества [5, 18]. Это приводит к необходимости создания эффективных методов достижения заданного качества разрабатываемых ПС в условиях ограниченности ресурсов, выделяемых на разработку.

Высокое качество ПС достигается либо методами безошибочного программирования (“пассивными” методами), либо путем выявления и устранения ошибок (“активными” методами) [28, 33].

Современные методы безошибочного программирования основываются на реализации процессов автоматизации всех этапов жизненного цикла ПС от проектирования и кодирования программ до документирования и их сопровождения. К таким средствам относятся: CASE-средства, объектно-ориенированное программирование, методы логического программирования. Особое место занимают методы визуального программирования, поскольку приближение формы представления программы и способов ее кодирования к образному способу мышления человека в значительной степени сокращает число ошибок, допускаемых человеком при разработке программ, и повышает надежность программирования.

Активные методы повышения надежности ПС совершенствуются за счет развития средств автоматизации тестирования программ. Сложность ПС и высокие требования по их надежности требуют выработки принципов структурного построения сложных программных средств [27], обеспечивающих гибкость модификации ПС и эффективность их отладки. К таким принципам в работе [28] относят:

- модульность и строгую иерархию в структурном построении программ;

- унификацию правил проектирования, структурного построения и взаимодействия компонент ПС;

- унификацию правил организации межмодульного интерфейса;

- поэтапный контроль полноты и качества решения функциональных задач.

Перечисленным выше принципам в полной мере удовлетворяет предлагаемая технология ГСП.

1. Современные программные средства характеризуются высокой сложностью выполняемых функций и значительностью объемов исполняемых кодов, при этом к ПС предъявляются высокие требования по качеству и надежности.

2. За сравнительно небольшой промежуток времени методы и средства разработки ПС прошли эволюционный путь развития сравнимый, с методами проектирования сложных технических систем, что обуславливает необходимость обеспечения максимальной эффективности процессов проектирования, разработки, эксплуатации и сопровождения ПС на всех этапах жизненного цикла.

3. Актуальным направлением сокращения сроков проектирования, разработки, модификации, сопровождения ПС и повышения качества программ является разработка технологических основ комплексной автоматизации перечисленных процессов в течение всего жизненного цикла.

4. Одним из методов повышения производительности труда программистов является применение графических методов программирования, обеспечивающих более высокий уровень структуризации ПС, соблюдение технологической культуры и более надежный стиль программирования.

2. Основные понятия технологии графосимволического В качестве методологической основы для представления алгоритмов в работе используется модель объекта с дискретными состояниями [14]. Основу такой модели составляет идея, что для любого объекта программирования тем или иным способом можно выделить конечное число состояний, в которых он может пребывать в каждый момент времени. Тогда развитие вычислительного процесса можно ассоциировать с переходами объекта из одного состояния в другое. В математике такая концепция в качестве способа абстрагирования плодотворно используется достаточно давно:

марковские цепи, теория массового обслуживания, теория формальных грамматик и автоматов и т.д.

Для уточнения понятия состояния, используемого в работе, определимся с принятой в технологии графосимволического программирования (ГСП) [26] концепцией модели алгоритма. Можно выделить следующие три основных типа универсальных алгоритмических моделей:

Первый - связывает понятие алгоритма с наиболее традиционными понятиями математики - вычислениями и числовыми функциями. Наиболее известная и изученная модель такого типа - рекурсивные функции.

Второй - основан на представлении об алгоритме как о некотором детерминированном устройстве, способном выполнять в каждый отдельный момент лишь примитивные операции. Одним из многочисленных представителей этого типа является машина Тьюринга.

Третий - алгоритмических моделей - это преобразование слов в произвольных алфавитах, в которых элементарными операциями являются подстановки. Среди моделей этого типа наиболее известны канонические системы Поста, нормальные алгорифмы Маркова и т.д.

Для технологии графосимволического программирования наиболее подходит первый тип формализации понятия алгоритма, когда произвольная программа интерпретируется некоторой вычислимой функцией где in( D ) - множество входных данных программного модуля A, out ( D ) - множество выходных (вычисляемых) данных программного модуля A.

Определим граф состояний G как ориентированный помеченный граф, вершины которого - суть состояния, а дугами отмечаются переходы системы из состояния в состояние. Каждая вершина графа помечается соответствующей локальной вычислимой функцией f k. Одна из вершин графа, соответствующая начальному состоянию, объявляется начальной вершиной и, таким образом, граф оказывается инициальным.

Дуги графа проще всего интерпретировать как события. С позиций данной работы событие - это изменение состояния объекта O, которое влияет на развитие вычислительного процесса.

На каждом конкретном шаге работы алгоритма в случае возникновения коллизии, когда из одной вершины исходят несколько дуг, соответствующее событие определяет дальнейшей ход развития вычислительного процесса алгоритма. Активизация того или иного события так или иначе зависит от состояния объекта, которое в свою очередь определяется достигнутой конкретизацией структур данных D объекта O.

Для реализации событийного управления на графе состояний G введем множество предикативных функций P = { P1, P 2,..., P l }. Под предикатом будем понимать логическую функцию Pi(D), которая в зависимости от значений данных D принимает значение равное 0 или 1. Дугам графа G поставим в соответствие предикативные функции. Событие, реализующее переход Si S j на графе состояний G, инициируется, если модель объекта O на текущем шаге работы алгоритма находится в состоянии Si и соответствующий предикат Pi j ( D) (помечающий данный переход) истинен.

В общем случае предложенная концепция (без принятия дополнительных соглашений) допускает одновременное наступление нескольких событий, в том случае, когда несколько предикатов, помечающих дуги (исходящих из одной вершины), приняли значение истинности. Возникает вопрос: на какое из наступивших событий объект программирования должен отреагировать в первую очередь?

Традиционное решение этой проблемы связано с использованием механизма приоритетов. В связи с чем все дуги, исходящие из одной вершины, помечаются различными натуральными числами, определяющими их приоритеты. Отметим, что принятое уточнение обусловлено ресурсными ограничениями, свойственными однопроцессорной ЭВМ.

Определим универсальную алгоритмическую модель технологии графосимволического программирования четверкой D,, P, G, где D - множество данных (ансамбль структур данных) некоторой предметной области (для конкретного объекта программирования O структуры его данных D D ); - множество вычислимых функций некоторой предметной области; P - множество предикатов, действующих над структурами данных предметной области D; G - граф состояний объекта O.

Таким образом, в технологии графосимволического программирования в качестве универсальной алгоритмической модели предлагается использовать абстрактную модель D,, P, G, основанную на графе состояний.

Граф в данном случае заменяет текстовую (вербальную) форму описания алгоритма программы, при этом:

1). Реализуется главная цель - представление алгоритма в визуальной (графосимволической) форме.

2). Происходит декомпозиционное расслоение основных компонент описания алгоритма программного продукта. Так структура алгоритма представляется графом G, элементы управления собраны во множестве предикатов P и, как правило, значимы не только для объекта O, но и для всей предметной области. Спецификация структур данных, а также установка межмодульного информационного интерфейса по данным “пространственно” отделена от описания структуры алгоритма и элементов управления.



Pages:     | 1 || 3 | 4 |   ...   | 8 |
 


Похожие работы:

«ТРУДЫ ПРОФЕССОРСКО-ПРЕПОДАВАТЕЛЬСКОГО СОСТАВА Библиографический указатель за 2012 год Москва 2013 ПРЕДИСЛОВИЕ Библиографический указатель трудов профессорско-преподавательского состава Российской открытой академии транспорта федерального государственного бюджетного образовательного учреждения высшего профессионального образования Московский государственный университет путей сообщения призван показать направления научноисследовательской деятельности, познакомить с новой учебной литературой,...»

«ИНФОРМАЦИОННЫЕ СИСТЕМЫ КОНТРОЛЯ И УПРАВЛЕНИЯ В ПРОМЫШЛЕННОСТИ И НА ТРАНСПОРТЕ ШЕСТНАДЦАТЫЙ ВЫПУСК ИРКУТСК 2009 УДК 681.518.54 ББК 32.965 И 74 РЕДАКЦИОННАЯ КОЛЛЕГИЯ: академик РАИН, д.т.н., профессор Ю.Ф. Мухопад (научный редактор); к.т.н., доцент Ю.И. Огородников (зам. научного редактора); к.т.н. Р.А. Сегедин (ученый секретарь); д.т.н., профессор А.П. Хоменко; д.т.н., профессор М.П. Дунаев (ИрГТУ); д.т.н., профессор С.К. Каргапольцев; д.т.н., профессор А.В. Крюков; д.т.н., профессор Г.А. Опарин...»

«ПРАВИЛА ПРОВЕДЕНИЯ ТРОФИ-РЕЙДОВ ОГЛАВЛЕНИЕ Статья 1. ТЕРМИНОЛОГИЯ Статья 2. ТРЕБОВАНИЯ К ДОПОЛНИТЕЛЬНОМУ РЕГЛАМЕНТУ. Статья 3. АВТОМОБИЛИ. ТРАНСПОРТНЫЕ СРЕДСТВА. Статья 4. УЧАСТНИКИ. ЭКИПАЖИ. Статья 5. ЗАЯВКИ. ЗАЯВОЧНЫЕ ВЗНОСЫ Статья 6. ИДЕНТИФИКАЦИЯ. РЕКЛАМА. Статья 7. СТРАХОВАНИЕ. Статья 8. АДМИНИСТРАТИВНЫЕ И ТЕХНИЧЕСКИЕ ПРОВЕРКИ. Статья 9. ДОРОЖНАЯ КНИГА. Статья 10. ДОРОЖНОЕ ДВИЖЕНИЕ. Статья 11. ПОМОЩЬ Статья 12. КОНТРОЛЬНАЯ КАРТА (КАРНЕТ). Статья 13. СПЕЦИАЛЬНЫЕ УЧАСТКИ (СУ). Статья 14....»

«Положение о порядке проведения практики курсантов и студентов Ульяновского высшего авиационного училища гражданской авиации (института) Ульяновск 2012 Настоящее Положение о порядке проведения практики курсантов и студен­ тов Ульяновского высшего авиационного училища гражданской авиации (ин­ ститута) (далее - Положение о практике) определяет порядок организации, про­ ведения и руководства практикой, требования к содержанию и структуре про­ граммы практики, к отчетной документации по практике....»

«В целях обеспечения дальнейшего совершенствования организации пассажирских перевозок Министерство автомобильного транспорта РСФСР приказывает: 1. Утвердить прилагаемые Правила организации пассажирских перевозок на автомобильном транспорте. 2. Республиканским объединениям и главным управлениям автомобильного транспорта, Республиканскому объединению Росмежавтовокзал, транспортным управлениям, управлениям пассажирского автомобильного транспорта, производственным объединениям автовокзалов и...»

«ШТАБ ГРАЖДАНСКОЙ ОБОРОНЫ СССР КОМИТЕТ ГИДРОМЕТЕОРОЛОГИИ ПРИ КАБИНЕТЕ МИНИСТРОВ СССР МЕТОДИКА ПРОГНОЗИРОВАНИЯ МАСШТАБОВ ЗАРАЖЕНИЯ СИЛЬНОДЕЙСТВУЮЩИМИ ЯДОВИТЫМИ ВЕЩЕСТВАМИ ПРИ АВАРИЯХ (РАЗРУШЕНИЯХ) НА ХИМИЧЕСКИ ОПАСНЫХ ОБЪЕКТАХ И ТРАНСПОРТЕ РД 52.04.253-90 САНКТ-ПЕТЕРБУРГ 2000 ИНФОРМАЦИОННЫЕ ДАННЫЕ РАЗРАБОТАН И ВНЕСЕН Ордена Трудового Красного Знамени Главной геофизической обсерваторией им. А.И. Воейкова и Штабом Гражданской обороны СССР с использованием результатов Государственного...»

«УТВЕРЖДАЮ 7%j O Y 2014 г. ОТЧЕТ о самообследовании Ф едеральным государственны м бю джетны м образовательны м учреждением высш его профессионального образования У льяновское высшее авиационное училищ е гражданской авиации (институт) Рассмотрен и одобрен на заседании Ученого совета института 03.04.2014, протокол № 3 Ульяновск 2014 СОДЕРЖАНИЕ стр. Введение 6 Общие сведения об УВАУ ГА (И) 7 1. 2. Организационно-правовое обеспечение образовательной деятельности 2.1. Учредительные документы...»

«РЕГЛАМЕНТ СОРЕВНОВАНИЙ ПО ДИСТАНЦИОННЫМ КОННЫМ ПРОБЕГАМ Проект на 2014 год - новый текст – отмечен красным шрифтом - текст для обсуждения – отмечен желтым цветом Регламент соревнований по пробегам 2013 г. Содержание КОДЕКС ПОВЕДЕНИЯ ПО ОТНОШЕНИЮ К ЛОШАДИ 4 Глава I ОБЪЕКТ И ОБЛАСТЬ ПРИМЕНЕНИЯ 5 Статья 1. ОПРЕДЕЛЕНИЯ 5 Статья 2. ОБЛАСТЬ ПРИМЕНЕНИЯ 5 Глава II СОРЕВНОВАНИЯ 6 Статья 3. КЛАССИФИКАЦИЯ СОРЕВНОВАНИЙ 6 Статья 4. СИСТЕМА КВАЛИФИКАЦИИ 7 Статья 5. ПРОБЕГИ С ОГРАНИЧЕННОЙ СКОРОСТЬЮ 7 Статья...»

«Руководство по хранению и работе с хлорированными растворителями СОДЕРЖАНИЕ ВВЕДЕНИЕ К 4-МУ ИЗДАНИЮ СОКРАЩЕНИЯ 1. ХРАНЕНИЕ 1.1. РЕКОМЕНДУЕМЫЕ МАТЕРИАЛЫ ДЛЯ СТРОИТЕЛЬСТВА КОНТЕЙНЕРОВ ХРАНЕНИЯ. 5 1.2 СОХРАНЕНИЕ ХЛОРИРОВАННЫХ РАСТВОРИТЕЛЕЙ В НАСЫПНОМ СОСТОЯНИИ. 6 2. РАЗГРУЗКА РАСТВОРИТЕЛЕЙ В НАСЫПНОМ СОСТОЯНИИ 2.1.ОТБОР ПРОБ 2.2. ПОДГОТОВКА К РАЗГРУЗКЕ 2.3. ШЛАНГ ДЛЯ РАЗГРУЗКИ 2.4 РАЗГРУЗКА ИЗ ЖЕЛЕЗНОДОРОЖНЫХ ЦИСТЕРН 2.5. РАЗГРУЗКА ИЗ АВТОЦИСТЕРН 2.6. ПРОЦЕДУРЫ ПОСЛЕ РАЗГРУЗКИ 3. ПЕРЕМЕЩЕНИЕ...»

«МИНИСТЕРСТВО ТРАНСПОРТА РОССИЙСКОЙ ФЕДЕРАЦИИ ДЕПАРТАМЕНТ ВОЗДУШНОГО ТРАНСПОРТА УТВЕРЖДЕНО приказом Директора Департамента воздушного транспорта от 19.09.94 № ДВ-98 Руководство по эксплуатации гражданских аэродромов Российской федерации (РЭГА РФ-94) Москва Воздушный транспорт 1996 Содержание ВВЕДЕНИЕ ГЛАВА 1 ОСНОВНЫЕ ПОЛОЖЕНИЯ ПО ЭКСПЛУАТАЦИИ АЭРОДРОМОВ (ВЕРТОДРОМОВ) ГРАЖДАНСКОЙ АВИАЦИИ 1.1. ОБЩИЕ ПОЛОЖЕНИЯ ПО СОДЕРЖАНИЮ И РЕМОНТУ АЭРОДРОМОВ (ВЕРТОДРОМОВ) 1.2. ОБЩИЕ СВЕДЕНИЯ О ГРАЖДАНСКИХ...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.