동적 언어로 모형을 만드는 동안 유형 오류가 어떻게 감지됩니까?

TDD를 수행하는 동안 문제가 발생합니다. 몇 번의 테스트 통과 후 일부 클래스 / 모듈의 반환 유형이 변경됩니다. 정적으로 유형이 지정된 프로그래밍 언어에서, 이전의 조롱 된 객체가 다른 클래스 의 테스트에서 사용되었고 유형 변경을 반영하도록 수정되지 않은 경우 컴파일 오류가 발생합니다.

그러나 동적 언어의 경우 리턴 유형의 변경이 감지되지 않고 다른 클래스 의 테스트 는 여전히 통과합니다. 나중에 실패해야하는 통합 테스트가있을 수 있지만 단위 테스트는 잘못 통과합니다. 이것을 피하는 방법이 있습니까?

간단한 샘플로 업데이트 (일부 언어로 작성된 언어) ...

버전 1 :

Calc = {
    doMultiply(x, y) {return x * y}
}
//.... more code ....

// On some faraway remote code on a different file
Rect = {
    computeArea(l, w) {return Calc.doMultipy(x*y)}
}

// test for Rect
testComputeArea() { 
    Calc = new Mock()
    Calc.expect(doMultiply, 2, 30) // where 2 is the arity
    assertEqual(30, computeArea)
}

이제 버전 2에서

// I change the return types. I also update the tests for Calc
Calc = {
    doMultiply(x, y) {return {result: (x * y), success:true}}
}

... 그런 다음 런타임시 예외가 발생하지만 테스트는 계속 성공합니다.

어느 정도까지는 동적 언어로 비즈니스를 수행하는 비용의 일부일뿐입니다. 그렇지 않으면 "충분히 로프를 걸 수있는"것으로 알려진 유연성이 많이 있습니다. 조심해

나에게 문제는 정적 형식의 언어와 다른 리팩토링 기술을 사용하는 것이 좋습니다. 정적 언어에서는 리턴 유형을 부분적으로 대체하여 "컴파일러에 의존"하여 어떤 위치가 중단 될 수 있는지 찾을 수 있습니다. 리턴 타입을 수정하는 것보다 안전하고 아마 더 안전 할 것입니다.

동적 언어에서는 그렇게 할 수 없으므로 반환 유형을 바꾸지 않고 수정하는 것이 훨씬 안전합니다. 아마도 필요한 클래스에 대해 새 클래스를 멤버로 추가하여이를 수정할 수 있습니다.

코드가 변경되고 테스트가 여전히 통과되면 테스트에 문제가 있거나 (예 : 어설 션이 누락되었거나) 코드가 실제로 변경 되지 않은 것 입니다.

그게 무슨 소리 야? 테스트는 코드 부분 간의 계약을 설명합니다. 계약이 "반환 값은 반복 가능해야합니다"인 경우 반환 값을 배열에서 목록 으로 변경하는 것이 실제로 계약의 변경이 아니기 때문에 테스트 실패를 유발하지는 않습니다.

누락 된 어설 션을 피하기 위해 코드 적용 범위 분석 (코드의 어떤 부분을 테스트하지는 않지만 확실하게 테스트 되지 않은 부분 을 알려줍니다 ), 순환 복잡성 및 NPath 복잡성과 같은 도구를 사용할 수 있습니다. 등 돌리는 것과 코드에서 분사 돌연변이와 돌연변이 테스터 ((이 당신에게 낮은 주장의 수에 결합 된 전체 C1과 C2의 코드 커버리지 달성하는 데 필요한 줄) 에 긍정적으로 음수가,에 객체 등을하고 있는지 여부를 확인 테스트 실패).truefalsenull