作者：高传平; 宫云战数组越界静态分析算法控制流图
摘要：给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类错误的静态分析方法，并给出了相应的算法，而后给出了测试系统设计和开发，最后给出了软件测试的实验结果和分析。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机工程》（CN：31-1289/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机工程》特点：以最快的速度、科学求实的精神，精选刊登代表计算机行业前沿科研、技术、工程方面的高、精、尖优秀论文。
部级期刊
人气 230978 评论 65
人气 216795 评论 35
省级期刊
人气 214076 评论 71
北大期刊、统计源期刊
人气 193670 评论 73
