Инструмент для тестирования программной комбинационной схемы (алгоритма)?
С помощью чего можно реализовать побыстрому проверку такого механизма.
Есть некий черный ящик, на входе N значений переменных, на выходе M значений переменных.
Внутри черного ящика реализована комбинационная логика с обычными логическими и простейшими математическими функциями.
Исходный код внутренностей черного ящика известен.
Необходимо имитируя подачу всевозможных значений для N входных переменных получить на выходе набор правильных M значений переменных. Как по простому реализовать эти таблицы, так скажем истинности?
Понятное дело, если писать утилитку для тестирования, то ее можно разработать на том, что кому удобно и как привык (C, C++, ASM, Java, Basic, VB, etc.). Но может быть есть какие готовые решения или уже open-source проекты для подобных тестовых манипуляций?
Ведь задача тривиальная и часто встречаемая.
тестирование - это когда эти "таблицы истинности" уже известны и нужно подтвердить, что тестируемый модуль их соблюдает. вот про это я и хотел сказать, спросить!
именно это и нужно подтвердить.
фактически на входные сигналы (переменные) подать\задать всевозможные комбинации и на выходе проконтролировать результат, на выходных переменных
Простой
