Тестирование языковой конверсии

Вы не тестируете конвертер, вы тестируете окончательный код.

Если код не компилируется, очевидно, что ваш конвертер не работает. Если код компилируется и тесты функциональности не проходят, вы можете настроить код так, чтобы он прошел проверку. Если у вас все получилось, вы должны увидеть, что вам нужно исправить только те модули, которые действительно выходят из строя.

Удачи!

За исключением формального математического доказательства (которое, как мне кажется, было бы трудно), доказательство пудинга находится в модульных тестах. Вы должны найти способ обернуть преобразованные фрагменты C#, скомпилировать и запустить их в аналогичной среде, а затем сравнить результат с исходным. Если вы не проведете тщательное тестирование, вы не сможете быть уверены в результате.