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

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

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Лингводидактическая подготовка бакалавра педагогического образования
Лингводидактическая подготовка бакалавра педагогического образования
Развиваем мышление и логику, Тихонович Т.С.
Развиваем мышление и логику, Тихонович Т.С.
Теоретические основы дошкольного образования. Учебное пособие, Н. С. Ежкова
Теоретические основы дошкольного образования. Учебное пособие, Н. С. Ежкова

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com