Automatic generation of post-conditions for Java methods by limited utilization of Daikon
Bibliographic Information
- Other Title
-
- Daikonの限定利用によるJavaメソッドの事後条件の自動導出
- Daikon ノ ゲンテイ リヨウ ニ ヨル Java メソッド ノ ジゴ ジョウケン ノ ジドウ ドウシュツ
Search this article
Description
Recently, the application of Design by Contract(DbC) to Java is concerned. The contracts can be made by describing pre-conditions, post-conditions, and invariants into the Java programs as assertions. Daikon is a tool which automatically generates assertions such as pre-conditions, post-conditions, and invariants. However, in generating assertions, Daikon checks only pre-defined properties based on the values of variables while running the Java programs. Thus when the relations between variables are complex, Daikon can generate only quite simple assertions because there are no pre-defined properties matching such those relations. In this paper, focusing on post-conditions, we propose a method which enables to generate detailed post-conditions with complex relations between variables. The method applies Daikon to only loop parts of the Java programs, while in the rest parts it traces the values of the whole variables. From a simple experiment. we found that the method generated more detailed post-conditions than Daikon alone.
Journal
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 105 (332), 7-12, 2005-10-07
電子情報通信学会
- Tweet
Details 詳細情報について
-
- CRID
- 1050299693927768320
-
- NII Article ID
- 110003498405
-
- NII Book ID
- AN10013287
-
- HANDLE
- 11094/27424
-
- NDL BIB ID
- 7699772
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles
- KAKEN