Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца irina_vp со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

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

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

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