Контроль программного модуля. - раздел Компьютеры, Компьютер, его механические и математические первоисточники Применяются Следующие Методы Контроля Программного Модуля:
· Статиче...
Применяются следующие методы контроля программного модуля:
· статическая проверка текста модуля;
· сквозное прослеживание;
· доказательство свойств программного модуля.
При статической проверке текста модуля этот текст прочитывается с начала до конца с целью найти ошибки в модуле. Обычно для такой проверки привлекают, кроме разработчика модуля, еще одного или даже нескольких программистов. Рекомендуется ошибки, обнаруживаемые при такой проверке исправлять не сразу, а по завершению чтения текста модуля.
Сквозное прослеживание представляет собой один из видов динамического контроля модуля. В нем также участвуют несколько программистов, которые вручную прокручивают выполнение модуля (оператор за оператором в той последовательности, какая вытекает из логики работы модуля) на некотором наборе тестов.
Доказательству свойств программ посвящена следующая лекция. Здесь следует лишь отметить, что этот метод применяется пока очень редко.
Структурное программирование — методология разработки и проектирования программного обеспечения, в основе которой лежит представление и структуризация программы в виде иерархической структуры блоков. Предложена в 70-х годах XX века Э. Дейкстрой, разработана и дополнена Н. Виртом и Харланом Милзом. Технология структурного программирования и проектирования в 80-ых годах ХХ века была описана в школьных и вузовских учебниках информатики А.П.Ершова, В.А.Каймина и А.Г.Кушниренко.
Структурный подход к разработке программного обеспечения имеет два подхода: 1) использование языков струrтурного программирования (языки Pascal, C, Ada, Modula, Java и т.д.), 2) структурное проектирование программ с использованием структурированных алгоритмов, записываемых на структурном псевдокоде с использованием лексики родного (русского языка) для документирования всего комплекса программ, предложенного Харланом Миллзом (IBM,1972) и В.А.Кайминым (МИЭМ,1978-1983)
В соответствии с данной методологией
1. Структурированная программа (структурированный алгоритм) представляет собой структуру, построенную из трёх типов базовых конструкций:
· последовательное исполнение — однократное выполнение операций в том порядке, в котором они записаны в тексте программы (алгоритма);
· альтернативное исполнение — однократное выполнение одной из двух или более операций, в зависимости от выполнения некоторых заданных условий;
· цикл — многократное исполнение одной и той же операции вплоть до выполнення некоторых заданных условий (условий продолжения либо завершения цикла).
В современных языках программирования "ветвления" допускают несколько альтернативных операций, а в "циклах" - несколько условий выхода с различными условиями выхода из цикла. Структурный псевдокод в силу его гибкости допускает многоальтернативные ветвления и циклы, используемые в наиболее современных языках программирования, для которых В.А.Кайминым были предложены оригинальные процедуры верификации и анализа правильности алгоритмов, изложенные с самого начала в учебниках информатики (1985, 1989,1994, 199 и во всех остальных переизданиях).
1. В структурированных алгоритмах и программах базовые конструкции могут быть вложены друг в друга произвольным образом, но никаких других средств управления последовательностью выполнения операций не предусматривается.
2. Повторяющиеся фрагменты программы (представляющие собой логически целостные вычислительные блоки) могут оформляться в виде т. н. подпрограмм (процедур,функций или модулей). В этом случае в тексте основной программы, вместо помещённого в подпрограмму фрагмента, вставляется инструкция вызова подпрограммы. При выполнении такой инструкции выполняется вызванная подпрограмма, после чего исполнение программы продолжается с инструкции, следующей за командой вызова подпрограммы.
3. Разработка структурированных программ ведётся пошагово, методом «сверху вниз».
Структурное проектирование программ означает, что сначала пишется текст основной программы, в котором, вместо каждого связного логического фрагмента текста, вставляется вызов подпрограммы, которая будет выполнять этот фрагмент. Вместо настоящих, работающих подпрограмм, в программу вставляются «заглушки», которые ничего не делают. Полученная программа проверяется и отлаживается. После того, как программист убедится, что подпрограммы вызываются в правильной последовательности (то есть общая структура программы верна), подпрограммы-заглушки последовательно заменяются на реально работающие, причём разработка каждой подпрограммы ведётся тем же методом, что и основной программы.
Разработка заканчивается не тогда, когда не останется ни одной «затычки», которая не была бы удалена, а когда протестирован каждый модуль, функция и подпрограмма. Тестирование и разработку программ можно вести как "сверху-вниз" так и "снизу-вверх" от автономной к комплексной отладке.
Такая последовательность гарантирует, что на каждом этапе разработки программист одновременно имеет дело с обозримым и понятным ему множеством фрагментов, и может быть уверен, что общая структура всех более высоких уровней программы верна. При сопровождении и внесении изменений в программу выясняется, в какие именно процедуры нужно внести изменения, и они вносятся, не затрагивая части программы, непосредственно не связанные с ними. Это позволяет гарантировать, что при внесении изменений и исправлении ошибок не выйдет из строя какая-то часть программы, находящаяся в данный момент вне зоны внимания программиста.
На сайте allrefs.net читайте: "Компьютер, его механические и математические первоисточники"
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Контроль программного модуля.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Компьютер, его механические и математические первоисточники.
Компьютер – это электронный прибор, предназначенный для автоматизации создания, хранения, обработки и транспортировки данных.
Отличительный признак – электронный.
Известны механич
Механические первоисточники.
Первое в мире автоматическое устройство для выполнения операции сло-жения было создано на базе механических часов ("суммирующие часы"). В 1623 г. его разработал Вильгельм Шикард, профессо
Математические первоисточники.
В первых механических предшественниках компьютера числа представлялись либо в виде линейных перемещений цепных и реечных механизмов, либо в виде угловых перемещений зубчатых и рычажных механизмов.
Кодирование текстовых данных
Если каждому символу алфавита сопоставить определенное целое число, то с помощью двоичного кода можно кодировать и текстовую информацию.
8 разрядов – 256 символов: английские и русские бук
Структура алгоритмов
В 60-х годах ХХ в. было доказано, что любой сколь угодно сложный алгоритм можно представить с использованием трех основных структур (называются базовыми):
– следование – последовательное в
Технология программирования и основные этапы ее развития
Написать программу в машинном коде весьма сложно, причем эта сложность резко возрастает с увеличением размера программы и трудоемкости решения нужной задачи.
Практически все программы созд
Компиляторы и интерпретаторы
C помощью языка программирования создается не готовая программа, а только ее текст (исходный код), описывающий ранее разработанный алгоритм. Чтобы получить работающую программу, этот текст надо либ
Уровни языков программирования
Языки программирования низкого уровня: ориентированы на конкретный тип процессора и учитывают его особенности (разные типы процессоров имеют разные наборы команд); "низкий уровень" не озн
Обзор языков программирования высокого уровня
Fortran (Фортран). Первый компилируемый язык, создатель – Джим Бэкус, 50-е гг. (разработан для математиков – "формулы транслировать"). Основной кри-терий при разработке к
Языки программирования баз данных
База данных (БД) – сами данные, находящиеся в памяти ЭВМ и каким-либо образом структурированные.
Система управления базой данных (СУБД) – совокупность программных средств, с помощью которы
Языки программирования для Интернета
С развитием глобальной сети было создано много языков программирования, адаптированных специально для Интернета. Характерные особенности: языки являются интерпретируемыми, интерпретаторы для них ра
Средства создания программ.
В общем случае для создания программы на выбранном языке программирования нужно иметь следующие компоненты.
1. Текстовый редактор.
Так как текст программы записывается с помощью к
Первые языки программирования
В пятидесятые годы двадцатого века с появлением компьютеров на электронных лампах началось бурное развитие языков программирования. Компьютеры, стоившие в то время значительно дороже, чем разработк
Области применения языков программирования
В настоящее время языки программирования применяются в самых различных областях человеческой деятельности, таких как:
· научные вычисления (языки C++, FORTRAN, Java);
·
Парадигмы программирования
Синтаксис языка описывает систему правил написания различных языковых конструкций, а семантика языка программирования определяет смысл этих конструкций. Синтаксис языка программирования может быть
Стандартизация языков программирования
Концепция языка программирования неотрывно связана с его реализацией. Для того чтобы компиляция одной и той же программы различными компиляторами всегда давала одинаковый результат, разрабатываются
Среда проектирования
С развитием языков программирования совершенствовались и средства разработки программ – от режима командной строки до интегрированной среды проектирования. Такая среда предоставляет удобный графиче
Редактор Visual Basic
Прежде чем начать работу с редактором Visual Basic, нужно его открыть. Во всех приложениях Office, в том числе Excel, это делается одинаково (рис. 1):
– в меню Сервис - Макрос
Создание первой программы
Последовательность действий для создания Вашей первой программы следующая:
1. В редакторе VBA добавьте в проект стандартный модуль, выбрав команду Insert – Module
Алфавит языка
Программы составляются и записываются по определенным правилам с помощью алфавита языка VBA.
Алфавит языка – это упорядоченное множество букв, цифр и специальных знаков. Алфавит включает в
Типы данных
Типы данных относятся к самым фундаментальным понятиям любого языка программирования. В языке VBA предусмотрены следующие типы данных:
─ числовые,
─ строковые (символь
Формы записи вещественных чисел в программе
Вещественные числа записываются в двух форматах:
– основная (естественная) форма записи с фиксированной точкой. Десятичная точка отделяет целую часть от дробной. Знак плюс и нулевую целую
Переменные
Переменная – это величина, значение которой может изменяться в ходе выполнения программы.
Переменная характеризуется именем (идентификатором), типом и значением.
Имя переменной со
Константы
Константа – это величина, значение которой не изменяется в ходе выполнения всей программы.
Константы бывают числовые и строковые (символьные).
В программе константы объявляются в
Встроенные функции
В VBA имеется большой набор встроенных функций, использование которых существенно упрощает программирование. Эти функции можно разделить на следующие основные категории:
─ математиче
Выражения
Выражения представляют собой последовательную запись операндов, т.е. констант, переменных, функций, или любых их комбинаций, образованную с помощью знаком арифметических операций, операций отношени
Структура программы
Программа на языке VBA записывается в стандартном модуле и оформляется в виде процедуры пользователя. Формат процедуры (программы) в общем случае следующий:
SUB имя_процедуры (список аргум
Линейный вычислительный процесс
Линейные вычислительным процессом называется процесс, в котором все операторы выполняются последовательно друг за другом. Любая линейная программа состоит из:
1) описания
Программирование разветвляющихся вычислительных процессов
В большинстве задач не удается представить алгоритм в виде линейной структуры, т.к. задачи обычно содержат различные условия, требующие выбора одного из возможных направлений продол
End If.
В том случае, если условие принимает значение True, то выполняется один блок программного кода, а если условие принимает значение False, то выполняется другой.
Если структура
Структурное программирование.
При программировании модуля следует иметь ввиду, что программа должна быть понятной не только компьютеру, но и человеку: и разработчик модуля, и лица, проверяющие модуль, и тестовики, готовящие тес
Пошаговая детализация и понятие о псевдокоде.
Структурное программирование дает рекомендации о том, каким должен быть текст модуля. Возникает вопрос, как должен действовать программист, чтобы построить такой текст. Иногда программирование моду
История структурного программирования и проектирования программ
Методология структурного программирования и проектирования программ появилась как следствие возрастания сложности решаемых на компьютерах задач, и соответственного усложнения программного обеспечен
Экспертные системы в управлении энергетическими системами
Современное состояние объектов топливно-энергетического комплекса и химической технологии кратко можно определить как опасное для окружающей среды в целом и для персонала этих объек
Поиск решений с помощью оптимизационных методов
Очень часто в расчетах задачах электроэнергетики требуется найти оптимальное решение.
Оптимизация – процесс выбора наилучшего варианта из множества возможных или процесс приведения системы
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов