本题考察的是净室软件工程。

净室软件工程强调在统计过程控制下进行增量开发，核心包括正确性验证、统计测试和认证，强调先证明、后测试，并由独立测试团队开展统计测试。

选项 A：正确性验证。正确性验证是净室软件工程的重要核心技术。本题语境与该项一致，正确。
选项 B：随机调试。该项与本题考查的“净室软件工程”场景或定义不匹配。
选项 C：用户自由试错。该项与本题考查的“净室软件工程”场景或定义不匹配。
选项 D：只做路径测试。该项与本题考查的“净室软件工程”场景或定义不匹配。

因此，选项 A 正确。