reqtrace:OCaml的需求可追溯性工具

通过结合索引要求规范文档（特别是IETF RFC）和在OCaml源代码中引用特定要求的属性的组合，此工具可以生成带注释的要求规范，其中包括对实现和/或测试每个要求的代码的引用。 这还允许自动识别未实施或未经测试的需求。 基本 参考要求 从OCaml源代码到需求规范的引用是使用属性语法完成的： : 最常见的情况是在表达式后添加属性： let _ = hello (something 1 ) [ @ ref (rfc 9999 ) " s18 " ] 上述属性旨在表示相邻代码实现了虚构RFC 9999第18节中定义的要求。当前，为此类引用生成的超链接链接到代码行，并供人类读者使用，因此，精确放置属性并不重要。 规范文件参考 为了更容易记住RFC编号的含义并减少冗长的引用，可以如下表示相同的引用： [ @@@ specdoc let foo = rfc 9999 ] let _