Cтраница 2
На стадии проектирования это очень ценно, так как позволяет в известной мере прогнозировать требующиеся ресурсы тестирования. Блок-схемы проекта, оценки вероятностей ветвления и количества инструкций могут использоваться для спецификации программ в виде ориентированного графа. Программа далее засевается ошибками и подвергается проверке по случайным входам. Модель может использоваться также для определения меры сложности программы с последующим предсказанием возможностей обнаружения ошибок. Для реализации этой возможности необходимо собрать данные по модели о характеристиках обнаружения ошибок для различных структур, а затем выполнить статистический анализ полученных данных. Полученные данные позволяют измерять сложность различных программ и предсказывать возможное число ошибок. [16]