ATE149708T1 - Verfahren zur automatischen erzeugung von prüfsequenzen - Google Patents

Verfahren zur automatischen erzeugung von prüfsequenzen

Info

Publication number
ATE149708T1
ATE149708T1 AT93201760T AT93201760T ATE149708T1 AT E149708 T1 ATE149708 T1 AT E149708T1 AT 93201760 T AT93201760 T AT 93201760T AT 93201760 T AT93201760 T AT 93201760T AT E149708 T1 ATE149708 T1 AT E149708T1
Authority
AT
Austria
Prior art keywords
test sequences
automatically generating
generating test
sequences
impossibilities
Prior art date
Application number
AT93201760T
Other languages
English (en)
Inventor
De Burgt Stephanus Pieter Van
Original Assignee
Nederland Ptt
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 Nederland Ptt filed Critical Nederland Ptt
Application granted granted Critical
Publication of ATE149708T1 publication Critical patent/ATE149708T1/de

Links

Classifications

    • 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/318371—Methodologies therefor, e.g. algorithms, procedures

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Investigating, Analyzing Materials By Fluorescence Or Luminescence (AREA)
  • Debugging And Monitoring (AREA)
  • Computer And Data Communications (AREA)
  • Medicinal Preparation (AREA)
  • Facsimiles In General (AREA)
  • Communication Control (AREA)
  • Investigating Or Analysing Biological Materials (AREA)
AT93201760T 1992-07-02 1993-06-18 Verfahren zur automatischen erzeugung von prüfsequenzen ATE149708T1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
NL9201182A NL9201182A (nl) 1992-07-02 1992-07-02 Methode voor het automatisch genereren van testreeksen.

Publications (1)

Publication Number Publication Date
ATE149708T1 true ATE149708T1 (de) 1997-03-15

Family

ID=19861005

Family Applications (1)

Application Number Title Priority Date Filing Date
AT93201760T ATE149708T1 (de) 1992-07-02 1993-06-18 Verfahren zur automatischen erzeugung von prüfsequenzen

Country Status (6)

Country Link
US (1) US5426651A (de)
EP (1) EP0579302B1 (de)
AT (1) ATE149708T1 (de)
DE (1) DE69308407T2 (de)
ES (1) ES2100442T3 (de)
NL (1) NL9201182A (de)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5630051A (en) * 1995-03-06 1997-05-13 Motorola Inc. Method and apparatus for merging hierarchical test subsequence and finite state machine (FSM) model graphs
US5796752A (en) * 1995-03-06 1998-08-18 Motorola, Inc. Method and apparatus for constructing verification test sequences by euler touring a test subsequence graph
US6282681B1 (en) * 1995-03-06 2001-08-28 Motorola, Inc. Method and apparatus for testing finite state machine (FSM) conformance utilizing unique input/output sequence (UIO) sets
US5703885A (en) * 1995-03-06 1997-12-30 Motorola, Inc. Method and apparatus for constructing verification test sequences by merging and touring hierarchical unique input/output sequence (UIO) based test subsequence graphs
US6004027A (en) * 1995-03-06 1999-12-21 Motorola Inc. Method and apparatus for constructing test subsequence graphs utilizing unique input/output sequence (UIO) sets
US5555270A (en) * 1995-03-13 1996-09-10 Motorola Inc. Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements
US5787147A (en) * 1995-12-21 1998-07-28 Ericsson Inc. Test message generator in a telecommunications network
GB2315646B (en) * 1996-07-19 2001-02-14 Ericsson Telefon Ab L M Validation of procedures
US6487676B1 (en) 1996-07-19 2002-11-26 Telefonaktiebolaget Lm Ericsson (Publ) Validation of procedures
US5933633A (en) * 1996-11-19 1999-08-03 Good; Sebastian Erich State table generating system
US5987251A (en) * 1997-09-03 1999-11-16 Mci Communications Corporation Automated document checking tool for checking sufficiency of documentation of program instructions
US6321376B1 (en) * 1997-10-27 2001-11-20 Ftl Systems, Inc. Apparatus and method for semi-automated generation and application of language conformity tests
US6553514B1 (en) * 1999-09-23 2003-04-22 International Business Machines Corporation Digital circuit verification
DE10127690A1 (de) * 2001-06-08 2002-12-12 Infineon Technologies Ag Verfahren zur Erzeugung von Testmustern zur Prüfung von elektrischen Schaltungen
US20050194166A1 (en) * 2003-06-10 2005-09-08 Goodti Industrial Co., Ltd. High torque electromotive tool
US7882473B2 (en) 2007-11-27 2011-02-01 International Business Machines Corporation Sequential equivalence checking for asynchronous verification

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4764863A (en) * 1985-05-09 1988-08-16 The United States Of America As Represented By The Secretary Of Commerce Hardware interpreter for finite state automata
US4692921A (en) * 1985-08-22 1987-09-08 American Telephone And Telegraph Company, At&T Bell Laboratories Method for generating verification tests
GB8527913D0 (en) * 1985-11-12 1985-12-18 Pa Consulting Services Analysing transitions in finite state machines
US4991176A (en) * 1989-06-07 1991-02-05 At&T Bell Laboratories Optimal test generation for finite state machine models
EP0499671B1 (de) * 1991-02-21 1997-05-21 International Business Machines Corporation Integrierter Schaltkreis mit eingebautem Selbsttest für die Erkennung logischer Fehler

Also Published As

Publication number Publication date
ES2100442T3 (es) 1997-06-16
EP0579302A1 (de) 1994-01-19
US5426651A (en) 1995-06-20
DE69308407D1 (de) 1997-04-10
NL9201182A (nl) 1994-02-01
DE69308407T2 (de) 1997-08-07
EP0579302B1 (de) 1997-03-05

Similar Documents

Publication Publication Date Title
ATE149708T1 (de) Verfahren zur automatischen erzeugung von prüfsequenzen
DE69132562D1 (de) Verfahren zur automatischen Erzeugung von partiellen, differentialen Gleichungen zur Simulation
DE3778526D1 (de) Schaltung zur erzeugung einer zwischenspannung.
DE3778962D1 (de) Vorrichtung zur erzeugung von kuenstlichen wirbelwinden.
DE3673359D1 (de) Verfahren zur herstellung von gedruckten schaltungsplatten.
DE3767431D1 (de) Verfahren zur herstellung von halbleiterbauelementen.
DE68911174D1 (de) Methode zur Erzeugung von Ortsverbindungen mit Gebrauch von chlorenthaltenden Mitteln.
DE69001968D1 (de) Verfahren zur erzeugung von wasserstoffperoxyd.
DE58907030D1 (de) Verfahren zur Herstellung von Leiterplatten.
DE3783170D1 (de) Schaltungsanordnung zur erzeugung von hochspannungen.
DE68907320D1 (de) Verfahren zur herstellung von modifizierten polypropylen-zusammensetzungen.
DE69013501D1 (de) Verfahren zur herstellung von aufschlämmungen mit hohem feststoffgehalt.
DE3775618D1 (de) Verfahren zur herstellung von toner durch suspensionspolymerisation.
DE3769484D1 (de) Verfahren zur herstellung von gedruckten leiterplatten.
DE3784565D1 (de) Verfahren zur herstellung von indium-phosphid-bauelementen.
DE69109582D1 (de) Vorrichtung zur Erzeugung von Oberwellen.
DE3878090D1 (de) Verfahren zur herstellung von supraleitenden schaltungen.
DE3776464D1 (de) Verfahren zur herstellung von maleimiden.
ATE85030T1 (de) Verfahren zur herstellung von wasserstoffperoxid.
DE69025706D1 (de) Verfahren zur Erzeugung gerasterter Halbtonbilder
ATE181549T1 (de) Verfahren zur herstellung von (s)-3-amino-1- substituiert-pirrolidine
DE3851651D1 (de) Schaltungsanordnung zur Erzeugung von Adressen.
DE58906804D1 (de) Verfahren zur optischen Prüfung von Flachbaugruppen.
DE3780666D1 (de) Einrichtung zur erzeugung von vibrationen.
DE3777556D1 (de) Verfahren zur herstellung von in elektronischen teilen verwendeter keramik.

Legal Events

Date Code Title Description
UEP Publication of translation of european patent specification
REN Ceased due to non-payment of the annual fee