论文部分内容阅读
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂的类直接建立EFSM图比较困难.将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖.
一种基于UML状态图的面向对象类级测试模型
【摘 要】
：
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂的类直接建立EFSM图比较困难.将两种工具的优
【机 构】
：
电子科技大学计算机与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2005年21期
【基金项目】
：
国家预研基金
其他文献
针对适应个别差异的服务型网络,提出了一种延时受限的带宽逆置路由算法.该算法主要从延时和带宽两个方面出发,寻求端到端的延时和可提供带宽两方面的平衡.理论和实验结果证明
分析了snort中采用的Boycr-Moore模式匹配算法,提出了改用更高效的KARP-RABIN模式匹配算法,并对该算法进行了并行化设计,给出了设计代码.实验结果表明可以提高IDS的实时检测
分析应用层组播在流媒体分发领域的研究，设计了可扩展的实时流媒体应用层组播系统ALMLS。该系统基于非结构化Overlay，采用基于Gossip思想的节点加入算法和消息散播机制；设计了基
受限物化视图的选择是当前数据仓库研究的最重要的问题之一.提出利用最小祖先树筛选视图,并结合改进的试探式策略进行物化视图选择的算法.该算法能有效地解决物化视图的两类
谭恩美长篇小说之所以引人关注、得到肯定,源于在思想与艺术上的高度创造性,这种创造性体现在诸多方面,其中一个重要方面就在于它们在空间上往往具有梦幻性质,即几乎所有的长
著名的华裔美国作家哈金创作的《南京安魂曲》一书,突破了旧有的思考和书写模式,给我们带来了一个书写日本侵华战争的新范式。他的作品,没有试图通过戏剧冲突来塑造出日本侵
梅新林教授著《中国文学地理学形态与演变》（复旦大学出版社2006年版）是一本厚至1038页、字数达80万的大书,在笔者所见过的中国文学地理学研究著作中,也许是最为厚重者之一了.
讨论了基于Multi-agent的数字一体化虚拟仿真平台的发展方向、设计准则和关键问题,提出了基于Multi-agent的数字一体化虚拟仿真平台的系统总体结构框架、设计思想和实现步骤,
目的:观察盐酸羟考酮与舒芬太尼用于妇科腹腔镜术后静脉镇痛临床效果的比较。方法:全麻下行经腹子宫切除术患者68例,随机分为S组和O组,术后静脉镇痛泵使用S组:舒芬太尼1.5μg