Authors: Keiji Uetsuki; Tohru Matsuodani; Kazuhiko Tsuda
Addresses: Graduate School of Systems and Information Engineering, University of Tsukuba, 3-29-l Otsuka, Bunkyo-ku, Tokyo, Japan ' Debug Engineering Institute, 4-16-1 Hijirigaoka, Tama-shi, Tokyo, Japan ' Graduate School of Systems and Information Engineering, University of Tsukuba, 3-29-l Otsuka, Bunkyo-ku, Tokyo, Japan
Abstract: A typical software testing is performed by making and running test cases that consist of input pattern and expected output pattern. Because exhaustive testing requires billions of test cases and many labours, we can only perform hundreds of them in practice. As for a software logic testing, selecting test cases from many candidates to achieve enough programme path coverage is important, and specific software testing skills are required for it. In our study, we propose a knowledge creation method of software logic extracted automatically from programme source code. In our method, all possible programme paths are extracted from source code, then converted into a decision table, which is easy-readable table format for software testing engineer. The logic verification can be performed exhaustively in a short time by comparing the decision table with a specification of software. Our method would contribute to improve both efficiency and quality of software testing.
Keywords: software testing; decision tables; logic testing; control path; concolic testing; decision table verification; knowledge creation; software logic.
International Journal of Computer Applications in Technology, 2013 Vol.46 No.1, pp.54 - 64
Published online: 29 May 2013 *Full-text access for editors Access for subscribers Purchase this article Comment on this article