19. Анализ причинно-следственных связей (апсс)

Метод АПСС помогает системно выбирать высоко результативные тесты. Он дает полезный побочный эффект, позволяя обнаруживать неполноту и неоднозначность исходных спецификаций. Для использования метода необходимо понимание булевой логики.

Построение тестов осуществляется в несколько этапов:

1. спецификация разбивается на рабочие участки, так как таблицы ПСС становятся громоздкими, при применении метода к большим спецификациям (например, при тестировании компилятора в качестве рабочего участка можно рассматривать отдельные операторы языка)

2. в спецификации определено множество причин и множество следствий. Причина есть отдельное входное условие или класс эквивалентных входных условий. Следствие – выходное условие или преобразование системы. Каждой причине и следствию приписывается отдельный номер;

3. на основе анализа семантическог осодержания спецификации строится таблица истинности, в которой последовательно перебираются все возможные комбинации причин и определяются следствия каждой комбинации причин. Таблица снабжается примечаниями, задающими ограничения и описывающими комбинации причин и-или следствий, которые являются невозможными из-за синтаксиса или внешних ограничений. Аналогично при необходимости строится таблица истинности и для класса эквивалентности. При построении таблицы можно использовать следующие приемы:

а) по возможности выделяют независимые группы ПСС в отдельные таблицы;

б) истина – 1; ложь – 0; для обозначения безразличных состояний применяется x, которое предполагает произвольное значение условия.

4. каждая строка таблицы истинности преобразуется в тест при этом следует по возможности совмещать тесты из независимых таблиц.

Недостаток метода: неадекватно исследуются граничные условия.

14. Предположение об ошибке (мпо)

Часто программист с большим опытом ищет ошибки без методики. При этом он подрузумевает использование МПО. Процедура МПО в значительной степени основана на интуиции.

Основная идея метода состоит в том, чтобы перечислить в некотором списке возможные ошибки или ситуации, в которых они могут появляться, а затем, на основе этого списка составляют тесты. Другими словами требуется перечислить те специальные случаи, которые могут быть не учтены при проектировании.

МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА МАРИНА

15. Документирование по.

Непрерывное увеличение объемов и сложностей программных комплексов и баз данных информационных систем, а также рост требований к их качеству привели к созданию и активному применению регламентированных технологий, регламентирующих проблему их жизненного цикла (жц).

16. Стандарты, регламентирующие документирование пс и бд (баз данных).

В России создание и испытание автоматизированных систем, в частности ПС и БД регламентированы следующими стандартами:

1. ГОСТ 28195-89 – Оценка кач-ва ПС. Общие положения.

2. ГОСТ 28806-90 – Кач-во ПС. Термины и определения.

3. ГОСТ 34.601-90 – Информационная технология. Автоматизированные системы. Стадии создания.

4. ГОСТ 34.201-89 - Информационная технология. Виды. Комплектность и обозначения документов при создании автоматизированных систем.

5. ГОСТ 34.603-92 - Информационная технология. Виды испытаний автоматизированных систем.

6. ГОСТ 34.602-89 - Информационная технология. Техническое задание на создание автоматизированных систем.

7. РД 50-34.698-90 – Методические указания. Информационная технология. Автоматизированные системы. Требования к содержанию документов.

Но создание, сопровождение и развитие программных средств для современных информационных систем в этих стандартах отражены недостаточно, а многие их положения устарели с точки зрения построения современных распределенных комплексов прикладных программ. Поэтому в отечественных разработках целесообразно выбирать и использовать отработанные зарубежные стандарты в этой области.

Основные современные зарубежные стандарты ЖЦ ориентированы на сложные ПС обработки информации и управления в реальном времени. К таким ПС предъявляются наиболее высокие требования к кач-ву ф-ционирования. Они создаются большими коллективами специалистов в течении длительного времени.

Базовыми стандартами ЖЦ ПС являются стандарты ISO 12207 и ISO 9000-3 в которых с различной глубиной определено содержание этапов и частых работ при создании и модификации ПС и их компонентов.

Для планирования и управления проектами ПС эти стандарты служат структурной базой объектов и работ.

При детализации требований в профиль документирования могут входить следующие стандарты:

1. ISO 6592:1985.ОИ Руководство по документации для вычислительных систем.

2. ISO 9294:1990.ТО.ИТ Руководство по управлению документированием ПО

3. ISO 5127.1988.СОИ Пользовательская регламная документация на пакеты программ.

4. ANSI/IEEE 1063-1987 (ред 1993) Пользовательская документация