|
|||||
|
|
| 模型检测引导的TTCN-3测试套生成技术研究 | |
| 作者单位： | ;1.北方工业大学信息工程学院 |
| 摘 要： | 针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。 |
| 关 键 词： | 软件测试 模型检测 TTCN-3测试套 μ演算 |
RESEARCH ON MODEL CHECKING-GUIDED TTCN-3 TEST SUITE GENERATION TECHNOLOGY |
|
| Abstract: | |
| Keywords: | |