基于MLVP工具的果壳cache验证实验

官方网站：open-verify.cc

学习材料

完成材料（https://open-verify.cc/mlvp/docs/）的学习，了解基本验证知识。并基于其中的示例代码完成果壳 cache DUT的创建。

功能点与测试点

参考果壳 cache 代码与对应文档，列举出功能点，然后根据功能点拆分出测试点。

果壳 cache 文档：https://oscpu.github.io/NutShell-doc/%E5%8A%9F%E8%83%BD%E9%83%A8%E4%BB%B6/cache.html

果壳 cache 源代码：https://github.com/OSCPU/NutShell/blob/master/src/main/scala/nutcore/mem/Cache.scala

测试用例

根据上一步的功能点和测试点，编写测试用例，要求能覆盖到所有的测试点。

测试编码

根据测试用例编写测试代码，其中需要包含功能覆盖点的编写，具体可参考mlvp项目：https://github.com/XS-MLVP/mlvp

测试报告

完成测试报告，测试报告中需要包含功能覆盖率、代码行覆盖率对应的分析。功能覆盖率要求达到100%，代码行有效覆盖率需要达到96%以上。

如何参与

请访问以下链接报名参与本活动：

报名问卷

通过PR进行测试代码和测试报告的提交，在本仓库中的tests目录下创目录（你名字的汉语拼音全称），然后在其中放入测试代码和测试报告。

tests/
└── your_name
    ├── test_code
    │   └── test_code.py
    └── test_report.pdf_or_word

加入讨QQ论群: 600480230