Теория конформности Игорь Бурдонов

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