МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ГОРНЫЙ УНИВЕРСИТЕТ
    
    
    КАФЕДРА ВМ
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    КУРСОВИК
    
    "Программа сложной структуры с использованием меню"
    
    
    
    
    
    
    
    
    
    
    
    ВЫПОЛНИЛ: Пикулин Е. Г.
    
    
    ПРИНЯЛ: Солодовников А. Д.
    
    
    
    
    
    
    
    
    
    ? МОСКВА 1996 год
    
    
    
    
    
    ОГЛАВЛЕНИЕ.
    
    1. ВИДЫ КОНТРОЛЯ ПРОГРАММ
    
    2. ЦЕЛИ, ПРИНЦИПЫ И ЭТАПЫ ТЕСТИРОВАНИЯ
    
    3. СТРУКТУРНОЕ ТЕСТИРОВАНИЕ
    
    4. СОВМЕСТНОЕ ТЕСТИРОВАНИЕ МОДУЛЕЙ
    
    5. ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ
    
    6. ТЕСТИРОВАНИЕ ПРОГРАММНОГО КОМПЛЕКСА В ЦЕЛОМ
    
    7. ОТЛАДКА ПРОГРАММ
    
    
    
    
    
    ВИДЫ КОНТРОЛЯ ПРОГРАММ
    
    
    Программный комплекс - это совокупность программных модулей, предназначенных для решения одной задачи и составляющих одно целое.
    
    Основными разновидностями контроля программного обеспечения являются визуальный, статический и динамический.
    Визуальный контроль - это проверка программ " за столом " , без использования компьютера. На первом этапе визуального контроля осуществляется чтение программы, причем особое внимание уделяется следующим ее элементам:
    1. комментариям и их соответствию тексту программы ;
    2. условиям в операторах условного выбора ( IF, CASE ) и цикла;
    3. сложным логическим выражениям;
    4. возможности незавершения итерационных циклов ( WHILE, REPEAT, LOOP ).
    Второй этап визуального контроля - сквозной контроль программы
    ( ее ручная прокрутка на нескольких заранее подобранных простых тестах). Распространенное мнение , что более выгодным является перекладывание большей части работы по контролю программных средств на компьютере, ошибочно. Основной довод в пользу этого таков : при работе на компьютере главным образом совершенствуются навыки в использовании клавиатуры, в то время как программистская квалификация приобретается прежде всего за столом.
    Статический контроль- это проверка программы по ее тексту (без выполнения) с помощью инструментальных средств. Наиболее известной формой статического контроля является синтаксический контроль программы с помощью компилятора , при котором проверяется соответствие текста программы синтаксическим правилам языка программирования.
    Сообщения компилятора обычно делятся на несколько групп в зависимости от уровня тяжести нарушения синтаксиса языка программирования :
    1. ............