模型检测引导的TTCN-3测试套生成技术研究
近年来，模型检测以其自动化程度高的特点在软件测试领域得到了广泛关注.在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合.通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套.进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例.分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成.
软件工程 模型检测 抽象测试套 自动生成
孙晶 金晓文
北方工业大学信息工程学院,北京中国100144
国内会议
武汉
中文
426-432
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）