Java语言中数组越界故障的静态测试研究

作者：赵鹏宇 李建茹 宫云战静态测试数组越界语法树控制流图整型区间

摘要：面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社