会议论文《一种过程内及过程间数组越界故障的静态检测方法》提出了一种针对数组越界故障的静态检测技术。该方法能够有效识别程序中过程内和过程间的数组越界问题,提高软件可靠性。研究在第六届中国测试学术会议上发表,为软件测试领域提供了新的思路和技术支持。
文档为pdf格式,0.33MB,总共5页。
举报