基于领域Use Case需求模型的测试用例生成

传统的Usecase模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成。给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念。扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中。依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性。

CASES-T模型在“硅酸盐矿物与硅酸盐产品”教学中的应用

CASES-T模型(内容、活动、情境、评价、策略、目标)是化学课堂教学系统的构造模型,是基于整体对化学课堂教学系统构造的表征,以苏教版“硅酸盐矿物与硅酸盐产品”为例,在新课程标准背景下运用CASES-T模型进行教学,在过程中培养化学学科核心素养,以问题为导向设计和实施教学,建立认知模型,开展建构学习、探究学习。

基于NPP模型的西藏工布地区固碳释氧能力分析

通过构建NPP遥感估算模型,对西藏工布自然保护区固碳释氧能力进行分析,分别测算出该地区17个用地类型的植被固定CO2和释放O2的物质量。通过研究发现,在选取的土地类型中,固碳释氧能力最强的为有林地;单位面积下固碳能力和释氧能力最强的为裸土地。固碳释氧能力最弱的土地类型均为人类活动频繁的城镇用地、农村居民点和其他用地。相同用地类型单位固碳释氧量的关系为:Y=0.74X。