2 Руководство пользователя 11




Название2 Руководство пользователя 11
страница1/52
Дата публикации30.03.2013
Размер3.27 Mb.
ТипРуководство пользователя
odtdocs.ru > Информатика > Руководство пользователя
  1   2   3   4   5   6   7   8   9   ...   52
:

Описание инструмента тестирования

Содержание

1 Назначение CTESK 7

1.1 Технология UniTESK 7

1.2 Реализация UniTESK в CTESK 9

2 Руководство пользователя 11

3 Общие сведения 12

4 Спецификации 13

4.1 Спецификационные функции 14

4.2 Отложенные реакции 15

4.3 Ограничения доступа 15

4.4 Предусловие 16

4.5 Постусловие 17

4.6 Типы данных 19

4.7 Допустимые типы 19

4.8 Спецификационные типы 20

4.8.1 Созданиe значения спецификационного типа 22

4.8.2 Копирование значения спецификационного типа 22

4.8.3 Клонирование значения спецификационного типа 23

4.8.4 Сравнение значений спецификационных типов 23

4.8.5 Сравнение значений спецификационных типов на равенство 23

4.8.6 Строковое представление значения спецификационного типа 24

4.8.7 Построение XML-представления значения спецификационного типа 24

4.8.8 Создание новых спецификационных типов 24

4.8.9 Реализация базовых операций спецификационных типов по умолчанию 27

4.8.10 Функция инициализации по умолчанию 27

4.8.11 Функция копирования по умолчанию 28

4.8.12 Функция сравнения по умолчанию 28

4.8.13 Функция построения строкового представления по умолчанию 28

4.8.14 Функция построения XML-представления по умолчанию 29

4.8.15 Функция перечисления внутренних спецификационных ссылок по умолчанию 29

4.8.16 Функция освобождения ресурсов по умолчанию 29

4.8.17 Определение собственных функций для базовых операций спецификационных типов 29

4.8.18 Функция инициализации спецификационного типа 30

4.8.19 Функция копирования спецификационного типа 31

4.8.20 Функция сравнения спецификационного типа 31

4.8.21 Функция построения строкового представления спецификационного типа 32

4.8.22 Функция построения XML-представления спецификационного типа 33

4.8.23 Функция перечисления внутренних спецификационных ссылок спецификационного типа 34

4.8.24 Функция освобождения ресурсов спецификационного типа 35

4.9 Инварианты 36

4.9.1 Инвариант типа 36

4.9.2 Инвариант переменной 38

5 Покрытия 39

5.1 Различные виды покрытий 40

5.1.1 Перечислимое покрытие 41

5.1.2 Вычислимое покрытие 41

5.1.3 Enum-покрытие 42

5.1.4 Производное покрытие 43

5.1.5 Покрытие-произведение 43

5.1.6 Изменение домена покрытия 44

5.1.7 Локальное покрытие 45

5.2 Операции над элементами покрытий. 46

5.2.1 Получение элемента покрытия 46

5.2.2 Итерация по элементам покрытия 48

5.2.3 Занесение информации об элементе покрытия в отчёт 48

5.2.4 Хранение элементов покрытия в переменных типа CoverageElement 48

6 Медиаторы 49

6.1 Медиаторная функция 49

6.1.1 Блок воздействия медиаторной функции 50

6.1.2 Блок синхронизации медиаторной функции 50

6.2 Сборщик реакций 51

7 Тестовые сценарии 52

7.1 Создание тестового сценария и параметры его вызова 52

7.1.1 Функция инициализации 55

7.1.2 Функция построения сценарного состояния 56

7.1.3 Функция завершения сценария 56

7.1.4 Функция определения стационарности состояния 56

7.1.5 Функция сохранения модельного состояния 57

7.1.6 Функция восстановления модельного состояния 57

7.2 Сценарные функции 58

7.2.1 Оператор итерации 58

7.2.2 Переменные сценарного состояния 59

8 Дополнительные возможности 60

8.1 Строковое и XML представления неспецификационных типов 60

9 Семантика языка SeC 61

9.1 Спецификации 62

9.1.1 Спецификационные функции 62

9.1.2 Отложенные реакции 64

9.1.3 Ограничения доступа 66

9.1.4 Псевдонимы 67

9.1.5 Предусловие 67

9.1.6 Постусловие 67

9.1.7 Превыражения 68

9.2 Спецификационные типы 69

9.3 Инвариант типа 71

9.4 Инвариант переменной 73

9.5 Тестовые сценарии 75

9.6 Сценарные функции 76

9.6.1 Оператор итерации 76

9.6.2 Переменные состояния 77

9.7 Покрытия 79

9.8 Объявление и определение покрытий 79

9.8.1 Укороченное объявление 83

9.8.2 Полное объявление 83

9.8.3 Полное объявление перечислимого покрытия 84

9.8.4 Полное объявление enum-покрытия 84

9.8.5 Полное объявление производного покрытия 85

9.8.6 Объявление первичных вычислимых покрытий 86

9.8.7 Определение первичных вычислимых покрытий 87

9.8.8 Укороченное определение 89

9.8.9 Общие правила обращения к покрытиям 90

9.9 Правила проведения операций над элементами покрытий 91

9.9.1 Получение константного элемента покрытия 92

9.9.2 Получение компонента элемента производного покрытия 93

9.9.3 Вычисление элемента покрытия 94

9.9.4 Выражение трассировки элемента покрытия 94

9.9.5 Тип CoverageElement 95

9.9.6 Итерация по элементам покрытия 95

9.9.7 Обращение к ранее вычисленному элементу покрытия 97

9.9.8 Объявление переменной-элемента покрытия 98

9.10 Медиаторная функция 99

9.11 Семантика блока воздействия медиаторной функции 100

9.12 Блок синхронизации медиаторной функции 100

9.13 Строковое и XML- представления неспецификационных типов 101

10 Библиотека поддержки тестовой системы CTESK 103

10.1 Базовые сервисы тестовой системы 104

10.1.1 Системные функции 104

10.1.2 Модель времени 105

11 Стандартные механизмы построения тестов 113

11.1 dfsm 113

11.2 ndfsm 114

11.3 Поля типов описания тестового сценария 114

11.4 Типы данных, используемые механизмом тестирования 119

11.5 Сервисные функции механизма тестирования 121

11.6 Стандартные параметры тестового сценария 126

12 Сервисы трассировки 130

12.1 Управление трассировкой 130

12.2 Трассировка сообщений 133

13 Сервисы регистрации отложенных реакций 135

13.1 Каналы взаимодействия 135

13.2 Регистратор взаимодействий 137

13.3 Сервис регистрации функций-сборщиков реакций 142

14 Библиотека спецификационных типов 145

14.1 Стандартные функции 146

14.1.1 Функция создания ссылок 146

14.1.2 Функция получения типа ссылки 147

14.1.3 Функция копирования значений по ссылкам 147

14.1.4 Функция клонирования объекта 148

14.1.5 Функция сравнения значений по ссылкам 148

14.1.6 Функция определения эквивалентности значений по ссылкам. 149

14.1.7 Функция построения строкового представления значения по ссылке 150

14.1.8 Функция построения XML представления значения по ссылке 150

14.2 Предопределенные спецификационные типы 151

14.2.1 Char 152

14.2.2 Integer и UInteger 154

14.2.3 Short и UShort 156

14.2.4 Long и ULong 158

14.2.5 Float 160

14.2.6 Double 162

14.2.7 VoidAst 164

14.2.8 Unit 166

14.2.9 BigInteger 167

14.2.10 Complex 171

14.2.11 String 172

14.2.12 List 194

14.2.13 Set 206

14.2.14 Map 217

14.2.15 MultiSet 227


  1   2   3   4   5   6   7   8   9   ...   52

Добавить документ в свой блог или на сайт

Похожие:

Система управления хостингом руководство пользователя
Документ содержит сведения о назначении, области применения и основных функциях программ. В документе описываются условия, необходимые...

Руководство пользователя Москва, 2012
Данное руководство может распространяться только согласно условиям, изложенным в лицензии Open Publication License, версии 0 или...

Моделирование стохастических и детерминированных систем: Руководство...
...

Моделирование стохастических и детерминированных систем: Руководство...
Гайдышев И. П. Моделирование стохастических и детерминированных систем: Руководство пользователя программы AtteStat. – Курган

Моделирование стохастических и детерминированных систем: Руководство...
Гайдышев И. П. Моделирование стохастических и детерминированных систем: Руководство пользователя программы AtteStat. – Курган

Система тестирования «Обработка работоспособности человека при выполнении...
В данном документе будет подробно описан интерфейс пользователя по выбору и прохождению теста, а также интерфейс администратора для...

2. Руководство пользователя. 3
Построение геометрических фигур из базовых примитивов (gl lines, gl triangles и т п.)

Руководство пользователя приложения Каури iСклад с поддержкой 1с версии 2 "Управление торговлей"

Руководство пользователя Linux Mint 10 «Julia»
Активируйте плагин последних документов

Руководство пользователя
Он представляет собой комплексную систему для автоматизации гостиничного обслуживания

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
odtdocs.ru
Главная страница