文件名称：minithesis:假设核心思想的极少实现
文件大小：16KB
文件格式：ZIP
更新时间：2024-06-03 06:42:49
Python
最小化 这是对的核心思想的极少的实现，主要是为了进行演示，目的是向人们展示他们如何建立和运行其基础知识。 Minithesis支持： 在测试中内联生成任意值，包括基于先前的测试结果 完全通用的缩小 前提条件 测试数据库 有针对性的基于属性的测试 而且它用相对较少的代码即可实现所有这些功能-我的最初目标是将其保持在1000 sloc以下，但是后来我实现了大约两倍于我想要的功能集，但没有达到300 sloc，所以我对此表示怀疑我会接近的（包括注释，文档字符串等。当我尝试使其更易于理解和更详尽地解释时，它可能最终会达到1kloc） 笔记 缩小和定位的算法都有些幼稚，但并不可怕-它们应该足够好，以至于比不使用它们要好。 为了简化起见，数据库使用Python的DBM模块。 在之后或与之相结合时，这可能是最好的阅读方法 这并不一定紧密跟踪核心假设实现，而更像是“实质性”实现。 这可能无法很好
【文件预览】：
minithesis-master
----LICENSE.txt(173B)
----test_minithesis.py(17KB)
----requirements.txt(349B)
----README.md(3KB)
----Makefile(587B)
----minithesis.py(30KB)
----.gitignore(125B)