首页>
外国专利>
DIRECTED TESTING FOR PROPERTY VIOLATIONS
DIRECTED TESTING FOR PROPERTY VIOLATIONS
展开▼
机译:针对财产侵权的直接测试
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.
展开▼