期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：11
页码：65-68
出版社：International Journal of Computer Science and Network Security
摘要：Component contract, as an interface specification, is a good idea for improving software quality. This paper describes the technique of dynamically attaching behavioral contracts a posteriori to binary component with no explicit contracts discipline, and presents a model based on the Common Language Infrastructure (CLI) to organize component contracts in the form of metadata and to perform efficient runtime verification. Our solution also gives a common understanding of behavioral contracts in composition even if the binary component is originally written in different programming languages. The added contract information, being easily retrieved, has a separate representation that provides flexibility, and results in raised binary component dependability and correctness on reuse and composition phase.
