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

作者：雷斌; 王林章; 卜磊; 李宣东

来源：软件学报, 2010, (05): 930-941.

• 软件测试
• 构件
• 健壮性
• 状态机
• 无效输入 software testing
• component
• robustness
• state machine
• invalid input

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.

• 单位
  南京大学; 计算机软件新技术国家重点实验室