漏洞的产生有其必然性，这是因为软件的正确性通常是通过____来保障的。