净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

A．测试
B．仿真
C．实验
D．正确性验证

在工程网络图中，M工作的最早开始时间为第12天，持续时间为5天，该工作有三项紧后工作，它们最早开始时间分别为第18天、19天、20天，则M工作的自由时差为( )。

A．4天
B，3天
C．2天
D．1天