50 lines
1.9 KiB
Markdown
50 lines
1.9 KiB
Markdown
# 基于MLVP工具的果壳cache验证实验
|
||
|
||
官方网站：[open-verify.cc](https://open-verify.cc/)
|
||
|
||
## 学习材料
|
||
|
||
完成材料（[https://open-verify.cc/mlvp/docs/](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](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](https://github.com/OSCPU/NutShell/blob/master/src/main/scala/nutcore/mem/Cache.scala)
|
||
|
||
|
||
## 测试用例
|
||
|
||
根据上一步的功能点和测试点，编写测试用例，要求能覆盖到所有的测试点。
|
||
|
||
|
||
## 测试编码
|
||
|
||
根据测试用例编写测试代码，其中需要包含功能覆盖点的编写，具体可参考mlvp项目：[https://github.com/XS-MLVP/mlvp](https://github.com/XS-MLVP/mlvp)
|
||
|
||
## 测试报告
|
||
|
||
完成测试报告，测试报告中需要包含功能覆盖率、代码行覆盖率对应的分析。功能覆盖率要求达到100%，代码行有效覆盖率需要达到96%以上。
|
||
|
||
## 如何参与
|
||
|
||
请访问以下链接报名参与本活动：
|
||
|
||
[报名问卷](https://iz9a87wn37.feishu.cn/share/base/form/shrcnwpiyWaVUzyo47QdPBGy5Yd)
|
||
|
||
通过PR进行测试代码和测试报告的提交，在本仓库中的tests目录下创目录（你名字的汉语拼音全称），然后在其中放入测试代码和测试报告。
|
||
```bash
|
||
tests/
|
||
└── your_name
|
||
├── test_code
|
||
│ └── test_code.py
|
||
└── test_report.pdf_or_word
|
||
```
|
||
|
||
|
||
## 加入讨QQ论群: 600480230
|
||
|
||
<image src="/.github/image/600480230.jpg" alter="600480230" width=500px />
|