【摘 要】
：
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持，因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型
论文部分内容阅读
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持，因此提出并实现了基于符号执行与混合约束求解测试用例自动化生成方法。该方法利用模型检测软件对被测软件源代码进行符号执行，生成关于字符串与数值的混合约束集，利用字符串-数值约束求解器对约束集进行求解，最终根据求解结果生成软件测试用例与不可达路径。实验结果表明，该方法较好地支持了关于字符串测试用例生成，且具有良好的效率与准确性。
其他文献
自20世紀初,中古時代寫本在敦煌、吐魯番等地區被陸續發現以來,極大地推動了儒、釋、道三家的經典研究,敦煌吐魯番學成爲國際顯學。與此同時,日本傳存的古代至近世的珍稀寫本
<正> 合资企业控股权问题始终是个敏感问题。5年前的1997年国内曾有过一场关于“跨国公司在华投资控股”的激烈讨论,对于跨国公司在华合资企业中外资控股及独资化倾向的利弊
人类之所以能够运用语言准确地传递信息,主要是依赖充裕可懂的语言输入,自然真实的语言环境,并在低焦虑的情感过滤的条件下,通过将外观语言知识不断地转化为内隐知识,然后再
杏雨書屋藏敦煌吐魯番文書(以下行文多簡稱杏雨書屋藏品)的真容,以2009年3月出版的《敦煌秘笈目録册》爲起點,終於漸次展露在世人面前,我們由此初步得知這批文書有775件(確切
隆回县紧紧同绕“农村发展、农业增产、农民增收”这一目标，全面推进农业结构调整，加大农业综合开发力度．加快基础设施步伐，努力改善农民生产条件，不断提高农业综合生产能力，有效地
2017年西夏學研究取得了一定的成果,據筆者不完全統計,2017年出版論著24部,内容涉及西夏歷史文化、社會經濟、佛經考釋、民族關係等。西夏歷史文化方面,李昌憲《中國行政區劃
在敦煌石窟藝術中,莫高窟第285窟堪稱代表之作。它是敦煌北朝石窟中唯一有確切紀年的洞窟。該窟壁畫題材多樣、內容豐富,以表現佛教的佛、菩薩形象爲主,同時又有中國傳統神話
本文以山东新巨龙能源有限责任公司为研究背景（以下简称新巨龙公司）．以新巨龙公司人事制度改革、人事系统研究应用为出发点．展开研究、探讨。新巨龙公司是国家“十五”重点建设项
據不完全統計,2011年度大陸地區出版的與敦煌學相關的學術專著和論文集60餘部,公開發表的研究論文500餘篇。兹分概説、歷史地理、社會、宗教、語言文字、文學、藝術、考古與
2015年8月10日至12日,由甘肅省文物局、瓜州縣人民政府、甘肅省敦煌學學會、酒泉市文物管理局聯合舉辦的'2015鎖陽城遺址與絲綢之路歷史文化學術研討會'在甘肅省瓜州