Title :
A practical approach to assertion testing framework based on inner class
Author :
Qu, Guodong ; Guo, Song-Tao ; Zhang, Hongqun
Author_Institution :
Center for Earth Obs. & Digital Earth, Chinese Acad. of Sci., Beijing, China
Abstract :
Using logical assertions for program verification is a basic research subject in software engineering. This paper analyzes current approaches and proposes three rules that an assertion testing framework should satisfy. That is, after adding contracts using a framework, the contracts in a tested project should be able to satisfy consistency, transitivity and completeness. By satisfying these three rules, the contracts can perform as a solid foundation for automatic test case generation. This paper also brings forward a practical approach to writing contracts, the Java Test Oracle Creator (jtoc), which uses Java annotations and Java inner class to construct intelligible contracts for programmers. Finally, a proof is given that jtoc-generated test projects satisfy the three rules proposed above.
Keywords :
Java; formal verification; program testing; software engineering; Java annotations; Java inner class; Java test oracle creator; assertion testing framework; automatic test case generation; inner class; intelligible contracts; jtoc; logical assertions; program verification; software engineering; Contracts; Earth; Java; Object oriented modeling; Programming; Software engineering; Testing; assertion checkers; program verification; programming by contract; software testing;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2011 IEEE 2nd International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-9699-0
DOI :
10.1109/ICSESS.2011.5982272