Разработка моделей, методов и специального математичесокго обеспечения для повышения качества сложных комплексов программ в АСУ

• Автор: Соколова, Екатерина Борисовна
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 207 c. : ил

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ

Глава I. МЕТОДЫ ПОВЫШЕНИЯ КАЧЕСТВА СЛОЖНЫХ КОМПЛЕКСОВ ПРОГРАММ АСУ.

1.1. Основные этапы повышения качества сложных комплексов программ АСУ.

1.2. Обзор моделей и методов повышения качества сложных комплексов программ на этапе системной отладки.

1.3. Постановка задачи исследования

1.4. Методология планирования и организации системной отладки сложных комплексов программ

Глава 2. МЕТОДЫ ВЫБОРА ОПТШАЛЪИЩТЕГИИ СИСТЕМНОЙ ОТЛАДКИ КОМПЛЕКСОВД1Р.ТШЛ АСУ . .

. .
2.1. Общая задача выбора оптимальной стратегии системной отладки комплексов программ АСУ .
2.2. Методы и алгоритмы определения основных характеристик тестовых множеств при решении задачи выбора оптимальной стратегии системной отладки.
2.3. Методы выбора оптимальной стратегии системной отладки сложных комплексов программ
24. Использование методов выбора оптимальной стратегии системной отладки при планировании отладочных работ в АСУ МТС Метро .
Стр.
Глава 3. МОДЕЛИ И МЕТОДЫ ОПТИМИЗАЦИИ ПРОЦЕССОВ ТЕСТИРОВАНИЯ НА ЭТАПЕ СИСТЕМНОЙ ОТЛАДКИ СЛОЖНЫХ КОМПЛЕКСОВ ПРОГРАММ АСУ.
3.1. Задачи выбора оптимальных тестовых множеств
на этапе системной отладки
3.2. Модели и методы тестирования физической реализуемости комплексов программ АСУ.
3.3. Методы и алгоритмы тестирования времени функционирования комплексов программ АСУ . . П
3.4. Оптимизация процессов тестирования на этапе системной отладки в комплексах программ АСУ
МТС Метро
Глава 4. АВТОМАТИЗАЦИЯ ПРОЦЕССА ЛОКАЛИЗАЦИИ ОШИБОК В СЛОЖНЫХ КОМПЛЕКСАХ ПРОГРАММ АСУ НА ЭТАПЕ СИСТЕМНОЙ ОТЛАДКИ.
4.1. Методы локализации ошибок в комплексах программ с использованием специальных сетей
Петри.
4.2. Определение области локализации ошибок по результатам тестирования .
4.3. Определение мест расположения ошибок в комплексе программ
4.4. Автоматизированная система локализации ошибок в комплексах программ АСУ.
4.5. Использование методов автоматизации процессов локализации ошибок в АСУ ЮС Метро . .
ЗАКЛЮЧЕНИЕ.
Стр.
ЛИТЕРАТУРА


Группировка показателей качества в соответствии с последовательностью технологических процедур отладки обеспечивает эффективное использование методов оптимизации планирования и автоматизации отладочных работ. I.1. С ростом надежности вычислительной техники программное обеспечение становится основным источником неправильного функционирования систем управления Г? АСУ. Ошибки программного обеспечения могут быть классифицированы следующим образом. Системные ошибки, обусловленные неправильным пониманием требований задачи и условий ее реализации в АСУ. Алгоритмические ошибки, связанные с некорректной формулировкой и реализацией алгоритмов программным путем. Программные ошибки (описки, ошибки в логике, кодировании и т. Технологические ошибки в процессе подготовки документации на программу и перевода ее на машинные носители. Технология разработки и внедрения программного обеспечения АСУ предусматривает проведение следующих этапов, в процессе которых формируется качество комплексов программ: анализ существующей системы управления, постановка задачи и выбор алгоритмов решения, разработка системных и программных спецификаций, разработка комплекса программ, его отладка, опытная и промышленная эксплуатация. Процесс отладки по уровню сложности и связи с реальными данными делится на программную и системную отладку. ЭВМ, трансляцию, индивидуальную отладку отдельных частей программы. В процессе программной отладки обнаруживаются и устраняются некоторые алгоритмические, программные и технологические ошибки. Системная отладка предназначена для проверки соответствия логической схемы комплекса программ ее функциональному назначению с использованием специально подготовленных массивов и в условиях, моделирующих процесс функционирования АСУ. В процессе системной отладки обнаруживается и устраняется большинство сложных алгоритмических и системных ошибок и устанавливается соответствие исследуемого комплекса программ его функциональному назначению. Общее число выявляемых в процессе системной отладки ошибок определяется ограничениями на временные и стоимостные ресурсы и исходным количеством ошибок в комплексе программ, поступающем на этап системной отладки. При достижении выбранного уровня показателей качества системной отладки комплекс программ передается в опытную эксплуатацию для проверки его функционирования с использованием реальных полноразмерных массивов и в реальном масштабе времени. Обнаружение ошибок в программах на этапе эксплуатации системы приводит к существенным потерям времени и средств на их локализацию и устранение, а в отдельных случаях к потере работоспособности системы. Качество комплекса программ АСУ, поступающего на этап системной отладки, определяется в основном эффективностью методов проектирования и программирования, которые использовались при его разработке. Использование модульно-иерархического построения программ с применением принципов структурного программирования позволяет существенно снизить сложность компонент и их взаимодействия, упростить кодирование компонент, повысить адаптивность и модернизируемость комплекса программ, минимизировать пути распространения ошибок за счет минимизации или ограничения числа связей мевду модулями и, таким образом, повысить качество создаваемого программного обеспечения [б,,]. Качество проведения системной отладки определяется временными и стоимостными затратами на ее проведение, эффективностью ее организации. Под качеством комплекса программ АСУ на этапе системной отладки в работе понимается степень соответствия его характеристик основным требованиям, записанным в системных спецификациях. Системная отладка рассматривается как многоэтапный итеративный процесс получения программного продукта с заданными значениями показателей качества. Большое разнообразие, сложность и трудоемкость существующих способов разработки и отладки комплексов программ АСУ обусловливает необходимость создания методологии планирования и организации отладочных работ, формальных моделей и методов оптимизации отладки, обеспечизающих выбор стратегии, методов и средств обнаружения и локализации ошибок в соответствии с заданными критериями эффективности.