거짓말하는 코드를 찾아야합니까?

이것은 답변에 대한 토론 과이 질문에 대한 의견을 말하고 있습니다 : 업계의 문서화를 혐오하는 것은 무엇입니까? . 그 대답은 "코드는 거짓말을 할 수 없다"고 주장했기 때문에 문서 대신 이동해야 할 위치에 있어야합니다. 몇몇 의견은 "코드가 거짓말을 할 수있다"고 지적했다. 문서화가 부적절하고 부적절하게 처리되기 때문에 양쪽에 진실이 있습니다.

거짓말하는 코드를 찾아 기존 문서와 비교해야합니까? 아니면 일반적으로 수행해야 할 작업에 가장 적합한 소스입니까? 그것이 민첩한 코드라면 거짓말 가능성이 적습니까, 아니면 그 코드가 전혀 거짓말을 할 수 없습니까?

평신도의 말로 :

그렇습니다 . 거짓말하는 코드를 찾아서 진실을 말해야합니다. 그러나 그것을 문서와 비교하는 것이 아닙니다. 그것은 거짓말하는 문서를 탐지하는 방법입니다.

코드가 놓일 수있는 몇 가지 방법이 있는데, 그중 몇 가지만 언급하겠습니다.

• 조건이 충족되지 않아 실행되지 않는 코드 블록. 코드는 그것이 얼마나 많은지에 대해 거짓말하고 있습니다.
• 불필요한 복잡성을 더하는 코드는 문제가 얼마나 복잡한 지에 달려 있습니다.
• 명명 규칙이없는 코드는 실제로 수행하는 작업과 다른 것을 수행하도록 오도하기 때문에 거짓말을합니다.

짧을수록 거짓말이 적습니다. 그것은 자명하다.

코드가 덜 복잡할수록 더 투명 해집니다. 따라서 거짓말이 적습니다.

신비한 구문 트릭이 많이 있습니다. 명확한 단계별 알고리즘을 선호하십시오. 그들은 덜 거짓말.

좋은 정적 코드 분석 도구는 거짓말을하는 코드를 찾는 데 도움이 될 수 있습니다.

또한 우수한 자동 테스트 배터리는 코드가 진실을 말하도록 강요합니다.

코드는 거짓말을 할 수 없습니다.

코드에 포함 된 것은 문서, QA 또는 고객의 말에 관계없이 프로그램에서 현재 수행중인 작업입니다. 특히 코드가 릴리스되어 잠시 동안 현장에 있었다면 예상되는 동작을 무시해서는 안됩니다.

코드는 확실히 될 수 있습니다 잘못된 . 이름이나 조직에있어 오해의 소지가있을 수 있습니다. 확실히 읽을 수 없습니다.

그러나 코드가 수행하는 작업 , 수행 해야 할 작업, 수행 된 작업이 아니라 수행 한 작업이 아니라 생각한 작업이 아니라 실제로 수행하는 작업을 알아야하는 경우 코드로 이동하십시오.

몇 가지 질문을합니다.

거짓말하는 코드를 찾아야합니까?

물론이야!

[code]를 기존 문서와 비교해야합니까?

다른 답변에서 언급했듯이 더 자주 아프지 않을 수도 있지만 코드가 아닌 문서 에서 문제를 찾을 수 있습니다 .

아니면 [코드]가 일반적으로해야 할 일에 가장 적합한 소스입니까?

그것은 항상 무엇을위한 최고의 소스 입니다 하고. 코드 가 수행 해야 할 가장 좋은 소스 는 다음과 같은 여러 가지 일이 될 수 있습니다.

• 코드 자체;
• 호출 코드;
• 해당 코드의 주석;
• 선적 서류 비치;
• 단위 테스트;
• 적분 및 회귀 테스트;
• 프로그래머;
• 최종 사용자;

"최상의"소스 (또는 이들의 조합)는 상황에 따라 다릅니다.

그것이 민첩한 코드라면 거짓말 가능성이 적습니까, 아니면 그 코드가 전혀 거짓말을 할 수 없습니까?

"민첩한 코드"가 무엇을 의미하는지 잘 모르겠습니다. AFAIK "민첩한"은 일반적으로 코딩 프로세스를 나타냅니다. "민첩한 프로그래밍 프로세스에서 생성 된 코드"를 의미한다고 가정하면 여전히 거짓말 을 할 수 있다고 말하는 것이 안전하다고 생각합니다 . 폭포 스타일 프로젝트에서 생성 된 코드와 비교하여 거짓말 가능성은 주관적인 문제입니다 (개인적으로는 큰 관련성이 없다고 생각합니다).

각주
위의 모든 코드 는 거짓말을 할 수 있다는 가정하에 있으며 이것은 기본적인 (비록 생각 된) 예제입니다.

public int DivideByTwo(int input) 
{
    return input / 3;
}

이것은 "코드 거짓말"이라고 말할 수있는 한 가지 예일뿐입니다. @ user61852는 접근 할 수없는 코드, 문제의 복잡성과 일치하지 않는 코드의 복잡성, 잘못된 이름 지정 등이 있습니다. 더 많은 것이 있다고 생각합니다. Wikipedia는 거짓말에 대한 다소 괜찮은 요약을 가지고 있으며 , 그중 많은 것들이 코드를 찾을 수 있습니다.

다른 사람 과 논쟁을 벌이는 경우, 상대방이 "코드가 거짓말을 할 수 없다"는 말이 "코드가하는 일"을 의미하지 않는지 확인하십시오 . 본질적으로 여기에있는 다른 사람은“거짓말을 할 수 없다”라는 진술을 공리 / 기본 진리로 선언 할 수있을 정도로 너무 좁은“거짓말”에 대한 정의를 사용하여 정의하고 있습니다. 이 경우, 아마도 그의 축삭에 동의하는 것이 가장 좋습니다.

if (x > 5) {
  doSomething();
} else {
  doADifferentThing();
}

"거짓말"이라는 단어가 기술적으로 적절한 지에 대해서는 논쟁 할 수 있지만이 코드는 x가 때때로 5보다 크거나 때로는 그렇지 않다는 것을 분명히 암시 합니다. 전체 프로그램을보고이 함수가 한 곳에서만 호출되고 x가 항상 상수 6으로 설정되어 있음을 발견하면 거짓말입니다.

또한 컴파일러는이를 알아 차리고이 코드 블록을 간단히

doSomething()

doADifferentThing이 프로그램의 다른 곳에서 호출되지 않으면 프로그램에서 완전히 제거 될 수 있습니다.

언어가 assert프로덕션 빌드에서 꺼져있는 일종의 언어를 지원하는 경우 각 assert진술은 잠재적으로 거짓말입니다. typecast는 거짓말 일 수있는 또 다른 주장입니다.