%0 Journal Article %A Cencen Li and Shaoying Liu and Shin Nakajima %D 2012 %J International Journal of Computer and Information Engineering %B World Academy of Science, Engineering and Technology %I Open Science Index 64, 2012 %T An Experiment for Assessment of a “Functional Scenario-based“ Test Case Generation Method %U https://publications.waset.org/pdf/7240 %V 64 %X Specification-based testing enables us to detect errors in the implementation of functions defined in given specifications. Its effectiveness in achieving high path coverage and efficiency in generating test cases are always major concerns of testers. The automatic test cases generation approach based on formal specifications proposed by Liu and Nakajima is aimed at ensuring high effectiveness and efficiency, but this approach has not been empirically assessed. In this paper, we present an experiment for assessing Liu-s testing approach. The result indicates that this testing approach may not be effective in some circumstances. We discuss the result, analyse the specific causes for the ineffectiveness, and describe some suggestions for improvement. %P 424 - 431