发明申请
- 专利标题： SOFTWARE EQUIVALENCE CHECKING
- 专利标题（中）： 软件等效检查
-
申请号： US13026313申请日： 2011-02-14
-
公开(公告)号： US20110138362A1公开(公告)日： 2011-06-09
- 发明人: Sharon Keidar-Barner , Karen Frida Yorav
- 申请人： Sharon Keidar-Barner , Karen Frida Yorav
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 主分类号： G06F9/44
- IPC分类号： G06F9/44
摘要：
Two programs are checked for equivalence. Based on concrete states, a control path in each program is determined. A symbolic representation of the output is determined for each program and verified that for every input that would execute the programs on the determined control paths, the outputs are the same. Based on this operation, iterative processing may be performed to verify equivalence for all inputs of the program.
公开/授权文献
- US08683441B2 Software equivalence checking 公开/授权日：2014-03-25
信息查询
