用于验证的活性
统计方法学
2016-09-15 v1 统计理论
应用统计
统计理论
摘要
我们针对一种简单的并发对象语言，探索了将活性用于交互式程序验证。我们的实验性 IDE 将两种（形式上对偶的）连续测试集成到开发环境中：兼容性检查，用于验证一个对象对其他对象的使用；以及合规性检查，用于验证一个对象关于精化另一对象行为的声明。IDE 高亮显示的源代码错误不是静态类型错误，而是系统某些执行中发生的运行时错误在源代码中的反映。我们展示了我们的方法，并讨论了机遇与挑战。
引用
@article{arxiv.1609.04234,
title = {Two New Tests for Equality of Several Covariance Functions},
author = {Jia Guo and Jin-Ting Zhang},
journal= {arXiv preprint arXiv:1609.04234},
year = {2016}
}