Теория конформности
Доступно в форматах: EPUB | PDF | FB2
Страниц:
Язык: Русский
В XXI веке нет нужды объяснять насколько важен поиск ошибок в компьютерных программах. Ничего лучше тестирования для этого пока не придумано. Но суммарный объём программ так велик, и так быстро растет, что делать это вручную уже невозможно. Чтобы генерировать тесты автоматически, компьютер должен понять, чего мы от него хотим. А для этого мы должны понять сами, то есть формализовать понятие «правильности» программ. Решение – тестирование на основе формальных моделей. Его цель – проверка того, что реализация соответствует (конформна) требованиям формальной спецификации. Конформность – это отношение «похожести» реализации на спецификацию. Что этому мешает? Во-первых, разнобой в теоретических подходах. Во-вторых, неразвитость теории тестирования сложных, иерархически построенных систем. В книге предлагается теория конформности как единая основа под многими существующими и разрабатываемыми методами спецификации, генерации тестов и верификации композиционных систем. На этой основе в общем виде решается задача верификации декомпозиции системных требований. Это ответ на вопрос: почему система работает неправильно, если в ее компонентах нет ошибок, и как избежать такой несогласованности?
Отзывы
Кристина, Мариуполь,
10.11.2017
Увлекаюсь тайм-менеджментом и вообще управлением своими ресурсами. Долго искала сайт, на котором можно быстро и легко скачать все нужные мне книги, в том числе и новинки. Случайно набрела на этот сайт и влюбилась! Есть все, что нужно для расширения познаний в этой теме. О многих книгах раньше даже и не слышала. Однозначно рекомендую!
Инна, Чернигов,
26.10.2017
Я давно уже не хожу в книжные магазины, чтобы не тратить собственное время. Много подобных книг можно откапать в интернете. Мне, как постоянному читателю статей о рукоделии, кулинарии, садоводстве и т.д. книги волне понравились. Книги бесплатные, только подтверждение мобильного телефона требует, если скачивать
Те, кто смотрел эту страницу, также интересовались:
Часто задаваемые вопросы
1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как
на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться
и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF,
а для смартфона - EPUB.
2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.
3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com