专利名称：基于符号执行的测试用例生成方法及装置专利类型：发明专利
发明人：张云涛,王忠儒,赵美丞,阮强申请号：CN201910883372.6申请日：20190918公开号：CN110750448A公开日：20200204
摘要：本公开涉及一种基于符号执行的测试用例生成方法及装置，包括：对待测试程序进行静态分析，得到所述待测试程序的指令信息；根据所述指令信息确定针对所述待测试程序中输入数据的约束条件；在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例。根据本公开提供的一种基于符号执行的测试用例生成方法及装置可以提高测试用例的生成效率，节约终端设备的资源。
申请人：北京丁牛科技有限公司
地址：100000 北京市海淀区中关村南大街12号院西区2号楼(信息楼)501-6
国籍：CN
代理机构：北京林达刘知识产权代理事务所(普通合伙)
代理人：刘新宇
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容