发明申请
US20120089873A1 SYSTEMS AND METHODS FOR AUTOMATED SYSTEMATIC CONCURRENCY TESTING
审中-公开
自动系统同步测试的系统和方法
- 专利标题： SYSTEMS AND METHODS FOR AUTOMATED SYSTEMATIC CONCURRENCY TESTING
- 专利标题（中）： 自动系统同步测试的系统和方法
-
申请号： US13081684申请日： 2011-04-07
-
公开(公告)号： US20120089873A1公开(公告)日： 2012-04-12
- 发明人: Chao Wang , Aarti Gupta
- 申请人： Chao Wang , Aarti Gupta
- 申请人地址： US NJ Princeton
- 专利权人： NEC Laboratories America, Inc.
- 当前专利权人： NEC Laboratories America, Inc.
- 当前专利权人地址： US NJ Princeton
- 主分类号： G06F11/36
- IPC分类号： G06F11/36
摘要：
Systems and method provide a coverage-guided systematic testing framework by dynamically learning HaPSet ordering constraints over shared object accesses; and applying the learned HaPSet ordering constraints to select high-risk interleavings for future test execution.
信息查询
