Sketch of Implements for Mining Contracts Based on Framework of Software Quality Assurance

Shu Kun Liu; Xiao Hua Yang; Ji Feng Chen

doi:10.4028/www.scientific.net/AMR.460.240

Paper Titles

The Design of Magnetorheological Fluid in the Auto-Press Clutch
p.222

Magnetorheological Flexible Clamp Experiment and Analysis
p.226

Axisymmetric Finite-Element Analysis for Interface Migration-Controlled Shape Instabilities of Plate-Like Double-Crystal Grains
p.230

Application Study of Costume Materials in Interior Decoration
p.236

Sketch of Implements for Mining Contracts Based on Framework of Software Quality Assurance
p.240

On the Application of Bamboo Fiber in Home Furnishing Design
p.244

Thermodynamic Analysis on the Precipitation of Crystalline Phase from LF Slag during Cooling Process
p.249

The Study of the Optimum Blended Ratio of Soybean Protein Fiber/Polyester Blended Yarn
p.254

Affection of Twist Factor and Blended Ratio to the Strength of Soybean Protein Fiber Blended Yarn
p.258

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 460Sketch of Implements for Mining Contracts Based on...

Sketch of Implements for Mining Contracts Based on Framework of Software Quality Assurance

Abstract:

In this paper, the main function of program contract in the software quality assurance is showed combined with the technology of static analyzing and dynamical analyzing. And the meaning of contract is described as well. Daikon and Diduce which are the main tools for detecting the program contract are introduced carefully. Not only the work process of Daikon and Diduce is explicated but also the main characters of them are showed. Combined with the framework of software quality assurance, the main differences between Daikon and Diduce are listed and the theoretical model of detecting contract is expressed in detail.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 460)

Pages:

240-243

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.460.240

Citation:

Cite this paper

Online since:

February 2012

Authors:

Shu Kun Liu, Xiao Hua Yang, Ji Feng Chen

Keywords:

Compile, Contract, Software Quality, Trace File

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Information on http: /www. ibm. com/developerworks/java/library/j-jml/index. html.

Google Scholar

[2] Michael D. Ernst, Jeff H. Perkins, Philip J. Guo. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 69(3) (2007), pp.35-45.

DOI: 10.1016/j.scico.2007.01.015

Google Scholar

[3] Ernst M. D. Dynamically Discovering Likely Program Invariants. Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (2000).

Google Scholar

[4] Hangal. S, Lam M. S. Tracking down software bugs using automatic detection. In proceedings of the 24th international conference on software engineering, (2002), pp.291-301.

DOI: 10.1145/581376.581377

Google Scholar

[5] Liu shukun. Dynamically Detecting Technique of Simple Non-functional Dependence Program Invariant Based on Database. Hengyang: Nan Hua University (2007).

Google Scholar

[6] Mou guangcan. Software test is an important way to software quality assurance computer application and research, no. 2 (1997), pp.23-15.

Google Scholar

[7] YANG shuqun, Zhang shichang. Two basic questions of program formal verification, Journal of ShangRao teachers college, 22(6) (2002), pp.45-48.

Google Scholar