8.4.3 Методы тестирования, основанные на требованиях

8.4.3 Методы тестирования, основанные на требованиях

Тестирование, основанное на требованиях, является основным методом для тестирования любого уровня: тестирования интеграции ЭКПО/ЭКА, тестирования интеграции ЭКПО и модульного тестирования. За исключением тестирования интеграции ЭКПО/ЭКА, эти методы не требуют специальной среды тестирования или специальной стратегии. Рекомендации для выполнения тестирования, основанного на требованиях, следующие:

а) тестирование, основанное на требованиях, интеграции ЭКПО/ЭКА: данный метод тестирования должен быть сконцентрирован на источниках ошибок, связанных с выполнением ПО в среде объектного вычислителя, и на функционировании на верхнем уровне. Цель тестирования интеграции ЭКПО/ЭКА — гарантировать, что ПО в объектной среде функционирует в соответствии с требованиями верхнего уровня. Типичные ошибки, выявляемые этим методом тестирования, следующие:

 1) неправильная обработка прерываний;

 2) отказы, связанные с требованиями по времени выполнения;

 3) некорректная реакция ПО на переходные процессы в аппаратуре или аппаратные отказы, например упорядочение начальных действий, сбой при загрузке входных данных и нестабильность питания;

 4) проблемы конкуренции для шин данных и других ресурсов;

 5) неспособность встроенных тестов обнаруживать некоторые виды отказов;

 6) ошибки в интерфейсах аппаратных/программных средств;

 7) некорректное поведение циклов обратной связи;

 8) некорректная работа аппаратуры, управляющей памятью, или другой аппаратуры, работающей под управлением ПО;

 9) переполнение стека;

 10) неправильное функционирование механизмов, поддерживающих корректность и совместимость ПО, загружаемого в условиях эксплуатации;

 11) нарушения разбиения ПО;

б) тестирование, основанное на требованиях, интеграции ЭКПО: данный метод тестирования должен быть сконцентрирован на взаимосвязях между требованиями к ПО и на реализации требований архитектурой ПО. Цель такого тестирования — гарантировать, что программные компоненты взаимодействуют друг с другом корректно и удовлетворяют требованиям к ПО и архитектуре ПО. Этот метод может быть реализован путем расширения области действия требований посредством последовательной интеграции компонентов кода с соответствующим расширением области действия тестовых вариантов. Типичные ошибки, обнаруживаемые этим методом:

 1) некорректная инициализация переменных и констант;

 2) ошибки передачи параметров;

 3) затирание данных, особенно глобальных;

 4) некорректная последовательность событий и действий;

в) модульное тестирование, основанное на требованиях: этот метод тестирования следует применять для демонстрации того, что каждый программный компонент выполняет требования нижнего уровня. Цель тестирования нижнего уровня, основанного на требованиях, — гарантировать, что программные компоненты удовлетворяют этим требованиям нижнего уровня. Типичные ошибки, выявляемые данным методом тестирования:

 1) ошибка алгоритма в реализации требования к ПО;

 2) некорректная работа цикла;

 3) некорректные логические решения;

 4) отказ при обработке правильно сформированных комбинаций входных условий;

 5) некорректная реакция на отсутствующие или искаженные входные данные;

 6) некорректная обработка исключительных ситуаций типа арифметических ошибок или выхода за границы массива;

 7) некорректная последовательность вычислений;

 8) неадекватные точность вычисления в алгоритме, точность представления данных или выполнение расчетов.