发明授权
- 专利标题: Specification generation from implementations
- 专利标题(中): 来自实现的规范生成
-
申请号: US11322982申请日: 2005-12-30
-
公开(公告)号: US07844951B2公开(公告)日: 2010-11-30
- 发明人: Feng Chen , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
- 申请人: Feng Chen , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
- 申请人地址: US WA Redmond
- 专利权人: Microsoft Corporation
- 当前专利权人: Microsoft Corporation
- 当前专利权人地址: US WA Redmond
- 代理机构: Klarquist Sparkman, LLP
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.
公开/授权文献
- US20070157169A1 Specification generation from implementations 公开/授权日:2007-07-05