论文部分内容阅读
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.
UML状态图和Petri网络在类测试用例生成的应用
【摘 要】
：
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2010年3期
其他文献
随着我国人均寿命的延长,饮食习惯的形成,冠心病的比例增多,更多的患者需要接受冠状动脉旁路移植术,尤其是70岁以上老年患者比例不断增加,人们对健康及生命的渴求,要求医务工
目的：评价美洛西林钠舒巴坦钠治疗新生儿感染性肺炎的效果观察。方法：依据纳入排除标准共选取118例患儿并随机分为两组,对照组给予常规治疗措施,治疗组给予美洛西林钠舒巴坦钠
目的：分析内科急诊昏迷病患的发病因素及抢救方法,观察抢救结果。方法：选取就诊的昏迷患者90例,对患者相关临床资料回顾性分析,分析其诊断结果、抢救方法及治疗结果等情况。结
提出一种从未标注的中文文本中基于自扩展策略自动获取事件抽取模式的算法，该算法从少数几个种子抽取模式开始，通过一个增量迭代的过程发现新的抽取模式，在每一轮迭代中采用类似
目的：探讨术前访视对手术患者生命体征的影响.方法：将150 例择期手术患者随机分为试验组和对照组,各75例.试验组进行术前访视,向患者详细介绍手术有关事项;对照组未进行术前访
分析目前各种海量存储系统的体系结构研究重点,提出一种海量存储系统的5层体系结构,分别是存储物理层、存储连接层、存储网络层、存储表示层和存储应用层.通过各个层次之间相
羽毛球是一项集速度、力量、耐力、反应力于一身的综合性运动项目,青少年正处在羽毛球训练中的基础阶段,要是能够对青少年运动员进行全方位培养,无疑有利于我国的羽毛球事业
目前提出的频繁项目集挖掘算法大多基于Apriori算法思想,这类算法会产生巨大的候选集并且重复扫描数据库.针对这一问题,给出一种基于频繁模式树的最大频繁项目集挖掘算法FP-M
针对海量书法字检索精度不高耗时过多的问题,提出一种根据骨架结构相似性的分层特征匹配方法:首先在运用分层模板分析获得单个书法字体二值化图像的精细骨架后,通过形状不变矩特征进行粗粒度检索,将可能相似的书法汉字样本聚合在一起;再运用极坐标区域中的曲线综合特征相似性比较进行第二轮检索,并按照相似度大小显示同一汉字的不同风格字体。实验表明,该算法具有良好的效果,特别适合海量书法字检索.
目的应用荧光光谱法,研究了新型水溶性吲哚基同型聚合体菁类探针I与牛血清蛋白（BSA）的相互作用。方法探索吲哚探针I-BSA的静态荧光猝灭机制和静电相互作用,系统考察了吲哚探针I