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

Question

Мы создали инструмент, который преобразует язык под названием P2, язык, похожий на ассемблер, который, я думаю, существует только в Японии, в C #. В P2 написано как минимум сто модулей, и мы хотим проверить, правильно ли преобразование в C #? Как мы можем это проверить?

Answer 1

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

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

Гудлак!

Answer 2

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