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

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

20.08.2008 05:18:22
2 ОТВЕТА

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

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

Удачи!

2
20.08.2008 05:21:20

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

1
20.08.2008 10:44:32