×

Daikon公司

swMATH ID: 4319
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
描述: 动态检测可能不变量的Daikon系统。Daikon是动态检测可能不变量的实现;也就是说,Daikon不变量检测器报告可能的程序不变量。不变量是在程序中某一点或多个点保持不变的属性;这些通常用于断言语句、文档和正式规范。示例包括常数\((x=a)\)、非零\((x方程0),在范围内((a leq x leq b)),线性关系((y=ax+b),排序(x leq y),库函数(x=fn(y)),包含(x in y),排序性(x)等等。用户可以扩展Daikon来检查其他不变量。
动态不变检测运行程序,观察程序计算的值,然后报告在观察到的执行过程中为真的属性。动态不变检测是一种可以应用于任意数据的机器学习技术。Daikon可以检测C、C++、Java和Perl程序以及记录结构数据源中的不变量;很容易将Daikon扩展到其他应用程序。
不变量对于理解程序和许多其他应用程序都很有用。Daikon的输出已用于生成测试用例、预测组件集成中的不兼容性、自动定理证明、修复不一致的数据结构以及检查数据流的有效性等任务。
主页: http://groups.csail.mit.edu/pag/pubs/daikon-tool-scp2007-abstract.html
关键词: Daikon公司;动力学分析;动态不变检测;归纳逻辑程序设计;推理;可能不变量;程序理解;规范;规范挖掘
相关软件: JML公司;胡迪尼;z3(零3);艾菲尔铁塔;Z轴;J拉舍尔;电子稳定控制系统/Java;科拉特;简化;卡拉卡拉;罗斯特拉;JUnit公司;棱镜;Why3号机组;布吉;爆炸;Coq公司;埃克拉特;Symstra公司;SyPet公司
引用于: 41文件
全部的 前5名

122位作者引用

福尔克·豪尔
阿里·米莉
彼得·米勒
伯恩哈德·斯特芬
2 谢尔·亚哈龙
2 索菲亚·卡塞尔
2 达科斯塔,翁贝托·苏扎
2 本特·琼森
2 拉米亚·拉比德·吉拉尼
2 Gary T.Leavens。
2 阿斯玛·卢希奇
2 阿纳玛丽亚·马丁斯·莫雷拉
2 奥尔法·姆拉伊
2 Musicante,Martin A。
2 查塔尼亚·纳德卡尼
2 Souza Neto,Plácido A。
1 艺术、忠诚
1 鲁伊·阿伯鲁
1 亚历克斯·艾肯
1 马克西米利安·阿尔盖德
1 玛丽亚·阿尔普特
1 索拉夫·班萨尔
1 鲍嘉璐
1 埃齐奥·巴托西
1 安娜·贝基
1 伯恩哈德·贝克特
1 弗朗西斯科·贝尔纳迪尼
1 艾哈迈德·博阿贾尼
1 韦尔·阿明(Wael-Amine)Boutglay
1 马克·布罗克施米特
1 哈立德·比萨耶斯
1 安娜·卡瓦尔坎蒂
1 查克拉波蒂,苏普拉特克
1 陈玉新
1 Yoonsik Cheon先生
1 玛丽亚·克里斯塔基斯
1 亚历山德罗·西马蒂
1 科恩·克莱森
1 柯蒂斯·克利夫顿
1 大卫·R·库克。
1 保罗·塞勒姆·达席尔瓦
1 阿娜·克里斯蒂娜·维埃拉·德·梅洛
1 罗尔夫·德雷克斯勒
1 迈克尔·D·恩斯特。
1 皮埃特罗·费拉拉
1 格什温·菲
1 加尔达洛,Wided
1 玛丽安·盖奥吉
1 克里斯托弗·格拉迪施。
1 阿尔贝托·冈萨雷斯
1 Philip J.郭。
1 阿什图什·古普塔
1 舒巴尼·古普塔
1 彼得·哈贝梅尔
1 法拉纳克·海达尔
1 许,贾斯汀
1 胡长珍
1 黄康静
1 Atsushi Igarashi
1 今西明文
1 马尔特·伊斯伯纳
1 沙迦·伊扎基
1 金、项羽
1 穆阿·约翰逊
1 卡普尔,迪帕克
1 莫里茨·基弗
1 Steve F.金。
1 弗拉基米尔·克莱巴诺夫
1 科利,普希米特
1 小岛贤介
1 萨瓦斯·科努尔
1 悉达哈·克里希纳
1 丹尼尔·科宁
1 哈科·库彭斯
1 雷诺,K.鲁斯坦M。
1 林方珍
1 刘鹏
1 安莫尔·马哈扬
1 克里斯汀·马提斯
1 斯蒂芬·麦卡曼特
1 埃莉奥诺拉·内斯特里尼
1 德扬·尼科维奇
1 科林·奥哈洛兰
1 彼得·奥尔森
1 卡洛斯·加布里埃尔(Carlos Gabriel),帕切科·冈萨雷斯(Pacheco González)
1 丹尼尔·帕尔多
1 德拉什蒂·巴沙克
1 希拉·佩莱格
1 杰夫·H·珀金斯。
1 邱晓康
1 罗梅罗·卡佩罗,弗朗西斯科·何塞
1 詹姆斯·H·罗斯。
1 罗伊,苏巴吉特
1 克莱德·鲁比
1 阿西姆·萨克森纳
1 拉胡尔·夏尔马
1 沙龙·肖姆
1 尼古拉斯·斯莫尔博内
1 尼基尔·斯瓦米
1 Jean-Pierre塔宾
…和另外22位作者

按年份列出的引文