基于JUnit和元模型的模型存储测试设计与实现

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:zhougang1020
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储
其他文献
用有限元方法研究了人群对地下商场、地铁站台等有限空间的电磁波传输特性的影响.根据计算结果得出如下结论:随着工作频率的提高,人群的反射系数增加;而透射系数随着工作频率
2013年9月14~17日成都及周边地区出现了一次秸秆焚烧空气污染过程,成都、德阳受污染影响较严重,乐山、眉山影响相对较轻。基于空气污染指数API,结合雷达消光系数反演图、在线
对Yang和Shieh提出的一种基于时戳的口令鉴别的方案进行了安全性分析,指出其方案存在初始化阶段需要把用户口令交给KIC(Key Information Center)和用户不能验证KIC身份的缺点。
长航时无人机在飞行过程中受气动载荷影响,其大展弦比机翼产生弯曲和扭转变形,这种弹性变形严重影响飞机的飞行性能和飞行安全,不能将此种飞机机翼当作传统的刚性机翼进行气
提出了一种新的结构体系--组合隔震结构体系,并推导了振动及控制方程.假定地震动输入为白噪声,运用随机最优控制原理,分析了组合隔震结构振动的控制性能以及隔震度、阻尼和场
为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成
为了解决水力发电厂检修人员的技术培训及制定合理、高效的检修方案等问题,采用计算机仿真技术、虚拟现实技术及多媒体技术相结合的方法,开发了水轮发电机组检修仿真系统.系
为及时掌握城市面源污染状况,构建了城市面源污染负荷动态更新体系。以北京市建成区典型下垫面为研究对象,采用事件平均浓度统计法,估算了基准年污染负荷,并通过变量更新系数
介绍一种以通用微机和PCI高速数据通信卡组成的交流传动仿真系统.系统采用软件方式实时计算交流传动系统的运行参数,包括变压器、四象限整流器、直流中间回路、逆变器、电机