0 и 1 - покрытие переключения при тестировании состояния перехода?

Question

Этот вопрос не связан с программированием, а связан с одним из методов разработки тестового примера. Техника Диаграммы переходов между состояниями обеспечивает тестовое покрытие, определяя условия теста с помощью переходов N-1. Я не совсем понимаю, как рассчитать покрытие с 0 и 1 переключателем.

Добавляем скриншот примера. Может кто-нибудь объяснить, как это можно решить? Заранее спасибо.

Вопрос в прикрепленном изображении:

Схема для этого вопроса:

Answer 1

Приложение к ответу Марко<<

Общее решение для 1 переключателя - 9.

Вы исключаете ACT-CLO-ACC (как сказал Марко из-за второго ограничения)

но вы также исключаете ACT-CLO-REM (этого никто не исключал) ACT-CLO-DIS (как заметил Афнер)

Answer 2

Число 0-переключателей из состояния равно количеству переходов длины 1, начиная с этого состояния. В этом случае у вас есть:

• АКТ-АСТ;
• АКТ-АСС;
• АКТ-ДИС;
• ACT-CLO.

Итак, из Активированных есть 4 перехода длиной 1.

Покрытие 1 переключателя из состояния равно всем переходам длины 2, начиная с этого состояния. Вы можете построить из того, что вы нашли в случае 0-переключателя, зная, в какие состояния вы можете попасть из Активированного в 1 переходе. Просто вычислите все переходы с 0 переключателями из каждого из этих 4 состояний:

• ACT: (как вычислено ранее) ACT-ACT; АКТ-АСС; АКТ-ДИС; ACT-CLO -> 4;
• ACC: ACC-ACT; ACC-CLO -> 2;
• DIS: DIS-ACT; DIS-CLO -> 2;
• CLO: CLO-DIS; ССН-АСТ; ССН-РЗМ; CLO-ACC -> 4.

Всего насчитывается 12 1-ST.

Но это без учета ограничений во второй части описания упражнения.

"Если заявка в состоянии" Принят "была закрыта, она может быть восстановлена ​​только в том же состоянии" Принята ". -> Для упражнения это не имеет значения, так как мы начинаем с состояния Активировано.

"Если заявка в состоянии" Активировано "была закрыта, ее можно восстановить только до состояния" Активировано ". -> это ограничение исключает ACT-CLO-ACC.

Итак, в итоге у вас есть 11 действительных 1-ST.

Answer 3

Существует 4 перехода 0-Switch (состояния, которые вы можете достичь за 1 прыжок из Активированного статуса):

• активированная
• Принято
• оспариваемый
• Закрыто

Существует 12 переходов 1-Switch (состояния, которых вы можете достичь с помощью 2 прыжков из состояния "Активировано"), однако только 10 из них действительны:

• Активированный - Активированный
• Активирован - Принят
• Активировано - оспаривается
• Активирован - Закрыт
• Принят - активирован
• Принято - Закрыто
• Оспаривается - активирован
• Спорные - Закрыто
• Закрыто - Активировано
• Закрыто - Удалено

Окончательное ограничение указывает на то, что только Закрыта - Активированный может быть сделано, так Closed - Спорные и Closed - Принято не сосчитать.