首页>
外国专利>
MODEL-BASED TESTING USING BRANCHES, DECISIONS , AND OPTIONS
MODEL-BASED TESTING USING BRANCHES, DECISIONS , AND OPTIONS
展开▼
机译:使用分支,决策和选项进行基于模型的测试
展开▼
页面导航
摘要
著录项
相似文献
摘要
Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.
展开▼