Реклама:

Данные о вероятности или частости исполнения маршрутов или операторов помогают выделить интенсивно используем мые компоненты программ, которые целесообразно подвергать, наиболее тщательной проверке: Априорно на базе представлений разработчика о динамике функционирования создаваемой программы или по характеристикам, полученным в процессе рабочего функционирования, может быть составлен профиль программ 114, 78, 821. В профиле программы обычно содержится информация о частости и длительности выполнения каждого оператора, вероятность выполнения каждого логического условия, предельные значения некоторых' переменных, количество итераций в циклах и т. д. Эти данные для каждой программы могут получаться автоматически в процессе ее исполнения или обобщаться и уточняться по мере развития тестирования программ, в результате чего:

выделяются наиболее активные компоненты программы, прошедшие тщательную проверку, а также компоненты, требую-, щие повышенного внимания, с малой или нулевой частотой проверки исполнения, подлежащие дополнительному тестированию;

статистика условных переходов и итераций циклов дает, информацию для обнаружения некоторых типов ошибок;!

длительность исполнения маршрутов позволяет оценивать длительности исполнения модулей или. групп программ, что особенно важно для систем реального времени.

Данные о профиле; программы способствуют прежде всего достижению высокой надежности, функционирования про* ..грамм, ^тому также способствует -тестирование. средств по-мехозащиты, оперативного контроля и восстановлении (см, гл. 4). При этом надежность программы может возрастать значительно быстрее, чем корректность.

Увеличение числа охватываемых компонентов процесс тестирования возможно в двух направлениях. При систематик ческом восходящем тестировании прежде всего провес ряются модули нижних иерархических уровнен, к которым по-'' степенно .подключаются вызывающие их модули. При этом обеспечивается работоспособность вызываемых,, компонент и;1 функции, группы программ проверяются в их естественном исполнении. Основные трудности состоят в необходимости полного, обновления тестовых наборов при подключении каждой новой программы более высокого.уровня. Однако.все участвующие в тестировании модули нижних иерархических уров-О ней тестируются детально и независимо, что обеспечивает ид': Высокую корректность, при подключении к вызывающим моду-* л ям.

При нисходящем тестировании проверки начинают-^ ся с программ управления и организации вычислительного1 процесса. Первоначально тестируется управляющее ядро комплекса программ и программы решения функциональных задач, размещенных на высших иерархических уровнях. К ним постепенно подключаются для тестирования программы, последующих более низких иерархических уроввей. Если программы нижних уровней не разработаны или не протестированы, то вместо них включаются программные имитаторы — «заглушки». В результате при тестировании осуществляется проверка некоторой модели группы программ с имитаторами иа нижних иерархических уровнях. Преимуществом такого метода является возможность сохранения и развития наборов тестовых исходных данных по мере подключения программ нижних уровней. С самого начала тестирования могут использоваться исходные данные, соответствующие реальному функционированию КП, с последовательно снимаемыми ограничениями. При этом наиболее полно и на ранних этапах проверяется межмодульный интерфейс. Однако тестирование групп | программ с заглушками может требовать больших затрат иа обнаружение простейших ошибок в модулях нижних иерархических уровней по мере их подключения, если они до этого не тестировались.


⇐ Предыдущая страница| |Следующая страница ⇒