TY -的A2 Risi米歇尔AU -佩雷斯,塞吉奥AU -席尔瓦,约瑟盟——Tamarit萨尔瓦多PY - 2019 DA - 2019/02/25 TI -自动测试程序切片机SP - 4108652六世- 2019 AB -程序切片技术提取程序的一部分(片)影响或受到一组变量在给定的点(切片准则)。计算最小片在一般情况下是不可判定的,和获得最小片给定程序通常是计算禁止即使对于非常小的项目。因此,不管我们使用什么程序切片机,一般来说,我们不能确保我们的片是最小的。这可能是根本原因没有基准的最小集合程序切片的存在。在这项工作中,我们提出一个方法 自动生产quasi-minimal片。使用我们的方法,我们已经有了一套quasi-minimal片为Erlang之后 手动证明他们是最小的。我们解释构建套件的过程中,使用的方法和工具,和获得的结果。套房配有一个集合一起Erlang的基准不同的切片标准和相关的最小片。SN - 1058 - 9244 UR - https://doi.org/10.1155/2019/4108652 - 10.1155 / 2019/4108652摩根富林明科学编程PB - Hindawi KW - ER