언어 변환 테스팅

Question

우리는 일본에서만 존재하는 어셈블리와 비슷한 언어 인 P2라는 언어를 C#으로 변환하는 도구를 만들었습니다. P2에 적어도 100 개의 모듈이 있으며 C#으로의 변환이 올바른지 확인하고자합니다. 어떻게 테스트 할 수 있습니까?

Answer 1

변환기를 테스트하지 않으면 최종 코드를 테스트합니다.

코드가 컴파일되지 않으면 변환기가 제대로 작동하지 않습니다. 코드가 컴파일되고 기능 테스트가 실패하면 코드를 조정하여 테스트를 통과 할 수 있습니다. 상당히 성공적이라면 실제로 실패한 모듈 만 수정하면됩니다.

Goodluck!

Answer 2

푸딩의 증명은 단위 테스트에 있습니다. 공식적인 수학적 증거 (나는 어렵다고 생각합니다)가 부족합니다. 변환 된 C# 코드 조각을 포장하고 유사한 환경에서 컴파일하고 실행 한 다음 출력을 원본과 비교하는 방법을 찾아야합니다. 엄격한 테스트가 아니라면 결과를 확신 할 수있는 방법이 없습니다.