动态阐明包罗执行代码或模仿代码，以发明任何bug。建设测试打算包摆列出要测试的用例，并为每个用例成立一个测试。由于这些测试不能全面，动态阐明一般不能组成正确性的证明。

正式核查是一项费力的事情。它要求很高，需要大量的脑力，需要大量的投资，但它已经成为软件行业很多规模的强制性尺度。

总结一下，要领略正式验证智能

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。