Proj CMI Paper Reading: Mining Operational Preconditions

Abstract

背景：
前提：使用某个进程的客户必须要先设置状态，而描述需要做到的状态就是preconditions。A procedure’s client must satisfy its precondition— that is, reach a state in which the procedure may be called.
本文：
任务：推测学习preconditions
方法：使用静态分析来推测某个变量需要经过的操作序列（比如In parseProperties(String xml), the parameter xml normally stems from getProperties().），然后用于探测缺陷
实验：
数据集：AspectJ
效果：

1. found 288 violations of operational preconditions
2. uncovering 9 unique defects and 48 unique code smells.

标签：xml,Mining,CMI,Operational,推测,preconditions,某个,unique,procedure
来源： https://www.cnblogs.com/xuesu/p/16339440.html