西科

SYCO:并发对象的系统测试工具。本文介绍了同步对象系统测试工具SYCO的概念、用法和原型实现。系统接收程序、待测方法的选择以及参数的一组初始值作为输入。SYCO提供了一个可视化的web界面来执行测试过程,并将不同执行的结果可视化,以及以序列图形式调度的任务序列。它的核心包括最先进的偏序约简技术,以避免测试过程中的冗余计算。此外,SYCO还引入了一个选项来有效地捕捉死锁错误。特别是,它使用了先进的技术来引导执行朝着潜在的死锁路径和丢弃保证无死锁的路径。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换