Сравнение Технологий Программирования

Web-программирование - разработка программ для Web-серверов.
Особенность web-программ - в них не должно содержаться ошибок.
Ошибки в программах => сбои, отказы или неправильные результаты.

Тестирование может выявить ошибки в программах,
но не может дать гарантий их отсутствия (Э.Дейкстра)
Гарантии отстсутствия ошибок в программах может дать
только верификация (исчерпывающих анализ правильности ) программ. (В.Каймин)

Языки Web-программирования

Языки скриптов:

Сравнение технологий программирования

Технология IBM Технология MicroSoft
Типология Ошибок в Программах Статус Ошибок в Программах
синтаксическая - ошибка в записи программы исправленная - разработчики исправили ошибку
алгоритмическая - ошибка в логике обработки повторная - ошибка, совпадающаяся с имеющейся
логическая - ошибка в постановке задачи отложенная - ошибка будет исправлена позже
проектная - ошибка в спецификациях программы проектная - программа соответствует спецификации
ошибка в программе - сбой, отказ или неправильные результаты невоспроизводимая - разработчики не могут обнаружить ошибку
спецификации - описания функций программ неисправляемая - ошибка не будет исправляться разработчиками
Литературный источник: Литературный источник:
Лингер, Миллз, Уитт "Структурное проектироваие программ: теория и практика". М., Мир", 1981. Описание технологии проектирования программ в корпорации IBM. "Принципы проектирования и разработки программного обеспечения" Официальное издание MicroSoft. М., 2000
CLEANROOM-ТЕХНОЛОГИЯ РАЗРАБОТКИ ПРОГРАММ внедрена в 1987 году корпорацией IBM. В 1983-85 году реализована в разработках программного обеспечения космического проекта "БУРАН".
 ЛИЦЕНЗИОННОЕ СОГЛАШЕНИЕ MicroSoft
далее следует прямое цитирование лицензии:
"ЭТО ВАЖНО - ПРОЧТИТЕ ВНИМАТЕЛЬНО:"
ГАРАНТИИ ОТСУТСТВИЯ ОШИБОК В ПРОГРАММАХ может дать ИСЧЕРПЫВАЮЩИЙ АНАЛИЗ ПРАВИЛЬНОСТИ в соответствии с их спецификациями. (В.Каймин)
ДАННЫЙ ПРОГРАММНЫЙ ПРОДУКТ ПРЕДОСТАВЛЯЕТСЯ БЕЗ КАКОЙ-ЛИБО ГАРАНТИИ. КОРПОРАЦИЯ MICROSOFT СНИМАЕТ С СЕБЯ ЛЮБУЮ ВОЗМОЖНУЮ ОТВЕТСТВЕННОСТЬ.
"ПРОГРАММА ЯВЛЯЕТСЯ ПРОГРАММНЫМ ПРОДУКТОМ, ЕСЛИ И ТОЛЬКО ЕСЛИ ОНА НЕ СОДЕРЖИТ ОШИБОК. ВЕСЬ РИСК ПО ИСПОЛЬЗОВАНИЮ ИЛИ РАБОТЕ С ПРОГРАММНЫМ ПРОДУКТОМ MICROSOT ЛОЖИТСЯ НА ВАС.
ПРОГРАММА НЕ СОДЕРЖИТ ОШИБОК, ЕСЛИ ОНА НЕ ДАЕТ СБОЕВ, ОТКАЗОВ И НЕПРАВИЛЬНЫХ РЕЗУЛЬТАТОВ. ПРОГРАММНЫЙ ПРОДУКТ ДОЛЖЕН РАБОТАТЬ СТРОГО В СООТВЕТСТВИИ С ДОКУМЕНТАЦИЕЙ. НИ ПРИ КАКИХ ОБСТОЯТЕЛЬСТВАХ КОРПОРАЦИЯ MICROSOFT НЕ НЕСЕТ ОТВЕТСТВЕННОСТИ ЗА КАКОЙ-ЛИБО УЩЕРБ ВСЛЕДСТВИИ ИСПОЛЬЗОВАНИИЯ ДАННОГО ПРОГРАММНОГО ПРОДУКТА ИЛИ ДОКУМЕНТАЦИИ...

Вопросы

  1. Что такое ошибки в программах?
  2. Какие бывают ошибки в программах?
  3. Какими могут быть последствия от ошибок в программах?
  4. Вас устраивают ошибки в программах?
  5. Что Вам известно о продуктах MicroSoft?
  6. Что Вы думаете о лицензии MicroSoft?

Задания

  1. Сравните технологии программирования.
  2. Познакомьтесь с нашими Интернет-учебниками.
  3. Познакомьтесь с учебником информатики.
  4. Посетите сайт фирмы MicroSoft.
  5. Посетимте сайт фирмы CleanSoft.


Hosted by uCoz