【摘 要】
:
MM路径是方法/消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况.本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类
【机 构】
:
北京化工大学,计算机科学与技术系,北京,100029
论文部分内容阅读
MM路径是方法/消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况.本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方法序列中的影响,给出了MM路径的形式化表示方法和MM路径生成的方法,解决了MM路径标识和生成的困难,为进一步研究基于MM路径的测试用例生成方法打下坚实基础.
其他文献
为抑制高频雷达中的非平稳射频干扰,推导并分析了其距离-多普勒谱形式及时频特征,指出在时频域上射频干扰表现为单(或多)分量时频脊,且在不同距离元上的时频分布仅有一个相位
基于长江的生态环境现状,从生态学原理的角度,以生态学理念指导流域开发利用治理,同时加强生态监督力度,建立生态补偿机制,在统一立法的基础上,采用综合管理模式,促进管理机
对重庆市环境科技发展的内部环境进行了研究,分析了重庆市环保科技运行与管理机制环境科技政策、研究开发机构、科研基础设施nbg、研究开发资金以及研究开发项目与人才的具体
生态区建设是实施可持续发展战略的最基本的经济社会形式,是运用生态经济和循环经济理论,统筹区域经济、社会和环境、资源的关系,是可持续发展思想的集中体现,是落实环境保护
目的 系统评价完全胸腔镜与正中开胸房间隔缺损修补术疗效的有效性和安全性.方法 计算机检索The Cochrane Library(2016年2期)、PubMed、EMbase、CBM、CNKI、WanFang Data和V
提出了一种基于统计理论、信息融合及神经网络的容差模拟电路故障诊断方法.该方法将故障诊断分为两个阶段完成,即故障检测与故障定位.通过监测可测点工作电压利用所构建的故
本文通过对891例接受人流手术的未婚者进行调查,探讨未婚人流人群的高危因素,为该群体开展生殖保健教育提供依据。1 资料与方法1.1 资料。2001年6月-2002年5月在我院计划生育
未初始化变量是C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.本文针对C++语言中常见未初始化变量故障进行了分析,并从面向具体故障的测试思想出发,建立了未
有限状态机(FSM)模型不利于描述并行活动的同步性.而扩展有限状态机(EFSM)因增加了操作和迁移的前置条件,导致存在不可达状态.因此,提出用时间Petri网(Time Petri Net)模型描
为进一步让中国的指南制定者、临床医生、卫生政策制定者以及相关研究人员深入了解和恰当使用世界卫生组织(WHO)指南,GRADE中国中心联合WHO指南评审委员会(GRC)围绕WHO指南的