daikon用户手册

http://plse.cs.washington.edu/daikon/download/doc/daikon.html

1 引言

Daikon是对可能的不变量的动态检测的实现；也就是说，Daikon不变量检测器报告可能的程序不变量。不变量是指在程序中的某一点或几点保持的属性；这些属性经常出现在断言语句、文档和正式规范中。不变量在程序理解和其他许多应用中都很有用。例子包括’x.field > abs(y)’；‘y = 2*x+3’；‘数组a被排序’；对于所有列表对象lst，‘lst.next.prev = lst’；对于所有treenode对象n，‘n.left.value < n.right.value’；‘p != null => p.content in myArray’；还有很多。你可以扩展Daikon以添加新的属性（参见增强Daikon输出，或参见Daikon开发者手册中的新不变式）。

动态不变式检测运行一个程序，观察程序计算的值，然后报告在观察到的执行过程中为真的属性。Daikon可以检测C、C++、C#、Eiffel、F#、Java、Perl和Visual Basic程序中的属性；电子表格文件；以及其他数据源中的属性。(动态不变量检测是一种机器学习技术，可以应用于任意数据)。将Daikon扩展到其他应用程序也很容易。

Daikon可以从download-site免费下载。Daikon的许可证允许不受限制的使用（见许可证）。该版本包括源代码（也可在GitHub上获得）和文档，许多研究人员和从业人

daikon用户手册相关推荐

NSight Compute 用户手册（下）
NSight Compute 用户手册(下) 主菜单文件新建项目使用"新建项目"对话框创建新的分析项目 Main Menu and Toolbar Information on ...
NSight Compute 用户手册（中）
NSight Compute 用户手册(中) NVIDIA Nsight Compute支持密码和私钥身份验证方法.在此对话框中,选择身份验证方法并输入以下信息: 密码 IP/主机名:目标设备的IP地 ...
NSight Compute 用户手册（上）
NSight Compute 用户手册(上) 非交互式配置文件活动从NVIDIA Nsight Compute启动目标应用程序启动NVIDIA Nsight Compute时,将出现欢迎页面.单击 ...
sinee303a变频器说明书_SINEE--EM303A变频器用户手册.pdf
SINEE--EM303A变频器用户手册 EM303A系列开环矢量变频器用户手册前言感谢您选用深圳市正弦电气股份有限公司研制的 EM303A 系列开环矢量控制变频器. 资料编号发布时间:201 ...
abaqus分析用户手册单元卷_作用卷、分析卷、材料卷三件套，让你也能熟练应用Abaqus...
<Abaqus分析用户手册--指定条件.约束与相互作用卷>是"Abaqus用户手册大系"中的一册,包括指定条件.约束与相互作用三个部分.指定条件部分对各种物理过程中涉及 ...
linux c 内存泄漏调试工具《valgrind用户手册》 2. 使用和理解Valgrind核心
valgrind 用户手册原版地址:https://valgrind.org/docs/manual/manual.html 此原文地址:https://valgrind.org/docs/manua ...
计算机考古：发现世界上最古老的用户手册
点击上方蓝色"程序猿DD",选择"设为星标" 回复"资源"获取独家整理的学习资料! 来源 | https://www.oschina.net ...
VLP16线用户手册.md
VLP16线用户手册文档传感器数据分组类型和定义传感器产生两种类型的数据包:数据包和位置数据包.位置包有时也被称为遥测包或GPS包. 数据包包括传感器测量到的三维数据以及返回光脉冲的表面的校 ...
word2html文档,Word2HTML用户手册.doc
Word2HTML – 在线文档发布软件第 PAGE 2 页共 NUMPAGES 33 页 Word2HTML 用户手册版本:V2.0 /word2html/ service@ 目录 TOC ...

daikon用户手册

1 引言

daikon用户手册相关推荐

最新文章

热门文章