复杂约束求解相关论文
白盒模糊测试技术有效解决了传统黑盒模糊测试面临的盲目性、随机性及效率低下等问题,但仍然存在一定的局限性,例如:漏洞触发能力......
满足正确性是软件高质量的基础,测试是目前保证软件正确性最主要的技术途径。面向路径测试技术针对程序路径覆盖准则,产生测试输入......
