【摘 要】
：
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越
【机 构】
：
华东师范大学计算机科学技术系,上海市高可信计算重点实验室（华东师范大学）
【基金项目】
：
上海市自然科学基金（13ZR1413000）, 核高基重大专项（2014ZX01038-101-001）, 国家自然科学基金（61502170,91118008）, 国家基金委国际合作项目（中丹）（61361136002）,国家基金委创新研究群体项目（61321064）
论文部分内容阅读
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架Pro Miner,通过抽取表达模型与代码的不一
其他文献
随着基于定位服务（loaction-based service,简称LBS）在移动设备上的广泛应用,移动对象在路网中的查询成为时空数据检索领域的一个研究热点.从索引结构、查询方法和隐私保护这3
随着航空型号的快速发展，航空电子系统的数字化程度越来越高，软件在其中所占的比例越来越大．对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础．通过
高职教育只有走校企合作、产教结合的路子，才能从根本上改变目前实践教学体系中教育资源严重不足的困境，最终实现高职教育体制和观念的根本性变革。广东番禺职业技术学院商务英
介绍了采用直径７０ｍｍ小芯样抗压法和横劈法对遭受高温后混凝土抗压强度进行检测的试验研究。文中采用数理统计的方法给出了两种检测方法的测强方程和回归曲线，并对两种检测方法的关
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的
财政收入17．7亿元，生产总值167．28亿元，固定资产投资99．36亿元，连续八届跻身陕西经济社会发展十强县，在一连串令外界艳羡的数字背后，志丹也面临着诸多困境：石油主宰经济增长沉浮且后续
在职业教育的“三合一”模式中，应强调职校和政府的作用．但也应强调企业的作用，要实现职业教育的可持续发展，必须分析职业教育发展中企业难以发挥作用的原因，探讨在社会主义市场经
由于随机块模型能够有效处理不具有先验知识的网络,对其研究成为了机器学习、网络数据挖掘和社会网络分析等领域的研究热点.如何设计出具有模型选择能力的快速随机块模型学习算法,是目前随机块模型研究面临的一个主要挑战.提出一种精细随机块模型及其快速学习算法.该学习方法基于提出的模型与最小消息长度推导出一个新成本函数,利用期望最大化参数估计方法,实现了边评价模型边估计参数的并行学习策略,以此方式显著降低随机块
采用分阶段计算的方法，对柴油机曲轴的加油孔进行了三维边界元分析，得到了孔内应力分布规律。