基于符号执行的单元测试研究和应用.PDFVIP

第２９卷第６期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．６ ２０１２年６月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊｕｎ．２０１２ 基于符号执行的单元测试研究与应用 赵慧娟　孙文辉 （北京交通大学计算机与信息技术学院　北京 １０００４４） 摘　要　　近年来随着测试的复杂性和重要性不断增加，软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要 的形式化和自动化的分析技术，在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过 程，并选择运用动态符号执行技术实现的参数化单元测试软件Ｐｅｘ进行实验，从而更好地验证符号执行技术在自动化单元测试中的 优势。 关键词　　软件测试　参数化单元测试　符号执行 中图分类号　ＴＰ３０６＋．２ 文献标识码　Ａ ＲＥＳＥＡＲＣＨＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＦＳＹＭＢＯＬＩＣＥＸＥＣＵＴＩＯＮＢＡＳＥＤＵＮＩＴＴＥＳＴＩＮＧ ＺｈａｏＨｕｉｊｕａｎ　ＳｕｎＷｅｎｈｕｉ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒａｎｄＩｎｆｏｒｍａｔｉｏｎＴｅｃｈｎｏｌｏｇｙ，ＢｅｉｊｉｎｇＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ１０００４４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｉｎｒｅｃｅｎｔｙｅａｒｓ，ｄｕｅｔｏｔｈｅｃｏｍｐｌｅｘｉｔｙａｎｄｉｍｐｏｒｔａｎｃｅｏｆｔｅｓｔｉｎｇ，ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇｔｅｃｈｎｉｑｕｅｓｉｓｂｅｃｏｍｉｎｇａｈｏｔｓｐｏｔｆｏｒｒｅｓｅａｒｃｈ ｉｎｔｈｅｓｏｆｔｗａｒｅｆｉｅｌｄ．Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｔｅｃｈｎｉｑｕｅｉｓａｎｉｍｐｏｒｔａｎｔｆｏｒｍａｌａｎｄａｕｔｏｍａｔｅｄａｎａｌｙｓｉｓｔｅｃｈｎｉｑｕｅ．Ｉｔｈａｓｉｍｐｏｒｔａｎｔａｐｐｌｉｃａｔｉｏｎｖａｌｕｅｓ ｉｎａｕｔｏｍａｔｅｄｔｅｓｔｉｎｇｏｆｐｒｏｇｒａｍｓ．Ｔｈｉｓａｒｔｉｃｌｅｆｏｃｕｓｅｓｏｎｄｅｓｃｒｉｂｉｎｇｔｈｅｐｒｏｃｅｓｓｏｆｐａｒａｍｅｔｅｒｉｚｅｄｕｎｉｔｔｅｓｔｉｎｇｂｙｕｓｉｎｇｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ ｔｅｃｈｎｉｑｕｅ，ａｌｓｏｃｈｏｏｓｅｓｔｏｕｓｅＰｅｘｓｏｆｔｗａｒｅｗｈｉｃｈｒｅａｌｉｚｅｓｐａｒａｍｅｔｅｒｉｚｅｄｕｎｉｔｔｅｓｔｉｎｇｂａｓｅｄｏｎｄｙｎａｍｉｃｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｔｏｃａｒｒｙｏｕｔ ｅｘｐｅｒｉｍｅｎｔｓ．Ｔｈｏｓｅｅｘｐｅｒｉｍｅｎｔｓｖａｌｉｄａｔｅｔｈｅａｄｖａｎｔａｇｅｓｏｆｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｔｅｃｈｎｉｑｕｅｉｎａｕｔｏｍａｔｅｄｕｎｉｔｔｅｓｔｉｎｇ． Ｋｅｙｗｏｒｄｓ　　Ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ　Ｐａｒａｍｅｔｅｒｉｚｅｄｕｎｉｔｔｅｓｔ　Ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ 大量不符合条件的测试用例产生，使测试效率降低。随机测试 ０　引　言 的种种不足促使研究人员去追求一种高效的、具有理论支持的 形式化自动化测试方法。符号执行作为一种形式化的自动测试 随着时代的发展，计算机的应用范围迅速扩大，人们对软件 技术，在自动化测试领域得到深入的研究与认可。 的需求也急剧增长。由于软件系统规模的逐渐扩大，软件危机 逐渐爆发，软件发展过程中存在的软件缺陷促使人们投入更多 １　单元测试概述 的时间和精力关注软件的安全性。如同提高软件效率一样，如 何提高软件的质量已经成为软件开发过程中关键的环节，基于 单元测试被看作程序设计的一个重要的组成部分，在程序 软件测试的软件质量保证方法在软件生产行业得到了迅速的发 设计的整个过程中要不断地进行测试。在软件开发的过程中， 展和应用。软件测试作为保证软件高质量、高可靠性的一个重 单元测试的重要性可以概括为