阿达布

使用ADABU挖掘对象行为。要了解什么构成了正确的程序行为,可以从正常行为开始。我们观察实际的程序执行来构造总结对象行为的状态机。这些状态机称为对象行为模型,捕捉两种方法之间的关系:更改状态的赋值函数(如add())和保持状态不变的检查器(如isEmpty()):“向量对象最初处于isEmpty()状态;在add()之后,它将进入isEmpty()状态”。我们的ADABU JAVA原型已经成功地从AspectJ编译器和Columba电子邮件客户端挖掘出了未记录行为的模型;这些模型往往很小,而且容易理解。


zbMATH参考文献(参考 7篇文章 参考)

显示结果1到7,共7个。
按年份排序(引用)

  1. 希拉·佩莱格(Peleg)、肖厄姆(Shoham)、沙龙(Sharon)、雅哈夫(Yahav)、伊兰(Eran)、杨红石(Yang,Hongseok):代表大代码的符号自动机(2016)
  2. Aarts,Fides;Kuppens,Harco;Tretmans,Jan;Vaandrager,Frits;Verwer,Sicco:改进协议一致性测试的主动Mealy机器学习(2014)
  3. Ghezzi,Carlo;Mocci,Andrea;Sangiorgio,Mario:无限状态抽象的合成及其在软件验证中的应用(2014)ioport公司
  4. Andrea Mocci;Sangiorgio,Mario:用行为模型检测运行时组件的变化(2013)ioport公司
  5. Ficco,Massimo;Pietrantuono,Roberto;Russo,Stefano:测试驱动开发中的Bug本地化(2011)ioport公司
  6. Artzi,Shay;Kieżun,Adam;Quinonez,Jaime;Ernst,Michael D.:参数引用不变性:形式定义、推理工具和比较(2009)ioport公司
  7. Carzaniga,Antonio;Gorla,Alessandra;Pezzè,Mauro:通过自动解决方案修复web应用程序(2008)ioport公司