19. Что такое псевдокод?
Псевдокод – частично формализованный язык, используемый при пошаговой детализации. Он позволяет использовать все конструкции структурного программирования (рис. 6). Псевдокод состоит как из формализованных фрагментов, так и неформализованных фрагментов на естественном языке. Головное описание на псевдокоде должно содержать: – начало модуля на базовом языке; – раздел описаний на базовом языке; – неформальное обозначение тела каждого описания процедуры или функции как обобщённого оператора; – конец модуля на базовом языке
Представленный выше подход позволяет получить описание логики работы модуля, по наглядности конкурирующий с блок–схемами, но обладающим важным преимуществом – линейностью описания.
20. Перечислите и опишите методы контроля пм.
1. Статическая проверка текста.
2. Сквозное прослеживание.
3. Доказательство свойств ПМ.
При статической проверке текст модуля просматривается на предмет выявления ошибок. Причём, ошибки, обнаруженные таким методом, рекомендуется исправлять не сразу, а после «прочтения» всего модуля.
Сквозное прослеживание – вид динамического контроля. Группа программистов вручную «прокручивает» выполнение модуля на некотором тестовом наборе.
Третий метод применяется пока очень редко
21. Что такое отладка и тестирование ПС? Что такое ПС?
Отладка ПС – это деятельность, в результате которой обнаруживаются и исправляются ошибки ПС в процессе выполнения его программ.
Тестирование ПС – процесс, при котором выполняются программы ПС на некотором наборе исходных данных. Причём заранее известен результат выполнения этих программ. Указанный набор данных называется тестовым набором (тестом). Таким образом, процесс отладки можно представить в виде многократного повторения трёх операций:
– тестирование, которое позволяет определить в ПС наличие ошибки;
– локализация ошибки в программах и документации ПС;
– редактирование программ и документации ПС для устранения обнаруженных ошибок.
ПС – программные средства (софтваре)
22. Автономная отладка ПС.
Автономная отладка ПС – последовательное раздельное тестирование различных частей программ ПС с поиском и исправлением в них обнаруженных при тестировании ошибок. Автономная отладка ПС включает отладку каждого ПМ и отладку сопряжения модулей.
ПМ – программный модуль? (не уверен)
23. Комплексная отладка ПС.
Комплексная отладка ПС – тестирование ПС в целом. Представляет собой поиск, исправление фиксируемых при тестировании ошибок во всех документах, относящихся к ПС: определение требований к ПС, СК ПС, ФС ПС, описание АПС и тексты программ ПС.
24. Меры обеспечения точности пс.
Обеспечение этого примитива связано с действиями над данными вещественных типов, т.е. над данными, представленными с некоторой погрешностью. Достижение требуемой точности при вычислении значения некоторой функции означает получение нужного значения с погрешностью, находящейся в рамках заданных границ. Полная погрешность или погрешность вычисленного значения зависит от
– погрешности используемого метода вычисления, включая неточность используемой модели;
– погрешности представления данных (неустранимая погрешность);
– погрешности округления.
25. Меры обеспечения автономности ПС.
Вопрос обеспечения автономности ПС решается в следующем ключе: можно ли использовать в разрабатываемом ПС какое-либо подходящее базовое ПО. Если надёжность используемого базового ПО не отвечает требованиям по надёжности разрабатываемого ПС, от применения такого ПО отказываются, а его функции в нужном объёме реализуют внутри разрабатываемого ПС.
26. Меры по обеспечению устойчивости ПС.
Данный примитив качества обеспечивается в рамках защитного программирования. Используют защитное программирование при программировании модуля для повышения надёжности ПС. По Майерсу защитное программирование основано на следующей предпосылке: худшее, что может сделать ПМ, это получить неправильные входные данные и выдать неверный, но правдоподобный результат. Для исключения этого в текст модуля включают проверки входных и выходных данных. Проверяется их корректность и соответствие спецификации ПМ. Если проверка даёт отрицательный результат, активизируется соответствующая исключительная ситуация. Разрешение подобных ситуаций поддерживается фрагментами второго рода или обработчиками ситуаций, включаемыми в конец модуля. Обработчики кроме выдачи диагностических сообщений могут инициировать меры по устранению ошибок в данных (например, потребовать повторный ввод) или по снижению их влияния (например, аварийный останов устройств, которыми управляет ПС). Но использование защитного программирования снижает эффективность ПС как по времени, так и по памяти. Поэтому от разработчиков ПС требуется разумность в определении степени применения защитного программирования. Руководствоваться при этом нужно требованиями к надёжности и эффективности ПС.