Home > Table of Contents


Proceedings of 2009 International Symposium on Computer Science and Computational Technology (ISCSCT 2009)

Huangshan, China, December 26-28, 2009

Editors: Fei Yu, Guangxue Yue, Jian Shu, Yun Liu

AP Catalog Number: AP-PROC-CS-09CN005

ISBN: 978-952-5726-07-7 (Print), 978-952-5726-08-4 (CD-ROM)

Page(s): 39-44

Method of the Object-oriented Program Exact Testing

††††††† Xiaolan Wang, Yanshuai Zhang, and Hong He

Full text:† PDF


Object-oriented programming Exact Testing is an important research direction on testing. But there havenít been any effective methods of error tracking and positioning in object-oriented programming exact testing. In this paper, a method, based on symbolic execution and constraint solving, is proposed to build the dependency graph of the error statement. Compared with other studies, this method is more accurate. Experiments show that this method can be used to track and position error in testing procedures for small and medium-size process. It has a wide application in many areas, such as program testing, debugging and code optimization, etc.

Index Terms

Object-Oriented program, Error Tracking, Symbolic Execution, Exact Testing

Copyright @ 2009 ACADEMY PUBLISHER ó All rights reserved