全国软件测试大赛开发者赛道相关知识记录

datawhale大模型应用开发夏令营学习笔记

环境配置记录

形式化验证：在状态机表征的空间里面进行搜索，验证某个模型是否按规范执行且测试覆盖率达到100%方法：将规范(可选)和代码变为数学公式，再将公式放入定理证明器例子第一种作用：生成测试用例第二种作用：验证程序是否符合规范第一步：把控制流程图转成表达式第二步：将规范加入表达式但是该做法会导致只能找到正确值而不是违反规范的路径，所以要将规范取非，以匹配违反规范的情况进一步，因为一般程序很复杂，所以是用验证

封装ScrollView监听滑到顶部和底部，并自行获取新数据

关掉fn锁

nw.js的简单入门和快速退坑23333

然后就会弹出来一堆字，选1是不自定义路径(默认设置)，因为我是在虚拟机上玩，所以就选一。

在Linux环境(虚拟机)下使用Docker安装并配置NoSQL

numpy找不到long属性