Dissertation/Thesis
Προβολή σε EDS

A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE
Συγγραφείς: Day Wednesday
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://www.swtesting.com/stc_trot.PDF.
Συλλογή: CiteSeerX
Θεματικοί όροι: Ada, Anna, software reuse, software testing, verification and validation, formal method specification for software testing
Περιγραφή: The engineering of software systems that must be highly reliable is very difficult, and support tools and techniques are clearly needed. We are developing a technique and an associated tool set that uses executable specifications based on Annotated Ada (Anna) for software testing in hard real-time environments. Our initial tool, the test range oracle tool (TROT), supports the creation of simple test oracles that check the correctness of equation execution; future tools will have expanded capabilities. TROT was designed using commercial-off-the-shelf and reuse software to fit in with an on-going software development process and does not interfere with the software under test. Automating the verification and validation testing of software systems remains a problem area in software engineering. Testing software that must be highly reliable requires a large number of test cases. Analyzing and determining the correctness of these large number of test cases is very difficult and time consuming. Software engineers must often rely on engineering judgment or
Τύπος εγγράφου: Thesis
Γλώσσα: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862; http://www.swtesting.com/stc_trot.PDF
Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862
http://www.swtesting.com/stc_trot.PDF
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Αριθμός Καταχώρησης: edsbas.A11FB315
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.A11FB315
RelevancyScore: 672
AccessLevel: 3
PubType: Dissertation/Thesis
PubTypeId: unknown
PreciseRelevancyScore: 671.999938964844
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Day+Wednesday%22">Day Wednesday</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: The Pennsylvania State University CiteSeerX Archives
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>http://www.swtesting.com/stc_trot.PDF</i>.
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: CiteSeerX
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Ada%22">Ada</searchLink><br /><searchLink fieldCode="DE" term="%22Anna%22">Anna</searchLink><br /><searchLink fieldCode="DE" term="%22software+reuse%22">software reuse</searchLink><br /><searchLink fieldCode="DE" term="%22software+testing%22">software testing</searchLink><br /><searchLink fieldCode="DE" term="%22verification+and+validation%22">verification and validation</searchLink><br /><searchLink fieldCode="DE" term="%22formal+method+specification+for+software+testing%22">formal method specification for software testing</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The engineering of software systems that must be highly reliable is very difficult, and support tools and techniques are clearly needed. We are developing a technique and an associated tool set that uses executable specifications based on Annotated Ada (Anna) for software testing in hard real-time environments. Our initial tool, the test range oracle tool (TROT), supports the creation of simple test oracles that check the correctness of equation execution; future tools will have expanded capabilities. TROT was designed using commercial-off-the-shelf and reuse software to fit in with an on-going software development process and does not interfere with the software under test. Automating the verification and validation testing of software systems remains a problem area in software engineering. Testing software that must be highly reliable requires a large number of test cases. Analyzing and determining the correctness of these large number of test cases is very difficult and time consuming. Software engineers must often rely on engineering judgment or
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Thesis
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862; http://www.swtesting.com/stc_trot.PDF
– Name: URL
  Label: Availability
  Group: URL
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862<br />http://www.swtesting.com/stc_trot.PDF
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.A11FB315
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.A11FB315
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Ada
        Type: general
      – SubjectFull: Anna
        Type: general
      – SubjectFull: software reuse
        Type: general
      – SubjectFull: software testing
        Type: general
      – SubjectFull: verification and validation
        Type: general
      – SubjectFull: formal method specification for software testing
        Type: general
    Titles:
      – TitleFull: A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Day Wednesday
      – PersonEntity:
          Name:
            NameFull: The Pennsylvania State University CiteSeerX Archives
    IsPartOfRelationships:
      – BibEntity:
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: http://www.swtesting.com/stc_trot.PDF
              Type: main
ResultId 1