Теория конформности

В XXI веке нет нужды объяснять насколько важен поиск ошибок в компьютерных программах. Ничего лучше тестирования для этого пока не придумано. Но суммарный объём программ так велик, и так быстро растет, что делать это вручную уже невозможно. Чтобы генерировать тесты автоматически, компьютер должен понять, чего мы от него хотим. А для этого мы должны понять сами, то есть формализовать понятие «правильности» программ. Решение – тестирование на основе формальных моделей. Его цель – проверка того, что реализация соответствует (конформна) требованиям формальной спецификации. Конформность – это отношение «похожести» реализации на спецификацию. Что этому мешает? Во-первых, разнобой в теоретических подходах. Во-вторых, неразвитость теории тестирования сложных, иерархически построенных систем. В книге предлагается теория конформности как единая основа под многими существующими и разрабатываемыми методами спецификации, генерации тестов и верификации композиционных систем. На этой основе в общем виде решается задача верификации декомпозиции системных требований. Это ответ на вопрос: почему система работает неправильно, если в ее компонентах нет ошибок, и как избежать такой несогласованности?