正当性
意味
与えられた仕様に対して、プログラムが正しく実装されているかという観点