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

• 作者: 卜磊 李宣东 王林章 雷斌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件测试 构件 健壮性 状态机 无效输入
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 930-941
• 分类号: TP311
• 字数: 9508字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03544

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王林章	南京大学计算机软件新技术国家重点实验室	23	610	12.0	23.0
5	卜磊	南京大学计算机软件新技术国家重点实验室	6	47	3.0	6.0
9	雷斌	南京大学计算机软件新技术国家重点实验室	3	35	2.0	3.0