Процессы верификации. Тестирование

Верификация – процесс определения того, что программные продукты функционируют в полном соответствии с требованиями или условиями, реализованными в предшествующих работах. Для оценки эффективности затрат и выполняемых работ верификация должна как можно раньше реализовываться в соответствующих процессах (поставка, разработка, эксплуатация или сопровождение). Процесс включает анализ, проверку и испытание (тестирование).

Цели тестирования ПО: 1) показать, что ПО удовлетворяет требованиям к нему. 2) продемонстрировать, что были устранены ошибки, которые м.б. привести к возникновению отказных ситуаций, определенных процессом оценки безопасности системы. Уровни тестирования:

- тестирование интеграции ЭКПО/ЭКА (верифицирует корректность функц-ния ПО в среде объектного вычислителя);

- тестирование интеграции ЭКПО (верифицирует взаимосвязи м/у требованиями и компонентами ПО и реализацию требований и компонентов в рамках архитектуры);

- тестирование нижнего уровня (модульное тестирование) (верифицирует реализацию требований нижнего уровня).

Для удовлетворения целей тестирования ПО:

- тестовые варианты д.б. основаны, прежде всего, на требованиях к ПО;

- тестовые варианты д.б. разработаны так, чтобы верифицировать корректность функционирования и сформировать условия, которые выявляют потенциальные ошибки;

- анализ покрытия требований к ПО должен определить, какие требования к ПО не были тестированы;

- анализ структурного покрытия должен определить, какие структуры ПО не были выполнены при тестировании.

Методы тестирования, основанные на требованиях - о сновной метод тестирования любого уровня

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

- требования интеграции ЭКПО: д.б. сконцентрирован на взаимосвязях м/у требованиями к ПО и на реализации требований архитектурой ПО. Цель: гарантировать, что программные компоненты взаимодействуют др. с др. корректно и удовлетворяют требованиям к ПО и архитектуре ПО.

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