Paper Info
Title
Performance assertion checking
Abstract
Performance assertion checking is an approach to automating the testing of performance properties of complex systems. System designers write assertions that capture expectations for performance; these assertions are checked automatically against monitoring data to detect potential performance bugs. Automatically checking expectations allows a designer to test a wide range of performance properties as a system evolves: data that meets expectations can be discarded automatically, focusing attention on data indicating potential problems.PSpec is a language for writing performance as sertions together with tools for testing assertions and estimating values for constants in assertions. The language is small and efficiently checkable, yet capable of expressing a wide variety of performance properties. Initial experience indicates that PSpec is a useful tool for performance testing and debugging; it helped uncover several performance bugs in the runtime system of a parallel programming language.
Year
DOI
Venue
1993
10.1145/168619.168630
Operating Systems Review
Keywords
Field
DocType
performance testing,performance assertion checking,monitoring log,system evolves,complex system,parallel programming language,complex software system,performance debugging,system designer,precise performance assertion,performance assertion,performance regression testing,performance data,performance bug,potential performance bug,runtime system,performance property,regression testing,unix,system design,software systems,software performance,logical disk
Focusing attention,Complex system,Programming language,Computer science,Assertion,Unix,Logical disk,Parallel programming model,Debugging,Runtime system
Conference
Volume
Issue
ISSN
27
5
0163-5980
ISBN
Citations 
PageRank 
0-89791-632-8
28
2.44
References 
Authors
23
2
Name
Order
Citations
PageRank
esther perl sharon110431.65
William E. Weihl22614903.11