模型检测引导的 TTCN-3测试套生成技术研究

• 作者: 孙晶 金晓文
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 软件测试 模型检测 TTCN-3 测试套 μ演算
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 10-13,26
• 页数: 5页
• 分类号: TP3
• 字数: 4546字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.03.003

摘要

针对软件测试的不完备性以及软件测试自动化问题，提出在测试过程中将模型检测前置于传统测试，将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的，并转换成 TTCN-3（Testing and Test Control Notation）抽象测试套。进一步利用规约中本身存在的正例，与数据类型描述文件相关联，从而生成测试用例。分析 TTCN-3开发模式，基于标签转换系统与TTCN-3行为树的等价性，提出模型检测引导的抽象测试套生成算法，并实现 TTCN-3抽象测试套的自动生成。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学信息工程学院	54	408	9.0	19.0
2	金晓文	北方工业大学信息工程学院	2	1	1.0	1.0