• DocumentCode
    3850261
  • Title

    Automated generation of test cases using a performability model

  • Author

    A. Avritzer;E. de Souza e Silva;R.M.M. Leao;E.J. Weyuker

  • Author_Institution
    Siemens Corporate Research, 755 College Road East, Princeton, NJ 08540, USA
  • Volume
    5
  • Issue
    2
  • fYear
    2011
  • fDate
    4/1/2011 12:00:00 AM
  • Firstpage
    113
  • Lastpage
    119
  • Abstract
    The authors present a new approach for the automated generation of test cases to be used for demonstrating the reliability of large industrial mission-critical systems. In this study they extend earlier work by using a performability model to track resource usage and resource failures. Results from the transient Markov chain analysis are used to estimate the software reliability at a given system execution time.
  • Journal_Title
    IET Software
  • Publisher
    iet
  • ISSN
    1751-8806
  • Type

    jour

  • DOI
    10.1049/iet-sen.2010.0035
  • Filename
    5751763
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3850261