论文部分内容阅读
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂的类直接建立EFSM图比较困难.将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖.
一种基于UML状态图的面向对象类级测试模型
【摘 要】
：
扩展有限状态机(EFSM) 因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试.然而对一个较复杂的类直接建立EFSM图比较困难.将两种工具的优
【机 构】
：
电子科技大学计算机与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2005年21期
【基金项目】
：
国家预研基金
其他文献
针对适应个别差异的服务型网络,提出了一种延时受限的带宽逆置路由算法.该算法主要从延时和带宽两个方面出发,寻求端到端的延时和可提供带宽两方面的平衡.理论和实验结果证明
分析了snort中采用的Boycr-Moore模式匹配算法,提出了改用更高效的KARP-RABIN模式匹配算法,并对该算法进行了并行化设计,给出了设计代码.实验结果表明可以提高IDS的实时检测
受限物化视图的选择是当前数据仓库研究的最重要的问题之一.提出利用最小祖先树筛选视图,并结合改进的试探式策略进行物化视图选择的算法.该算法能有效地解决物化视图的两类
讨论了基于Multi-agent的数字一体化虚拟仿真平台的发展方向、设计准则和关键问题,提出了基于Multi-agent的数字一体化虚拟仿真平台的系统总体结构框架、设计思想和实现步骤,
目的:观察盐酸羟考酮与舒芬太尼用于妇科腹腔镜术后静脉镇痛临床效果的比较。方法:全麻下行经腹子宫切除术患者68例,随机分为S组和O组,术后静脉镇痛泵使用S组:舒芬太尼1.5μg