会议论文《过程间的非法计算故障静态检测方法》发表于第六届中国测试学术会议,旨在探讨如何通过静态分析技术检测系统中过程间的非法计算故障。该研究提出了一种有效的方法,能够在不执行程序的情况下识别潜在的错误路径,提高系统的可靠性和安全性。论文对相关算法进行了详细描述,并通过实例验证了其有效性,为软件测试与故障检测领域提供了新的思路。
文档为pdf格式,0.32MB,总共5页。
举报