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
效果：
- found 288 violations of operational preconditions
- uncovering 9 unique defects and 48 unique code smells.
