技术编号:6633000
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明公开了一种,通过静态分析程序数据流和控制流结构定义程序路径的特征集合及相关的推理规则,并利用程序执行的路径特征自动地推理每个程序节点在该次执行中的(一个或多个)状态;对于多条需要获知节点状态的路径可以同时计算,过程简便,成本低廉。专利说明 [0001] 本发明涉及一种,属于软件维护 中的故障定位领域。 背景技术 [0002] 故障定位是软件维护过程中最重要的步骤之一,通过对测试中的程序正确执行和 失效执行的分析来对程序中故障可能存在的位置进...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。