A slightly different stress-producing test produced similar results with a different group of 23 volunteers.
一个由另外23名志愿者参与,略微有些不同的压力测试显示了相似的结果。
In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.
文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
应用推荐