期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于建模与仿真的完备协议测试验证技术
1
作者 肖鹏 聂嘉浩 +2 位作者 吴博 杨丰玉 郑巍 《中国测试》 北大核心 2025年第7期154-163,共10页
针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成... 针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成;利用模型仿真实现测试过程的动态视图与测试结果动态验证;最后,基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供系统化理论支撑和完整方案,通过实验表明,使用该技术的测试方法相比传统基于脚本驱动测试方法,能够缩短30%测试时间,减少50%测试设计出错率,且在首轮测试覆盖中提升70%覆盖率。 展开更多
关键词 协议测试 完备性评估 建模与仿真 模型驱动
在线阅读 下载PDF
我国省域排污权交易制度体系建设效果评价研究 被引量:5
2
作者 陈刚 刘倩 +2 位作者 郭圳义 任玥 宿因 《生态经济》 北大核心 2024年第2期191-200,共10页
我国排污权交易制度经过几十年的试点推进,已进入深化发展阶段,大部分排污权交易试点地区已构建了相对稳定的交易制度体系,并积累了较长时间的交易数据。但目前国家尚未对排污权交易建立全国范围的统一市场,也未制定统一的排污权交易制... 我国排污权交易制度经过几十年的试点推进,已进入深化发展阶段,大部分排污权交易试点地区已构建了相对稳定的交易制度体系,并积累了较长时间的交易数据。但目前国家尚未对排污权交易建立全国范围的统一市场,也未制定统一的排污权交易制度体系。因此,各试点地区排污权交易制度体系存在一定差异,实施效果上也存在一定差距,试点示范成效亟须开展科学、全面评价。论文系统梳理了排污权交易制度的建设过程,归纳提炼出排污权交易制度的“1+5+9+N”体系;并在此基础上,综合内部视角的交易市场发展水平与外部视角的交易市场综合效应,提出排污权交易制度体系建设效果评价的理论框架及具体方法,从而为我国试点地区排污权交易制度体系的系统化完善,以及排污权交易全国统一大市场的构建提供可复制、可应用的理论及方法学依据。 展开更多
关键词 排污权交易制度 完备性评估 政策效果评估
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部