В книге исследуется тестирование соответствия для систем с возможными блокировками и отказами. Рассматривается отношение ioco - обобщение стандартного отношения ioco для таких систем. Чтобы избежать отказов при тестировании, отношение определяется только на безопасных трассах, которые не приводят к отказам. Предлагается гипотеза о безопасности для определения класса реализаций, которые можно протестировать на соответствие спецификации.
Рассматриваются трассовые модели и модели переходов, показана их эквивалентность. Описывается генерация тестов и алгоритмы. Анализируются способы пополнения неполных спецификаций. Сравниваются семантики ioco и ioco.
Исследуется проблема нарушения соответствия при композиции систем и предлагается решение с помощью монотонных преобразований спецификаций. Формулируется общая теория монотонности соответствия и условия монотонности. Предлагаются конкретные монотонные преобразования и алгоритмы для них.
Книга "Теория соответствия для систем с блокировками и разрушениями" посвящена тестированию соответствия систем, в которых могут возникать блокировки и разрушения. В работе предлагается отношение ioco, которое является обобщением отношения ioco (InputOutput COnformance) и используется для определения соответствия заданной спецификации. Для избежания разрушения реализации при тестировании, отношение ioco строится только на безопасных трассах, которые не могут привести к разрушению. В книге описывается генерация тестов и алгоритмизация этого процесса. Авторы рассматривают различные виды пополнения спецификаций частично-определенных по стимулам и сравнивают семантики отношений ioco и ioco. Также анализируется проблема несохранения соответствия при композиции и предлагается ее решение с помощью монотонного преобразования спецификаций. В книге излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Авторы предлагают монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции, а также описываются соответствующие алгоритмы. Книга будет полезна специалистам в области тестирования программного обеспечения и разработке систем с блокировками и разрушениями.
Электронная Книга «Теория соответствия для систем с блокировками и разрушениями» написана автором Виктор Кулямин в 2008 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Математика. Прикладная математика
ISBN: 978-5-9221-0936-9
Описание книги от Виктор Кулямин
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
