基于EFSM不定型切片测试用例自动生成的研究.pdf

计 算 机 研 究 与 发 展 DOI ：10. 7544/issnl000-1239. 2017. Journal of Computer Research and Development 54(3) ：669-680, 2017 基 于 EFSM 不 定 型 切 片 测 试 用 例 自 动 生 成 的 研 究 苏 宁 郭 俊 霞 李 征 赵 瑞 莲 (北 京 化 工 大 学 信 息 科 学 与 技 术 学 院 北 京 100029) (suning311@163. com) EFSM Amorphous Slicing Based Test Case Generation Su Ning, Guo Junxia, Li Zheng, and Zhao Ruilian (C ollege o f In fo rm a tio n Science and Technology , B e ijin g U niversity o f Chem ical T ech n o lo g y， B e ijin g 100029) Abstract Model based testing is a crucial dimension in software testing. However, with the increase of model scale, model based test case generation is becoming more and more arduous. Extended Finite State Machine (EFSM) has been widely used in industry, which is extended from Finite State Machine (FSM) , and can depict the dynamic behavior of software system more accurately. E F S M based test case generation mainly includes two parts test transition paths generation and test data generation ： that covers the test transition paths, in which search based technology is adapted in test data generation. In order to improve the efficiency of test case generation in large-scale E F S M models, E F S M slicing based test case generation and test case compensating are proposed based on the previous research on E F S M dependence analysis and slicing for non-termination of E F S M models. Two case studies are introduced to show that model slicing based test case generation is more accurate in feasible path generation and test intensity improvement. In this paper, the experiments on 7 standard EFSMs are conducted, and the results show that all of the test case generated from slice can be used in the original model? and in most cases? test case gene