%0 Journal Article
%T Robustness Testing for Components Based on State Machine Model<br>基于状态机模型的构件健壮性测试
%A LEI Bin
%A WANG Lin-Zhang
%A BU Lei
%A LI Xuan-Dong
%A <br>雷 斌
%A 王林章
%A 卜 磊
%A 李宣东
%J 软件学报
%D 2010
%I 
%X 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 evaluated on a benchmark of real-world components from widely-used open source projects and it has produced encouraging results.
%K software testing
%K component
%K robustness
%K state machine
%K invalid input<br>软件测试
%K 构件
%K 健壮性
%K 状态机
%K 无效输入
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5491DAA8857B9B21D2AE5A857B15A8E3&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=E158A972A605785F&sid=8587C7CAA7A3D0DB&eid=27A5865B8C0B85C3&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=25