Improving scientific software component quality through assertions

Tamara L. Dahlgren, Premkumar T. Devanbu
2005 Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS '05  
We are proposing research on self-adaptive interface assertion enforcement for the purposes of improving scientific software component quality. Demonstrating software correctness through assertions is a well-known technique for quality improvement. However, the performance penalty is often considered too high for deployment. In order to determine if partial enforcement based on adaptive sampling is a viable solution in performance critical environments, we are pursuing research on mechanisms
more » ... bining static and dynamic analyses to efficiently maximize assertion checking within performance constraints. This paper gives an overview of our initial experiments, current work, and plans.
doi:10.1145/1145319.1145341 fatcat:cytcz2wu5jhwhc6r77bhzqtgk4