文件名称：reqtrace:OCaml的需求可追溯性工具
文件大小：144KB
文件格式：ZIP
更新时间：2024-06-17 13:27:23
OCaml
通过结合索引要求规范文档（特别是IETF RFC）和在OCaml源代码中引用特定要求的属性的组合，此工具可以生成带注释的要求规范，其中包括对实现和/或测试每个要求的代码的引用。 这还允许自动识别未实施或未经测试的需求。 基本 参考要求 从OCaml源代码到需求规范的引用是使用属性语法完成的： : 最常见的情况是在表达式后添加属性： let _ = hello (something 1 ) [ @ ref (rfc 9999 ) " s18 " ] 上述属性旨在表示相邻代码实现了虚构RFC 9999第18节中定义的要求。当前，为此类引用生成的超链接链接到代码行，并供人类读者使用，因此，精确放置属性并不重要。 规范文件参考 为了更容易记住RFC编号的含义并减少冗长的引用，可以如下表示相同的引用： [ @@@ specdoc let foo = rfc 9999 ] let _
【文件预览】：
reqtrace-master
----.travis.yml(208B)
----opam(837B)
----_oasis(1KB)
----python()
--------rfc_notes.js(643B)
--------test_parseietf.py(4KB)
--------rfc_notes.css(768B)
--------parseietf.py(17KB)
--------notes.md(1KB)
--------rfc2671.txt(15KB)
--------rfc6762.txt(181KB)
--------unextract.py(4KB)
--------rfc_notes.py(12KB)
----src()
--------reqtraceDocXml.ml(7KB)
--------reqtraceCmt.ml(6KB)
--------reqtraceRefXml.ml(7KB)
--------reqtraceTypes.ml(2KB)
--------reqtraceDocHtml.ml(9KB)
--------reqtraceUtil.ml(5KB)
--------reqtraceExtractCmd.ml(4KB)
--------reqtrace.ml(6KB)
--------reqtraceHtmlCmd.ml(11KB)
----myocamlbuild.ml(17KB)
----setup.ml(176KB)
----.gitignore(126B)
----src_test()
--------example_cstruct.ml(329B)
--------camlp4_sux.ml(84B)
--------example_noreq.ml(48B)
--------example_spec.xml(3KB)
--------test.sh(1KB)
--------example_bad.ml(81B)
--------example_req.ml(394B)
----.merlin(100B)
----_tags(1KB)
----Makefile(1KB)
----README.md(4KB)