두 코드가 서로 동일합니까?

Question

필자도 이와 비슷한 질문을하기 전에 필자는 다음과 같이 질문했다 :이 의사 코드 here이 내 코드와 같은가요? 대문자 변수는 의사 코드에서 " '"가있는 변수이고 조건이있는 값은 모두 목록에 있습니다. 예를 들어 "all"조건은 목록 "s"에 있고 "s'"조건은 목록 "S"

for i in xrange(t): 
    a = h0; b = h1; c = h2; d = h3; e = h4 
    A = h0; B = h1; C = h2; D = h3; E = h4 
    X = data[512*i:512*(i+1)]     # the data is a binary string 
    X = [int(X[32*x:32*(x+1)],2) for x in xrange(16)] 
    for j in xrange(80): 
     a, e, d, c, b = e, d, ROL(c,10), b, ROL((a + F(b, c, d, j) + X[r[j]] + k[j/16])%(1<<32), s[j]) + e 
     A, E, D, C, B = E, D, ROL(C,10), B, ROL((A + F(B, C, D, 79-j) + X[R[j]] + K[j/16])%(1<<32), S[j]) + E 
    T = (h1+c+D)%(1<<32) 
    h1 = (h2+d+E)%(1<<32) 
    h2 = (h3+e+A)%(1<<32) 
    h3 = (h4+a+B)%(1<<32) 
    h4 = (h0+b+C)%(1<<32) 
    h0 = T 

나는 꽤 오랫동안이 코드에서 일해 왔으며 어떤 이유로이 코드가 제대로 작동하지 못했습니다. 왜??? 데이터의 전처리가 올바른지, 그럼에도 불구하고 다른 사람들의 코드를 복사하여 파이썬으로 변환하는 경우에도 출력이 정확하지 않아야합니다.

코드의이 부분은 정확해야합니다 :

def F(x,y,z,round): 
    if round<16: 
     return x^y^z 
    elif 16<=round<32: 
     return (x & y) | (~x & z) 
    elif 32<=round<48: 
     return (x | ~y)^z 
    elif 48<=round<64: 
     return (x & z) | (y & ~z) 
    elif 64<=round: 
     return x^(y | ~z) 

h0 = 0x67452301; h1 = 0xEFCDAB89; h2 = 0x98BADCFE; h3 = 0x10325476; h4 = 0xC3D2E1F0 
k = [0, 0x5A827999, 0x6ED9EBA1, 0x8F1BBCDC, 0xA953FD4E] 
K = [0x50A28BE6, 0x5C4DD124, 0x6D703EF3, 0x7A6D76E9, 0] 

s =  [ 11,14,15,12,5,8,7,9,11,13,14,15,6,7,9,8, 
     7,6,8,13,11,9,7,15,7,12,15,9,11,7,13,12, 
     11,13,6,7,14,9,13,15,14,8,13,6,5,12,7,5, 
     11,12,14,15,14,15,9,8,9,14,5,6,8,6,5,12, 
     9,15,5,11,6,8,13,12,5,12,13,14,11,8,5,6] 

S =  [ 8,9,9,11,13,15,15,5,7,7,8,11,14,14,12,6, 
     9,13,15,7,12,8,9,11,7,7,12,7,6,15,13,11, 
     9,7,15,11,8,6,6,14,12,13,5,14,13,13,7,5, 
     15,5,8,11,14,14,6,14,6,9,12,9,12,5,15,8, 
     8,5,12,9,12,5,14,6,8,13,6,5,15,13,11,11] 

r =  range(16) + [ 
     7, 4, 13, 1, 10, 6, 15, 3, 12, 0, 9, 5, 2, 14, 11, 8, 
     3, 10, 14, 4, 9, 15, 8, 1, 2, 7, 0, 6, 13, 11, 5, 12, 
     1, 9, 11, 10, 0, 8, 12, 4, 13, 3, 7, 15, 14, 5, 6, 2, 
     4, 0, 5, 9, 7, 12, 2, 10, 14, 1, 3, 8, 11, 6, 15, 13] 

R =  [ 5, 14, 7, 0, 9, 2, 11, 4, 13, 6, 15, 8, 1, 10, 3, 12, 
     6, 11, 3, 7, 0, 13, 5, 10, 14, 15, 8, 12, 4, 9, 1, 2, 
     15, 5, 1, 3, 7, 14, 6, 9, 11, 8, 12, 2, 10, 0, 4, 13, 
     8, 6, 4, 1, 3, 11, 15, 0, 5, 12, 2, 13, 9, 7, 10, 14, 
     12, 15, 10, 4, 1, 5, 8, 7, 6, 2, 13, 14, 0, 3, 9, 11] 

Answer 1

당신이 가리키는 가상 코드는 함수 f, 상수 K와 K ', 선택자 r과 r'등을 정의합니다 - 여기서 보여주는 모든 것들이 여러분이 보여주는 코드에 숨어 있습니까? 당신은 그들을 사용하고있는 것 같지만, 우리는 (그리고 당신도) 그들이 어떤 검사도없이 그들이 옳다는 것을 어떻게 알 수 있습니까?

귀하의 버그, 결국 은 일 수 있습니다.이 코드는 귀하가 Google로부터 숨어 있습니다.

Answer 2

내 제안은 코드를 함수에 넣고 단위 테스트를하는 것입니다. 예상되는 출력을 가지며 단위 테스트는 코드가 예상 한대로 작동하는지 확인하는 데 매우 유용합니다. 예를 들어, 목록 이해력이 올바른 목록으로 나타 납니까?

코드가 읽기보다 복잡하기 때문에 Style Guide for Python을 읽어 보시기 바랍니다. 예를 들어 한 줄에 여러 개의 명령문이 있습니다.