×

潘尼洛普

swMATH ID: 23067
软件作者: 弗朗西斯科·索伦蒂诺(Francesco Sorrentino)、阿扎德·法尔赞(Azadeh Farzan)、P.马杜苏丹(P.Madhusudan)
描述: PENELOPE:编织线程以暴露原子性冲突。测试并发程序面临交错爆炸问题的挑战,即探索程序所呈现的大量交错的问题,即使在单个测试输入下也是如此。我们建议明智地进行测试,而不是尝试所有的交织:只测试那些导致交织的时间表,这些交织是典型的错误模式。特别是,在本文中,我们选择了执行与原子性冲突相对应的交互模式的时间表。给定在测试工具下执行一个程序,我们的技术是从执行中通过算法挖掘一组导致原子性冲突的备用调度。然后在这些预测的违反原子性的时间表下重新执行程序,并由测试工具进行验证。我们的工具的显著特点是高效的算法预测和替代调度的合成,覆盖程序位置处所有可能的原子性冲突。我们实现了实现该测试框架的工具PENELOPE,并表明监控、预测和重新调度(带有精确的repo)在查找与原子性冲突相关的错误方面是高效的。
主页: https://dl.acm.org/citation.cfm?id=1882300
相关软件: C触发器;j预测器;ASM公司;QuickLex公司
引用于: 1出版物

2位作者引用

1 张延忠
1 维杰·加格。

0连载引用

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文