Тестирование софта - статьи


ce076b8f

Краткое описание


В качестве обобщенного состояния выбирается длина списка, присутствующего в модельном состоянии или сконструированного на его основе.



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


В качестве обобщенного состояния выбирается произведение других обобщенных состояний.


В качестве обобщенного состояния выбирается мультимножество, элементами которого являются числа - количество непосредственных детей для каждой вершины дерева.

Содержание раздела