论文部分内容阅读
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点，既具有比较高的错误覆盖率，又对通信协议中的数据部分进行了充分的测试，从而提高了一致性测试的效率。
数据流控制流相叠加的可执行测试序列生成研究
【摘 要】
：
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试
【机 构】
：
浙江水利水电专科学校计算机系,浙江理工大学计算机应用研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年10期
【基金项目】
：
浙江省自然科学基金（the Natural Science Foundation of Zhejiang Province of China under Grant No.M603145）, 浙江省科技公关计划（the Key Technologies R＆D Program of Zhejiang Province,China under Grant No.2005C21027）, 浙江省教育厅
其他文献
介绍了相位相关法的匹配原理。针对在粒子测速系统（PIV）应用中由于粒子运动而引起的不匹配以及亚像素快速求解等问题，提出了分层匹配后“伪粒子”的去除方法和相位相关运算的快
【正】广告是商品经济的产物,是经济发展到一定程度产生的一种商业活动和行为。我国高等院校广告学专业自20世纪80年代首次在厦门大学设立以来,学科发展取得了显著的成绩和长
提出一种宏观累加模的快速模幂乘的算法，将乘法运算和求模运算转换成简单的移位运算和加法运算，从而避免了求模运算和减少大数相乘次数。实验表明，本算法可以用接近n／2次n—bit的
练习钢琴存在是否安排得科学合理，要做到有步骤、有方法。花同样的时间和精力达到最佳的练习效果。这是我们要重视和探讨的。
为了提高非劣解向Paret。最优前沿收敛的速度及进一步提高解的精度，在设计了一种新的杂交算子并改进了NSGA-Ⅱ的拥挤操作的基础上，提出了一种基于分级策略的多目标演化算法。数
目的 探讨立体定向技术切除颅内较小占位病变的方法及引导显微手术切除的优越性。方法 采用瑞典Leksell—G型立体定向仪及手术计划系统对42例患者49个颅内较小占位病变行术前
通过对1953—2012年金华地区60年66次大雪天气过程的气候特征、环流形势、中低层天气尺度系统等进行统计分析,得出：金华市大雪发生的频次在时间尺度上主要为准7年的周期振荡;
目的研究人脑组织匀浆液诱导大鼠骨髓间质干细胞向神经元细胞分化能力.方法从大鼠骨髓分离培养骨髓间质干细胞,经体外增殖,用人脑组织匀浆液诱导骨髓间质干细胞向神经元样细