Реклама:

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

Тест проверки вычислений и преобразоёания данных программным модулем служит для обнаружения ошибок в вычислительной части программы. Для этого выделяются компоненты программного модуля и маршруты обработки данных, содержащие вычисления и преобразования переменных. В состав теста входят наборы значений исходных переменных во всей области их определения. Особо выделяются комбинации переменных в критических и особых точках, а также сочетания противоречивых и искаженных данных. Эталонами служат результаты предварительных расчетов, по формулам, заложенным в модуле. Наиболее часто обнаруживаются ошибки при сочетаниях критических значений параметров и при некоторых искажениях данных. Выделение вычислительной части программы и соответствующих" маршрутов может быть в значительной степени автоматизировано. Также удается автоматизировать выделение некоторых особых значений переменных, подлежащих первоочередной проверке.

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

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

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


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