Кто нибудь знает как на основе Функциональной диаграммы решений(skeemi funktsionaalne optimeeritud otsustusdiagramm) та что с помощью разложения Шеннона делается, найти вектора тестирующие входы.
Вроде не сложно, но уточнить было бы не плохо=)
Заодно можете рассказать как произвести синтез тестов для всех входов с помощью SSBDD;-)
Полезна будет любая информация.
Просто по слайдам есть некоторые непонятки..