Developing a CIL Parser

Developing a CIL Parser[1] 中对 .NET 库的分析建议开发一种工具从 .NET 类中自动提取合同。 文章观察到
前提条件往往隐藏在显式异常情况下。 一个工具利用
这一观察是作为本文凭论文的一部分而发展起来的，并且
记录在本报告中。 尽管所选择的方法仅限于初级
案例，将该工具应用于类 ArrayList、Stack 和 Queue
.NET 框架 [16] 的研究表明，在这些类中，一半或更多的显式
可以解决异常情况，相应的前提条件是
由当前实现提取。 报告包括文档
工具的实施、结果的介绍和讨论
本方法和实施的限制和扩展。


(The analysis of .NET libraries in [1] suggests the development of a tool for
automatic contract extraction from .NET classes. The article observes that
preconditions tend to be hidden under explicit exception cases. A tool leveraging
this observation has been developed as part of this diploma thesis and is
documented in this report. Although the chosen approach is limited to elementary
cases, the application of the tool to classes ArrayList, Stack and Queue
of the .NET framework [16] reveals that, in these classes, half or more of all explicit
exception cases can be addressed and the corresponding preconditions are
extracted by the current implementation. The report includes the documentation
of the tool’s implementation, a presentation of the results and a discussion
of limitations and extensions of the present approach and implementation.)

1623566374048.rar

2021-6-13 14:39 上传

文件大小: 1.22 MB
下载次数: 1