Analyzing an extended finite state machine system model

Details Analyzing an extended finite state machine system model Analyzing an extended finite state machine system model

2005-02-08

2005-02-08

Phan, Thai (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Modeling by mathematical expression

C703S022000, C703S017000, C717S126000

Reexamination Certificate

active

06853963

ABSTRACT:
A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.

REFERENCES:
patent: 5038307 (1991-08-01), Krishnakumar et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5408597 (1995-04-01), Kita et al.
patent: 5485600 (1996-01-01), Joseph et al.
patent: 5500941 (1996-03-01), Gil
patent: 5513122 (1996-04-01), Cheng et al.
patent: 5623499 (1997-04-01), Ko et al.
patent: 5740353 (1998-04-01), Kreulen et al.
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 6044211 (2000-03-01), Jain
patent: 6059837 (2000-05-01), Kukula et al.
patent: 6289252 (2001-09-01), Wilson et al.
patent: 6681331 (2004-01-01), Munson et al.
patent: 6694290 (2004-02-01), Apfelbaum et al.
Frankl, P.G. et al., “Provable Improvements on Branch Testing”, IEEE Transactions on Software Engineering, US, IEEE Inc. New York, vol. 19, No. 10, 1993, pp. 962-975.
Hammer Technologies CallMaster Datasheet, A Teradyne Company Brochure. (4 pages).
TestMaster, Automating Software Quality, Teradyne Software and Systems Test's TestMaster Software Automates (5 pages). Test Generation for a Wide Range of Software Based Systems, Teradyne Software & Systems Tests 1994.
Teradyne Testmater Automating Software Quality Add More Resources. Limit New Functionality. Make it Fit the Schedule Brochure.
Teradyne TestMaster, Shorten the Time-to-Quality for your Telecom Systems Brochure 4 pages.
Apfelbaum, Automating the Test Generation Process, presented at the Software Testing Analysis & Review Conference in May 1995, pp 1-12.
Apfelbaum, The Practical Engineer, Spec-based Tests Make Sure Telecom Software Works, IEEE Spectrum 34:78-83, 1997.
Apfelbaum, Automated Functional Test Generation, presented at the Autotestcom Conference Aug. 1995. (7 pages).
Clarke, Automated Test Generation from a Behavioral Model, presented at the Software Quality Week Conference, May 1998. (7 pages).
Esmelioglu et al., Automated Test Generation, Execution, and Reporting, presented at the Pacific Northwest Software Quality Conference, Oct. 1997, pp. 1-16.
Hutchins et al., Experiments on the Effectiveness of Dataflow-and Controlflow-Based Test Adequacy Criteria Research Paper, May 1994, pp. 191-200.
Meyer, AT&T Network & Computing Services, Applying Use-Case Methodology to SRE and System Testing, presented at the STAR West Conference, Oct. 1998, pp. 1-16.
Savage et al., Automated Test Methodology for Operational Flight Programs, present at the IEEE Aerospace Conference, Feb. 1997, (9 pages).
Sowers, Positive Results at Cadence Design Systems Using Model Reference Testing Approach. (2 pages).
Stephenson et al., Using Advanced Tools to Automate the Design, Generation and Execution of Formal Qualitification Testing, presented at the Autotestcom Conference, Sep. 1996. (6 pages).

Affiliated with

Also associated with

Rating

Analyzing an extended finite state machine system model does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Analyzing an extended finite state machine system model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analyzing an extended finite state machine system model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3492776