【摘 要】
：
摘要：针对NFC协议进行模糊测试方案时产生大量不符合协议规范的无效测试用例而导致测试效率较低的问题，应用图论思想，提出了基于生成的策略与深度优先算法融合后的模糊测试方案。在基于生成的策略下构造测试用例的过程中，遍历由协议规范连接成的测试需求图，以深度优先算法搜索图中覆盖点较多的生成路径，精简测试用例的生成路径，保证生成的测试用例能够接近协议规范。实验分析表明，所提出的模糊测试方案能够有效地减少无效
【机 构】
：
河北科技大学信息科学与工程学院,西安电子科技大学电子工程学院,河北省教育考试院
论文部分内容阅读
针对NFC协议进行模糊测试方案时产生大量不符合协议规范的无效测试用例而导致测试效率较低的问题,应用图论思想,提出了基于生成的策略与深度优先算法融合后的模糊测试方案。在基于生成的策略下构造测试用例的过程中,遍历由协议规范连接成的测试需求图,以深度优先算法搜索图中覆盖点较多的生成路径,精简测试用例的生成路径,保证生成的测试用例能够接近协议规范。实验分析表明,所提出的模糊测试方案能够有效地减少无效测试用例的生成,提高测试效率。
其他文献
目的了解龙岩市市售食品中副溶血性弧菌污染状况。方法对龙岩市2个主要集贸市场和2家超市6类930份食品进行监测。结果从6类930份食品中,检出副溶血性弧菌107株,检出率为11.5%
科学技术是第一生产力。科技工作在“科教兴冀”、建设现代化河北进程中具有“牵一发而动全身”的关键作用。在世纪之交的重要历史时期，我们要紧紧围绕建设经济强省和现代化河
目的观察经皮闭合复位克氏针内固定治疗小儿肱骨髁上骨折的效果。方法回顾性分析38例经皮闭合复位克氏针内固定治疗患者，在静脉全麻下，手法复位后经皮克氏针治疗，术后随访1～24个
本文提出了一种控制磨削过程中弹性退让的新方法。这种方法采用自校正控制算法以控制砂轮电机的定子电流。它为离线自适应控制用于磨加工,提高磨削精度提供了基础。
目的了解赤峰市餐饮业消毒状况,为今后餐饮业餐具消毒的监督指导工作提供依据。方法随机抽取赤峰市餐饮业消毒后的备用餐具880份样品进行检测,采用大肠菌群快速检验纸片法,按
摘要：为了研究媒体报道对传染病动力学性态的影响，通过建立疾病发生率受媒体报道影响的SIS数学模型，确定模型的基本再生数，证明平衡点的存在性以及地方病平衡点的唯一性，并证明无病平衡点的局部渐近稳定性和全局稳定性，以及地方病平衡点的局部渐近稳定性。引入时滞因子对模型进行深入研究，通过数值模拟验证了理论结果的正确性。研究结果表明：当参数满足一定条件时，在地方病平衡点会产生Hopf分支。具有媒体饱和发生率
目的探讨闭合复位PFNA内固定治疗老年股骨粗隆间骨折的疗效。方法自2009年1月~2013年10月,使用闭合复位PFNA内固定的方法治疗老年股骨粗隆间骨折56例,52例获得随访。平均年龄
能源对一个国家的经济发展起着重要作用。任何国家都要依赖能源来发展国民经济,改善人民生活。目前可作为能源资源的有石油、天然气、煤炭、铀、超重质油、焦油砂和油页岩等
目的探讨老年冠心病与胰岛素抵抗的相关性。方法通过测定无糖尿病病史的老年冠心病患者空腹胰岛素和空腹血糖计算出胰岛素抵抗指数。结果冠心病组与对照组比较，胰岛素抵抗指数