AU5286300A - Analyzing an extended finite state machine system model - Google Patents

Analyzing an extended finite state machine system model

Info

Publication number
AU5286300A
AU5286300A AU52863/00A AU5286300A AU5286300A AU 5286300 A AU5286300 A AU 5286300A AU 52863/00 A AU52863/00 A AU 52863/00A AU 5286300 A AU5286300 A AU 5286300A AU 5286300 A AU5286300 A AU 5286300A
Authority
AU
Australia
Prior art keywords
analyzing
state machine
system model
machine system
finite state
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Abandoned
Application number
AU52863/00A
Inventor
Ron Kita
Kaare Klevjer
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Teradyne Inc
Original Assignee
Teradyne Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Teradyne Inc filed Critical Teradyne Inc
Publication of AU5286300A publication Critical patent/AU5286300A/en
Abandoned legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
AU52863/00A 1999-05-25 2000-05-24 Analyzing an extended finite state machine system model Abandoned AU5286300A (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US31820599A 1999-05-25 1999-05-25
US09318205 1999-05-25
PCT/US2000/014291 WO2000072146A1 (en) 1999-05-25 2000-05-24 Analyzing an extended finite state machine system model

Publications (1)

Publication Number Publication Date
AU5286300A true AU5286300A (en) 2000-12-12

Family

ID=23237119

Family Applications (1)

Application Number Title Priority Date Filing Date
AU52863/00A Abandoned AU5286300A (en) 1999-05-25 2000-05-24 Analyzing an extended finite state machine system model

Country Status (2)

Country Link
AU (1) AU5286300A (en)
WO (1) WO2000072146A1 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2508447B (en) 2013-03-28 2014-10-22 Randomize Ltd Method and apparatus for testing electronic systems

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5394347A (en) * 1993-07-29 1995-02-28 Digital Equipment Corporation Method and apparatus for generating tests for structures expressed as extended finite state machines
US5500941A (en) * 1994-07-06 1996-03-19 Ericsson, S.A. Optimum functional test method to determine the quality of a software system embedded in a large electronic system
EP0869433A3 (en) * 1997-03-31 1999-10-06 Siemens Corporate Research, Inc. A test development system and method for software with a graphical user interface

Also Published As

Publication number Publication date
WO2000072146A1 (en) 2000-11-30

Similar Documents

Publication Publication Date Title
AU1880401A (en) Print option for wap browsers
AUPQ684600A0 (en) An object monitoring system
AU3565600A (en) Computer system
AU5285000A (en) Analyzing an extended finite state machine system model
AU4286199A (en) Computer system
AU5160400A (en) Analyzing an extended finite state machine system model
AU3716500A (en) Interface independent test system
AU5405700A (en) Reducing machine
AU3191100A (en) Ligand-bonded complex
AU4607500A (en) Monitoring system
AU5286300A (en) Analyzing an extended finite state machine system model
AU6001200A (en) Expression system
AU3987100A (en) Computer system
AU6994600A (en) Substituted benzoxazoles
AU2303500A (en) Visualisation system
AU5552200A (en) Method
AU6840900A (en) New device
AU6980900A (en) Computer system
AUPQ249799A0 (en) An interaction process
AU6541400A (en) An activity monitoring device
AU7048900A (en) Machine readable record
AU1164401A (en) Method
AUPQ547999A0 (en) Simple software solutions
AUPQ254699A0 (en) Simple software solutions
AUPP958999A0 (en) An aquaculture system

Legal Events

Date Code Title Description
MK6 Application lapsed section 142(2)(f)/reg. 8.3(3) - pct applic. not entering national phase