-
题名基于建模与仿真的完备协议测试验证技术
- 1
-
-
作者
肖鹏
聂嘉浩
吴博
杨丰玉
郑巍
-
机构
南昌航空大学软件学院
-
出处
《中国测试》
北大核心
2025年第7期154-163,共10页
-
基金
江西省自然科学基金资助项目(20212BAB212009)。
-
文摘
针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成;利用模型仿真实现测试过程的动态视图与测试结果动态验证;最后,基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供系统化理论支撑和完整方案,通过实验表明,使用该技术的测试方法相比传统基于脚本驱动测试方法,能够缩短30%测试时间,减少50%测试设计出错率,且在首轮测试覆盖中提升70%覆盖率。
-
关键词
协议测试
完备性评估
建模与仿真
模型驱动
-
Keywords
protocol test
completeness assessment
modeling and simulation
model-driven
-
分类号
TB9
[机械工程—测试计量技术及仪器]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名我国省域排污权交易制度体系建设效果评价研究
被引量:5
- 2
-
-
作者
陈刚
刘倩
郭圳义
任玥
宿因
-
机构
生态环境部环境发展中心
中央财经大学财经研究院
中央财经大学经济学院
-
出处
《生态经济》
北大核心
2024年第2期191-200,共10页
-
文摘
我国排污权交易制度经过几十年的试点推进,已进入深化发展阶段,大部分排污权交易试点地区已构建了相对稳定的交易制度体系,并积累了较长时间的交易数据。但目前国家尚未对排污权交易建立全国范围的统一市场,也未制定统一的排污权交易制度体系。因此,各试点地区排污权交易制度体系存在一定差异,实施效果上也存在一定差距,试点示范成效亟须开展科学、全面评价。论文系统梳理了排污权交易制度的建设过程,归纳提炼出排污权交易制度的“1+5+9+N”体系;并在此基础上,综合内部视角的交易市场发展水平与外部视角的交易市场综合效应,提出排污权交易制度体系建设效果评价的理论框架及具体方法,从而为我国试点地区排污权交易制度体系的系统化完善,以及排污权交易全国统一大市场的构建提供可复制、可应用的理论及方法学依据。
-
关键词
排污权交易制度
完备性评估
政策效果评估
-
Keywords
pollutant emission trading system
integrity assessment
policy effects assessment
-
分类号
X196
[环境科学与工程—环境科学]
X321
[环境科学与工程—环境工程]
F832.5
[经济管理—金融学]
-