日本日报

动态检测可能不变量的Daikon系统。Daikon是可能不变量的动态检测的实现;也就是说,Daikon不变检测器报告可能的程序不变量。不变量是在程序中的某个或多个特定点处保持不变的属性;这些属性通常用于断言语句、文档和正式规范中。示例包括常量$(x=a)$、非零$(x eq 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的输出被用于生成测试用例、预测组件集成中的不兼容、自动化定理证明、修复不一致的数据结构以及检查数据流的有效性等任务。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. 希拉·佩莱格;伊扎基,沙查尔;肖厄姆,沙龙;雅哈夫,伊兰:《谓词编程:交互式合成的正式模型》(2020)
  2. Gupta,Shubhani;Saxena,Aseem;Mahajan,Anmol;Bansal,Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查(2018年)
  3. Kiefer,Moritz;Klebanov,Vladimir;Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018)
  4. Kojima,Kensuke;Imanishi,Akifumi;Igarashi,Atsushi:无种族GPU程序功能正确性的自动验证(2018)
  5. Daniel Nuwritia framework;Daniel Nuwrite framework,2017;Daniel Nuwrite框架;Daniel Nuwrite框架
  6. Smallbone,Nicholas;Johansson,Moa;Claessen,Koen;Algeed,Maximilian:忙碌程序员的快速规范(2017)
  7. Cassel,Sofia;Howar,Falk;Jonsson,Bengt;Steffen,Bernhard:扩展有限状态机的主动学习(2016)
  8. 林芳珍:离散线性序一阶逻辑程序的形式化(2016)
  9. Sharma,Rahul;Aiken,Alex:使用随机搜索从不变检查到不变推理(2016)
  10. Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  11. Pedro Pinto,Rui Abreu,João M.P.Cardoso:使用范围值监控的C程序故障检测:初步结果(2015)阿尔十四
  12. 安娜州卡瓦尔坎蒂;史蒂夫•金;科林•奥哈洛兰;吉姆•伍德考克:通过证据控制覆盖率的测试数据生成(2014)
  13. davidr.Cok:OpenJML:使用JML、OpenJDK和Eclipse的java7软件验证(2014)阿尔十四
  14. Ghezzi,Carlo;Mocci,Andrea;Sangiorgio,Mario:无限状态抽象的合成及其在软件验证中的应用(2014)ioport公司
  15. Isberner,Malte;Howar,Falk;Steffen,Bernhard:《学习寄存器自动机:从语言到程序结构》(2014)
  16. Llano,Maria Teresa;Ireland,Andrew;Pease,Alison:通过自动理论形成发现不变量(2014)ioport公司
  17. 张志海(Deephai,Kapon checking,2013年)
  18. Aarts,Fides;Heidarian,Faranak;Kuppens,Harco;Olsen,Petur;Vaandrager,Frits:通过反例引导的抽象提炼进行自动机学习(2012)
  19. Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012)
  20. da Costa,Umberto Souza;Moreira,Anamaria Martins;Musicante,Martin A.;Souza Neto,Plácido A.:JCML:Java卡程序运行时验证规范语言(2012)