Databases Reference
In-Depth Information
Chapter 8
Automatic Inference and Effective
Application of Temporal
Specifications
*
Jinlin Yang
Microsoft|Redmond
David Evans
University of Virginia
8.1
Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 242
8.1.1
Prior Work on Inferring Specications :::::::::::::::::::::::::::: 243
8.1.2
Contributions :::::::::::::::::::::::::::::::::::::::::::::::::::::: 244
8.2
Specication Inference :::::::::::::::::::::::::::::::::::::::::::::::::::: 245
8.2.1
A Running Example: Producer-Consumer :::::::::::::::::::::::: 246
8.2.2
Instrumentation ::::::::::::::::::::::::::::::::::::::::::::::::::: 246
8.2.3
Running ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 249
8.2.4
Inference Engine ::::::::::::::::::::::::::::::::::::::::::::::::::: 249
8.2.4.1
Property Templates :::::::::::::::::::::::::::::::::::::: 249
8.2.4.2
Pattern Matching Algorithm :::::::::::::::::::::::::::: 250
8.2.4.3
Handling Context Information :::::::::::::::::::::::::: 255
8.2.5
Approximate Inference :::::::::::::::::::::::::::::::::::::::::::: 257
8.2.5.1
Imperfect Traces ::::::::::::::::::::::::::::::::::::::::: 257
8.2.5.2
Detecting the Dominant Behavior ::::::::::::::::::::::: 258
8.2.6
Property Selection ::::::::::::::::::::::::::::::::::::::::::::::::: 259
8.2.6.1
Static Call Graph Based Heuristic :::::::::::::::::::::: 259
8.2.6.2
Naming Similarity Heuristic ::::::::::::::::::::::::::::: 260
8.2.7
Chaining Method :::::::::::::::::::::::::::::::::::::::::::::::::: 261
8.2.7.1
Property Graph :::::::::::::::::::::::::::::::::::::::::: 261
8.2.7.2
Chaining Is in NP-Complete :::::::::::::::::::::::::::: 263
8.2.7.3
The Chaining Algorithm ::::::::::::::::::::::::::::::::: 265
8.2.8
Perracotta ::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 267
8.2.8.1
Instrumentation :::::::::::::::::::::::::::::::::::::::::: 267
8.2.8.2
Inference Engine ::::::::::::::::::::::::::::::::::::::::: 268
This chapter is partly based on [84{88].
241
Search WWH ::
Custom Search