Почему MSC спецификация обеспечивает снижение трудоемкости тестирования?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
MSC позволяет сгенерировать сотни тестов, а соответствующий testbench автоматически прогнать их(Верный ответ)
одна MSC может кодировать множество параллельных или недетерминированных сценариев(Верный ответ)
MSC описывает множество инвариантных сценариев, отличающихся численными значениями символических параметров(Верный ответ)