论文部分内容阅读
提出一种基于状态图的测试路径自动生成算法，该算法从状态图的初始状态到终止状态进行遍历，可以得到一组路径，由该组路径生成的测试用例集可满足状态图的转移覆盖测试准则。根据循环复杂度，对路径集的总长度进行优化，从而减少测试用例数量。实验结果表明，该算法有效可行，在实际应用中能够取得良好的效果。
基于状态图的测试路径自动生成
【摘 要】
：
提出一种基于状态图的测试路径自动生成算法，该算法从状态图的初始状态到终止状态进行遍历，可以得到一组路径，由该组路径生成的测试用例集可满足状态图的转移覆盖测试准则。根据
【机 构】
：
中国科学院新疆理化技术研究所,武汉理工大学华夏学院
【出 处】
：
计算机工程
【发表日期】
：
2011年2期
【基金项目】
：
新疆维吾尔自治区重大专项基金资助项目（200732143-1）
其他文献
DEVELOPMENT OF THE CONTROL METHODOLOGY OF THE GIANT MAGNETOSTRICTIVE ACTUATOR BASED ON MAGNETIC FLUX
According to the principle of the magnetostriction generating mechanism, the control model of giant magnetostriction material based on magnetic field and the co
在修建临武县工业大道过程中,遇到采矿巷道口,为查明工业大道下采空区的分布,本文采用高密度电法和等值反磁通瞬变电磁法对采空区分布范围及埋深进行了勘查,最终确定公路下矿
利率问题一直是资产定价和风险管理的重要问题,利率的相关理论主要有传统的金融理论和现代的数学理论,后者又分为静态的利率期限结构和动态的随机利率模型理论.对于不同的利
经过2005年及2010年两次汇改,人民币汇率的弹性大大增强,但由于人民币中间价所反映的价格较难真实反映市场的供求关系,人民币即期汇率依然存在一定的单边预期。远期汇率是最
汽车运用与维修专业的迅猛发展要求数量众多的高素质专业教师，许多专业教师因实践能力薄弱，距离高综合素质的要求存在较大的差距。仅通过企业实践的方式以提高教师实践能力的效
针对无线射频识别(RFID)的室内定位问题,提出一种基于读写器功率扫描的超高频射频识别标签定位方案。通过自由空间的电磁波路径损耗经验模型和Friis传输方程,建立读写器天线功率与当前功率感测范围直径的关系模型。分别使用多个天线进行定位比较,并分析影响系统定位精度的因素。实验结果表明,与使用2个天线相比,使用3个天线可将平均定位误差由57 cm减小到18 cm,且定位误差小于25 cm的概率大于90
采用傅立叶变换红外(FTIR)光谱法结合主成分分析对梅州三个茶叶产区的单枞茶进行了聚类分析。实验结果表明,通过茶叶的红外光谱,利用主成分分析(PCA)结合马氏距离判据的方法
为了贯彻国家高等职业教育方针，提高学生的职业能力，培养学生的专业素养，文章探讨了轮机工程技术专业的课程改革，提出了构建能力、素质并重的“双证”课程体系，开发以真实工作过程
把诵读作为文言文教学的主要手段，有利于改变文言文课堂沉闷的现状，让学生在诵读中积累，在诵读中受到浸润，给他们的人生奠定精神的基石。诵渎要分层进行，首先在指导学生读准字音中