基于状态机模型构件健壮性测试.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.5, May 2010, pp.930−941 doi: 10.3724/SP.J.1001.2010.03544 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 基于状态机模型的构件健壮性测试 1,2 1,2 1,2 1,2+ 雷 斌 , 王林章 , 卜 磊 , 李宣东 1(南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093) 2(南京大学 计算机科学与技术系,江苏 南京 210093) Robustness Testing for Components Based on State Machine Model LEI Bin1,2, WANG Lin-Zhang1,2, BU Lei1,2, LI Xuan-Dong1,2+ 1(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China) 2(Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China) + Corresponding author: E-mail: lxd@ Lei B, Wang LZ, Bu L, Li XD. Robustness testing for components based on state machine model. Journal of Software, 2010,21(5):930−941. /1000-9825/3544.htm Abstract : This paper defines robustness based on a formal semantics of component system, and proposes a testing framework to detect robustness problems. The approach is implemented in a tool named RoTesCo (robustness testing for components). It traverses the state machine of the component under testing to generate paths, which cover all the transitions. Firstly, the call sequences following the paths drive the component to different states. Secondly, it feeds method calls with invalid parameters or inopportune calls to the component. The test oracle is automated by distinguishing different types of exceptions. RoTesCo is ev