面向图文法的体系结构测试方法研究

来源 :哈尔滨师范大学自然科学学报 | 被引量 : 0次 | 上传用户:xunmengya
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.
其他文献
针对日益严重的汽、水窜状况,在充分调研的基础上,运用系统工程的原理对乐安油田砂砾岩稠油油藏进行了综合治理,以提高其开发效果.通过一年来的实践,收到了较好的效果,取得了
我国制造业的飞速发展带来切削液使用量激增,会产生大量的切削废水,未经有效处理而排放到环境中,将给自然环境带来极大的危害。采用膜分离技术处理切削废水,并对切削废水回收
PBL教学法是一种将学习设置于问题情境中,通过学习解决问题以及提出新问题从而使学生获得知识,可使学生精于分析、综合和评价问题,掌握解决临床实际问题。现在已成为医学教育的
本文介绍了影像信息科学中所涉及的地球空间信息、计算机视觉、模式识别、智能图像处理、影像质量评价等主要方面的一些认知问题。通过分析表明,影像信息科学的发展有赖于人
苏和:内蒙古是我国重要的电力能源基地,外送电量居全国第一.内蒙古风电的年利用小时数高,风电完全成本低于046元/千瓦时(南方省份火电上网电价已超过052元/千瓦时),若再加上
期刊
一起人身伤害未遂事故的分析一、事件经过××年×月×日,××风电场检修×班对#77风电机组定检,工作负责人A办理了风力机械工作票,安全措施为:(1)进
为稳固人群脊髓灰质炎(脊灰)免疫屏障,巩固业已取得的成果,根据山东省卫生厅的部署,泰安市在2002/2003年度继续对重点人群开展了脊髓灰质炎疫苗(OPV)强化免疫活动.为评价本次
大豆产业在中国经济体系中占据十分重要的地位,不仅具有经济属性,也具有政治属性和社会属性,对保障中国粮食安全和贸易稳定具有战略意义。2018年3月,中美贸易摩擦,美国对包括大豆在内的多种商品加征关税,直接增加了中国进口大豆的成本,大豆贸易也随之成为中美贸易博弈的砝码,相关经营主体承担了巨大的价格风险,大豆产业受到冲击。作为重要的油料作物和粮食作物,大豆价格的波动不仅影响本产业,大豆的关联产业也会受到
研究了特征p〉3的域F上有限维广义Witt型李超代数和S型李超代数的偶部滤过的结构.通过讨论ad-幂零元的方法确定了标准滤过各项在自同构群下的不变性,从而得出W和S型李超代数
巴西风能产业协会执行主席Elbia Melo近日在该国第五届风电产业大会上表示,巴西要想继续实现其雄心勃勃的风电增长规划,必须在零部件供应链上进一步投资,尤其是法兰、滚轴和轴承