AU2001244866A1 - Functional testing based on a state machine description of the unit under test - Google Patents

Functional testing based on a state machine description of the unit under test

Info

Publication number
AU2001244866A1
AU2001244866A1 AU2001244866A AU4486601A AU2001244866A1 AU 2001244866 A1 AU2001244866 A1 AU 2001244866A1 AU 2001244866 A AU2001244866 A AU 2001244866A AU 4486601 A AU4486601 A AU 4486601A AU 2001244866 A1 AU2001244866 A1 AU 2001244866A1
Authority
AU
Australia
Prior art keywords
state machine
under test
unit under
functional testing
testing based
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
AU2001244866A
Inventor
Eilko Nijboer
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.)
Telefonaktiebolaget LM Ericsson AB
Original Assignee
Telefonaktiebolaget LM Ericsson AB
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 Telefonaktiebolaget LM Ericsson AB filed Critical Telefonaktiebolaget LM Ericsson AB
Publication of AU2001244866A1 publication Critical patent/AU2001244866A1/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/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
    • G01R31/318307—Generation of test inputs, e.g. test vectors, patterns or sequences computer-aided, e.g. automatic test program generator [ATPG], program translations, test program debugging

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Debugging And Monitoring (AREA)
AU2001244866A 2000-12-15 2001-03-28 Functional testing based on a state machine description of the unit under test Abandoned AU2001244866A1 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US25542600P 2000-12-15 2000-12-15
US60255426 2000-12-15
PCT/NL2001/000254 WO2002048728A1 (en) 2000-12-15 2001-03-28 Functional testing based on a state machine description of the unit under test

Publications (1)

Publication Number Publication Date
AU2001244866A1 true AU2001244866A1 (en) 2002-06-24

Family

ID=22968277

Family Applications (1)

Application Number Title Priority Date Filing Date
AU2001244866A Abandoned AU2001244866A1 (en) 2000-12-15 2001-03-28 Functional testing based on a state machine description of the unit under test

Country Status (2)

Country Link
AU (1) AU2001244866A1 (en)
WO (1) WO2002048728A1 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114443428B (en) * 2022-01-19 2024-08-30 山东新一代信息产业技术研究院有限公司 Method and device for monitoring running state of program inside based on IROS

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6408262B1 (en) * 1998-03-27 2002-06-18 Iar Systems A/S Method and an apparatus for analyzing a state based system model

Also Published As

Publication number Publication date
WO2002048728A1 (en) 2002-06-20

Similar Documents

Publication Publication Date Title
AU6210199A (en) Test device
AUPQ886100A0 (en) Diagnostic test
AU6338800A (en) Leak testing device
AU1208900A (en) Component position verification using a probe apparatus
AU2001227888A1 (en) Alternator tester
AU2003233659A1 (en) Probe for testing a device under test
AU2001250686A1 (en) Method and device for testing a well
AU1194101A (en) Method of characterizing a device under test
AU2001265356A1 (en) Testing instrument
AU2001253917A1 (en) Fluid testing apparatus
AU2001295322A1 (en) Skin testing device
AU2001269464A1 (en) Pupil measuring device
AUPR003000A0 (en) A bag testing machine
AU3584101A (en) Test apparatus
GB9917126D0 (en) Accesing a test condition
AU2001234870A1 (en) Vision testing apparatus
AU2002226321A1 (en) Adapter for a peg probe
AU3717601A (en) Ultrasonic testing
AU2001241158A1 (en) Test paper
AU3165701A (en) Test device for testing long objects
AU2001244866A1 (en) Functional testing based on a state machine description of the unit under test
AU2001236968A1 (en) Lssd interface
AU1564101A (en) A test fixture
AU2001269194A1 (en) Dynamic pyrotechnic propellant-press test device
AU2001256483A1 (en) A relay test device