文件名称：FaultCheck_QuickCheck:带有QuickCheck示例的FaultCheck分发
文件大小：461KB
文件格式：ZIP
更新时间：2024-05-26 04:58:18
Makefile
带有QuickCheck示例的FaultCheck分发 剧本 此发行版包含一些脚本以自动执行某些任务。 其目的如下： 目录： / set_env 设置用于运行FaultCheck的环境，并查找其中包含动态库并对其进行解析的示例。 建造编译示例的FaultCheck和C文件。 build_doc 从README.md标记文件生成文档。 输出出现在“文档”目录中。 干净的从构建过程中删除目标文件。 目录：/ Examples / AUTOSAR_E2E_QuickCheck gen_coverage 如果安装了gentex，则在HTML和LaTeX中生成C代码覆盖率报告。 clean_coverage 删除覆盖率文件。 安装依赖 为了运行此软件，请确保已安装所有必需的库。 对于FaultCheck本身，需要Qt SDK，对于示例，则需要GNU C编译器。 对于FaultCheck测