【摘 要】
：
测试数据生成的自动化可以极大地促进软件测试效率和软件质量可靠性的提高。迭代张弛法是面向路径类的测试数据自动生成方法中最具代表性的一种方法,该方法自动生成测试数据
论文部分内容阅读
测试数据生成的自动化可以极大地促进软件测试效率和软件质量可靠性的提高。迭代张弛法是面向路径类的测试数据自动生成方法中最具代表性的一种方法,该方法自动生成测试数据的关键和实质在于约束组的建立和求解。文中通过一具体程序实例详细阐述了面向路径的迭代张弛法实现测试数据自动生成的原理和后期的方法改进,总结了该方法的优缺点,并对其它同类方法进行了分析和比较。
其他文献
<正>延庆区的城市精细化管理有许多亮点,比如城市垃圾分类等问题,值得肯定。现就城市精细化管理提出几点建议供大家思考。第一,精细化管理重点在于持续化。延庆需要思考如何
依据协整和GARCH模型理论,以历史数据作为样本,建立预测未来标准残差序列的模型。利用GARCH模型标准残差序列预警套利信号,搜索标准残差套利的最优阈值和风险测度,建立最优套
针对吉林省中朝国境口岸临江大桥桥面系、上部结构、下部结构及其附属工程的实际技术状况及存在的问题，分析了各种病害对桥梁结构正常使用、耐久性和安全性的影响。提出了本次
目前,高校在学生党建过程中普遍存在重视过程管理、忽视结果管理和评价管理,这在一定程度上影响了高校学生党建工作的成效。本文结合高校党建实际,探索构建一套具有科学性和
随着高速公路养护工程中新工艺、新设备、新技术的出现,原来的《吉林省高速公路养护工程预算定额及编制办法（试行）》在使用中出现了不适应性,为此,吉林省高速公路管理局与省交
有些中草药和方剂含有抗病毒、杀菌和抑菌等物质，可增强猪体细胞和体液的免疫力，产生非特异性和特异性免疫功能，能有效防止多种疫病的发生，经济效益和社会效益显著。 1. 黄连素0.1克、白矾10克、柠檬酸20克、葡萄糖70克、硒0.02克。将所有药放入500毫升冷常水中，充分溶解后备用。仔猪每千克体重口服或拌料饲喂3～5毫升，每天2～3次，3天为一疗程，可治疗和预防仔猪黄、白痢，防效达100%，治愈率
目的：探讨品管圈在降低导管可留置期间意外拔管中的开展价值。方法：运用品管圈手法选定主题，分析原因，制定并实施措施，评估措施执行效果。结果：运用品管圈后意外拔管率从3.56%降低
1立项背景硅藻土是一种生物成因的硅质沉积岩,是由古代生物硅藻遗骸沉积形成的一种化石性硅藻堆积土矿床,其本质是含水的非晶质SiO 2,并含有少量Fe2O3、CaO、MgO、Al2O3及有
＂十·五＂期间,广东高等教育取得了跨越式的发展,但仍然存在高等教育人口容量不足,承载力过大,专业、学科结构不合理等生态问题。要适应广东经济的快速发展,增强发展后劲,就
目的：探讨支气管肺泡灌洗治疗支气管扩张合并感染的临床效果。方法：选取在本院获得确诊的90例支气管扩张合并感染者，根据患者意愿将其分到两个不同组别。其中对照组43例，给予常规