Entry Bruckert:1991:VFF from dectechj.bib

Last update: Thu Sep 27 02:13:54 MDT 2018                Valid HTML 4.0!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Bruckert:1991:VFF,
  author =       "William F. Bruckert and Carlos Alonso and James M.
                 Melvin",
  title =        "Verification of the first fault-tolerant {VAX}
                 system",
  journal =      j-DEC-TECH-J,
  volume =       "3",
  number =       "1",
  pages =        "79--85",
  month =        "Winter",
  year =         "1991",
  CODEN =        "DTJOEL",
  ISSN =         "0898-901X",
  bibdate =      "Thu Mar 20 18:15:43 MST 1997",
  bibsource =    "/usr/local/src/bib/bibliography/Database/Graefe.bib;
                 http://www.math.utah.edu/pub/tex/bib/dectechj.bib",
  URL =          "ftp://ftp.digital.com/pub/Digital/info/DTJ/v3n1/Verification_of_the_First_Faul_01oct1991DTJ108P8.ps;
                 http://www.digital.com:80/info/DTJ108/DTJ108SC.TXT",
  abstract =     "The fault-tolerant character of the VAXft 3000 system
                 required that plans be made early in the development
                 stages for the verification and test of the system. To
                 ensure proper test coverage of the fault-tolerant
                 features, engineers built fault-insertion points
                 directly into the system hardware. During the
                 verification process, test engineers used hardware and
                 software fault insertion in directed and random test
                 forms. A four-phase verification strategy was devised
                 to ensure that the VAXft system hardware and software
                 was fully tested for error recovery that is transparent
                 to applications on the system.",
  acknowledgement = ack-nhfb,
  affiliation =  "Digital Equipment Corp., Maynard, MA, USA",
  classcodes =   "C5470 (Performance evaluation and testing)",
  classification = "C5470 (Performance evaluation and testing)",
  corpsource =   "Digital Equipment Corp., Maynard, MA, USA",
  keywords =     "computer testing; computing; digital computers; error
                 recovery; Error recovery; fault tolerant;
                 Fault-tolerant; fault-tolerant; strategy; Test; test;
                 VAXft 3000; Verification; verification; Verification
                 strategy",
  thesaurus =    "Computer testing; Digital computers; Fault tolerant
                 computing",
  treatment =    "P Practical",
}

Related entries