sirp Posted October 8, 2010 Posted October 8, 2010 The analysis of .NET libraries in [1] suggests the development of a tool forautomatic contract extraction from .NET classes. The article observes thatpreconditions tend to be hidden under explicit exception cases. A tool leveragingthis observation has been developed as part of this diploma thesis and isdocumented in this report. Although the chosen approach is limited to elementarycases, the application of the tool to classes ArrayList, Stack and Queueof the .NET framework [16] reveals that, in these classes, half or more of all explicitexception cases can be addressed and the corresponding preconditions areextracted by the current implementation. The report includes the documentationof the tool’s implementation, a presentation of the results and a discussionof limitations and extensions of the present approach and implementation.final_report.pdf
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now