软件本质上是复杂的,并不是没有错误。代码生成器的输出可能包含bug,其中一些是编译器检测不到的。MathWorks报告了在其Bug报告系统上引起注意的关键已知Bugwww.tatmou.com/金宝appsupport/bugreports/.使用保存搜索和观察的bug工具,搜索短语“不正确的代码生成”,以获得已知错误的报告,这些错误产生的代码可能会编译和执行,但仍然产生错误的答案。
错误报告是每个版本文档中不可分割的一部分。定期检查一个发布版本的所有bug报告,因为这样的报告可能识别出您正在使用的发布版本的实际行为与本文档中描述的行为之间的不一致性。
除了检查bug报告之外,您还应该实现一个验证和验证策略来识别设计、代码和工具中的潜在bug。