Gaining Confidence in Scientific Applications through Executable Interface Contracts

TitleGaining Confidence in Scientific Applications through Executable Interface Contracts
Publication TypeConference Paper
Year of Publication2007
AuthorsDahlgren, T, Bernholdt, DE, McInnes, LCurfman
Date Published12/2007
Other NumbersANL/MCS-P1521-0708
Abstract

Interface contract enforcement is intended to help scientists gain confidence in software built from third-party components. Unfamiliar components present increased risk of incorrect or unanticipated usage patterns and unexpected component behavior. Executable interface contracts can address these issues but may incur unacceptable overhead. Research into techniques for performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.

PDFhttp://www.mcs.anl.gov/papers/P1521.pdf