The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
The C programming language
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Performance assertion checking
Performance assertion checking
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Object-Oriented Software Construction
Object-Oriented Software Construction
Asserting performance expectations
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
Testing using Log File Analysis: Tools, Methods, and Issues
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Event-Based Performance Analysis
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Automatically Inferring Temporal Properties for Program Evolution
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
| Hi-index | 0.00 |
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, such as performance. This paper presents the implementation and application of the performance assertions in mobile device software. When applying performance assertions for such systems, we have discovered and resolved a number of issues in assertion specification, matching, and evaluation that were unresolved in previous research. The paper describes a simple, but effective framework geared towards mobile devices that allows specification and validation of real world performance requirements.