发明申请
US20080052692A1 System, Method and Computer Program Product for Checking a Software Entity
有权
用于检查软件实体的系统，方法和计算机程序产品
- 专利标题： System, Method and Computer Program Product for Checking a Software Entity
- 专利标题（中）： 用于检查软件实体的系统，方法和计算机程序产品
-
申请号： US11456226申请日： 2006-07-10
-
公开(公告)号： US20080052692A1公开(公告)日： 2008-02-28
- 发明人: Hana Chockler , Eitan Daniel Farchi , Ziv Glazberg , Benyamin Godlin
- 申请人： Hana Chockler , Eitan Daniel Farchi , Ziv Glazberg , Benyamin Godlin
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.
公开/授权文献
信息查询
