Contract Specification in Java : Classification, Characterization, and a New Marker Method
スポンサーリンク
概要
- 論文の詳細を見る
Design by Contract (DBC), originated in the Eiffel programming language, is generally accepted as a practical method for building reliable software. Currently, however, few languages have built-in support for it. In recent years, several methods have been proposed to support DBC in Java. We compare eleven DBC tools for Java by analyzing their impact on the developers programming activities, which are characterized by seven quality attributes identified in this paper. It is shown that each of the existing tools fails to achieve some of the quality attributes. This motivates us to develop ezContract, an open source DBC tool for Java that achieves all of the seven quality attributes. ezContract achieves streamlined integration with the working environment. Notably, standard Java language is used and advanced IDE features that work for standard Java programs can also work for the contract-enabled programs. Such features include incremental compilation, automatic refactoring, and code assist.
- (社)電子情報通信学会の論文
- 2008-11-01
著者
-
CHENG Yu
Department of Automation, Tsinghua University
-
Cheng Yu
Department Of Computer Science And Information Engineering National Taipei University Of Technology
-
CHEN Chien-Tsun
Department of Computer Science and Information Engineering, National Taipei University of Technology
-
HSIEH Chin-Yun
Department of Computer Science and Information Engineering, National Taipei University of Technology
-
Hsieh Chin-yun
Department Of Computer Science And Information Engineering National Taipei University Of Technology
-
Chen Chien-tsun
Department Of Computer Science And Information Engineering National Taipei University Of Technology
-
Cheng Yu
Department Of Automation Tsinghua University
関連論文
- Video Image Hierarchical Classification System in Compressed Domain Using SVM
- Contract Specification in Java : Classification, Characterization, and a New Marker Method
- Multiresolution Watermarking for MPEG-4 2D Mesh Animation(Information Security)
- Clinical applications of computerized tomography 3-D reconstruction imaging for diagnosis and surgery in children with large liver tumors or tumors at the hepatic hilum
- The 1/f Noise Associated with Electromigration in AlSiCu Thin Films
- Correlation Between Blue-on-Yellow Perimetry and Scanning Laser Polarimetry with Variable Corneal Compensation Measurements in Primary Open-Angle Glaucoma