Invention Grant
- Patent Title: Model-based testing using branches, decisions, and options
- Patent Title (中): 使用分支，决策和选项进行基于模型的测试
-
Application No.: US12021383Application Date: 2008-01-29
-
Publication No.: US08225288B2Publication Date: 2012-07-17
- Inventor: Michael D. Miller , Ryan R. Ulaszek
- Applicant: Michael D. Miller , Ryan R. Ulaszek
- Applicant Address: US CA Mountain View
- Assignee: Intuit Inc.
- Current Assignee: Intuit Inc.
- Current Assignee Address: US CA Mountain View
- Agency: Park, Vaughan, Fleming & Dowler LLP
- Agent Chia-Hsin Suen
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
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.
Public/Granted literature
- US20090193391A1 MODEL-BASED TESTING USING BRANCHES, DECISIONS , AND OPTIONS Public/Granted day:2009-07-30
Information query
