Software quality assurance based on java modeling language and database

International Review on Computers and Software

Volumn 6, Issue 6, 2011, Pages 1117-1121

  Liu, Shukun ^a   Yang, Xiaohua ^b   Chen, Jifeng ^a  

^a HUNAN INTERNATIONAL ECONOMICS UNIVERSITY   (China)

^b UNIVERSITY OF SOUTH CHINA   (China)

Author keywords

Java modeling language; Relevance property; Software quality; Stored procedure

Indexed keywords

DETECTING METHODS; DYNAMIC PROGRAMS; JAVA MODELING LANGUAGE; JAVA PROGRAM; RELATIONAL DATABASE; RELEVANCE PROPERTY; SOFTWARE APPLICATIONS; SOFTWARE QUALITY; SOFTWARE QUALITY ASSURANCE; SQL SERVER 2005; STORED PROCEDURE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE;

JAVA PROGRAMMING LANGUAGE;

EID: 84860191214     PISSN: 18286003     EISSN: 18286011     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Christoph Csallner, Yannis Smaragdakis, and Tao Xie, DSDCrasher: A hybrid analysis tool for bug finding, ACM Transactions on Software Engineering and Methodology, vol. 17, n. 2, pp. 81-83, 2008.
2. T. Ramananandro. Mondex, An electronic purse: specification and refinement checks with the Alloy model finding method. Formal Aspects of Computing, vol. 20, n.1, pp.21-39, 2008.
3. M. D. Ernst, Dynamically Discovering Likely Program Invariants, Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (Seattle, Washington), Aug, 2000.
4. G. T. Leavens et al, Preliminary design of JML: A behavioral interface specification language for Java. ACM SIGSOFT Software Engineering Notes, vol. 31, n. 3, pp.1-38, 2009.
5. A. Darvas, P. Muller, Reasoning About Method Calls in Interface Specifications, Journal of Object Technology, vol. 5, n. 5, pp. 59-85, 2009.
6. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko, Verification of class liveness properties with Java Modeling Language, IET Software, vol.2, n.6, pp. 500-514, 2008.
7. Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol. 69, n. 3 pp. 35-45. 2007.
8. Taweesup Apiwattanapong, Alessandro Orso, and Mary Jean Harrold, JDiff: A differencing technique and tool for object-oriented programs, Automated Software Engineering Journal, vol. 14, n. 3, pp. 3-36, 2007.
9. H. Lehner, P. Muller, Efficient runtime assertion checking of assignable clauses with data groups. In D. Rosenblum and G. Taentzer, editors, Fundamental Approaches to Software Engineering, vol. 6013 of Lecture Notes in Computer Science, pp.338-352. Springer-Verlag, 2010
10. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. R. Kiniry, G. T. Leavens, An overview of JML tools and applications, Journal on Software Tools for Technology Transfer, vol. 7, n. 3, pp. 212-232, 2005.