摘要 |
Изобретение относится к области информатики, а более конкретно к способу проверки соответствия исполняемого программного кода и/или исходного программного кода эталонному коду, заключающемуся в том, что эталонный исполняемый программный код и/или эталонный исходный программный код разделяют на функционально-законченные конструкции, в результате этого получая функционально-структурированный эталонный исполняемый код и/или функционально-структурированный эталонный исходный программный код; далее функционально-структурированный эталонный исполняемый код и/или функционально-структурированный эталонный исходный программный код преобразуют в компактное представление эталонного исполняемого и/или компактное представление эталонного исходного программного кода путем одинакового кодирования одинаковых функционально-законченных конструкций, в результате этого получают компактное представление эталонного исполняемого кода и/или компактное представление эталонного исходного кода; при этом проверяемый исполняемый программный код и/или проверяемый исходный программный код разделяют на функционально-законченные конструкции, в результате этого получая функционально-структурированный проверяемый исполняемый код и/или функционально-структурированный проверяемый исходный программный код; далее функционально-структурированный проверяемый исполняемый код и/или функционально-структурированный проверяемый исходный программный код преобразуют в компактное представление проверяемого исполняемого и/или компактное представление проверяемого исходного программного кода путем одинакового кодир |