My<cod/>.net
Преобразование Языкового Тестирования
Мы создали инструмент, который преобразует язык под названием P2, язык, подобный assembly, который, я думаю, существует только в Японии, в C#. есть по крайней мере сто модулей, написанных на P2, и мы хотим проверить, правильно ли преобразование в C#? Как мы можем это проверить?
Вы не тестируете конвертер, вы тестируете окончательный код.
Если код не компилируется, очевидно, что ваш конвертер не работает. Если код компилируется и функциональные тесты завершаются неудачно, можно настроить код таким образом, чтобы он прошел тест. Если вы достаточно успешны, вы должны увидеть, что вам нужно только исправить модули, которые на самом деле терпят неудачу.
Гудлак!
За исключением формального математического доказательства (которое, как я полагаю, было бы трудно), доказательство пудинга находится в модульных тестах. Вы должны найти способ обернуть преобразованные фрагменты C#, скомпилировать и запустить их в аналогичной среде, а затем сравнить выходные данные с оригиналом. Если вы не будете строги в своем тестировании, вы не сможете быть уверены в результате.