Databases Reference
In-Depth Information
Chapter 5
Static API Specification Mining:
Exploiting Source Code Model
Checking
Mithun Acharya
Industrial Software Systems, ABB Corporate Research
Tao Xie
Department of Computer Science, North Carolina State University
5.1
Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 114
5.2
Static Trace Generation for Mining Specications ::::::::::::::::::::::: 116
5.2.1
Example ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 117
5.2.2
Framework :::::::::::::::::::::::::::::::::::::::::::::::::::::::: 119
5.2.2.1
Partial and Total Order ::::::::::::::::::::::::::::::::: 120
5.2.2.2
Frequent Closed Partial Orders (FCPO) :::::::::::::::: 121
5.2.2.3
Formalizing FCPO Mining from Program Traces ::::::: 122
5.2.2.4
Trace Generation :::::::::::::::::::::::::::::::::::::::: 123
5.2.2.5
Scenario Extraction :::::::::::::::::::::::::::::::::::::: 126
5.2.2.6
Specication Mining ::::::::::::::::::::::::::::::::::::: 127
5.2.2.7
Complexity ::::::::::::::::::::::::::::::::::::::::::::::: 128
5.2.3
Implementation :::::::::::::::::::::::::::::::::::::::::::::::::::: 129
5.2.4
Comparison with a Dynamic Miner ::::::::::::::::::::::::::::::: 130
5.3
Adapting Static Trace Generation for Mining API Error-Handling
Specications ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 133
5.3.1
Example ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 135
5.3.2
Adaptation { The Details ::::::::::::::::::::::::::::::::::::::::: 140
5.3.2.1
Error/Normal Trace Generation ::::::::::::::::::::::::: 140
5.3.2.2
Specication Mining ::::::::::::::::::::::::::::::::::::: 144
5.3.2.3
Verication ::::::::::::::::::::::::::::::::::::::::::::::: 145
5.3.3
Evaluation ::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 145
5.4
Conclusions :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 150
5.4.1 Summary :::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 151
5.4.2 Scope, Limitations, and Further Research :::::::::::::::::::::::: 151
Bibliography ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 152
113
Search WWH ::
Custom Search