【摘 要】
:
UML Statechart是UML的一个主要组成部分,与其他类型的Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非
论文部分内容阅读
UML Statechart是UML的一个主要组成部分,与其他类型的Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难.本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义
其他文献
随着中国体育经济的普遍发展,体育赛事活动越来越能吸引公众的注意力,但中国举办的大多数体育项目在经营理念和管理模式较国际先进水平还有一定的差距,在分析总结其他成功的
现阶段的我国文化创意产业逐渐兴起和发展的同时,也面临全球化的环境挑战。在此背景下,我国的文化创意产业受到广大研究人员以及城市规划者的关注。我国的城市化发展正处在一
以5,10,15,20-四-(4-羧基亚甲氧基)苯基镍卟啉(NiTCMOPP)和类石墨氮化碳(g-C3N4)为原料,通过水热法制备得到了NiTCMOPP/g-C3N4复合材料。研究了g-C3N4及NiTCMOPP/g-C3N4复合
本文以合肥市社区体育服务体系的可持续发展为研究对象,采用文献法、调查法、数理统计法等研究方法,对合肥市社区体育服务体系的发展现状、存在问题及优化策略展开研究,探讨
本文首先就事业单位的企业化财会管理工作进行简单的论述,其次分析财会管理工作的现状及存在的一些问题,并提出切实可行的加强举措。
利用8-苯胺基-1-萘磺酸钠荧光探针法、紫外光谱法和荧光光谱法,研究木糖醇和甘露醇对花生蛋白溶解性、乳化性、紫外吸收光谱、荧光发射光谱及表面疏水性的影响。结果表明:随
随着科学技术的不断发展,媒介融合已经成为现代媒体发展的特点和趋势,从网络到终端、从形式到内容都在不断演变。在这种时代背景下,新闻传播的方式也势必发生改变。因此,若要
文章以西北农林科技大学为例,对农业大学学科发展的历史演进过程进行了梳理与分析,对农业大学学科发展提出建议,为今后的学科发展工作提供一些参考.
体育教学系统中,体育教学环境是其重要组成部分,能够直接对体育教学产生重要影响。在之前的研究中,体育教学环境无法引起人们的关注,存在方方面面的问题,其中体育环境概念不清晰、
目的研究老年男性在丙泊酚复纳布啡静脉麻醉下行膀胱镜检查的有效性及安全性。方法选取我院2018年5月至2019年6月择期行膀胱镜检查的老年男性患者104例,按照随机数字表法将患