TML: a description language for Markov chain usage models

被引：10
|
作者：
Prowell, SJ [1 ]
机构：
[1] Univ Tennessee, Dept Comp Sci, Knoxville, TN 37996 USA
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2000年 / 42卷 / 12期
关键词：
Markov chain; description language; usage model;
D O I：
10.1016/S0950-5849(00)00123-3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Finite-state Markov chains have proven useful as a model to characterize a population of uses of a software system. This paper presents a language (TML) for describing these models in a manner that supports development, reuse, and automated testing. TML provides a simple representation of usage models, while formalizing modeling techniques already in use informally. (C) 2000 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：835 / 844
页数：10
相关论文
共 50 条
  • [1] Test automation for Markov Chain Usage Models
    Bettinotti, Adriana M.
    Garavaglia, Mauricio
    [J]. JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, 2011, 11 (02): : 93 - 99
  • [2] Determining optimal testing times for Markov Chain Usage Models
    Semmel, GS
    Linton, DG
    [J]. PROCEEDINGS IEEE SOUTHEASTCON '98: ENGINEERING FOR A NEW ERA, 1998, : 1 - 4
  • [3] Computing system reliability using Markov chain usage models
    Prowell, SJ
    Poore, JH
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 73 (02) : 219 - 225
  • [4] MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models
    Siegl, Sebastian
    Entin, Vladimir
    German, Reinhard
    Kiffe, Gerhard
    [J]. ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 202 - +
  • [5] A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
    Dulz, Winfried
    Holpp, Stefan
    German, Reinhard
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (03) : 19 - 35
  • [6] Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems
    Homm, Daniel
    Eckert, Juergen
    German, Reinhard
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1803 - 1807
  • [7] The Typographic Markup Language (TML)
    von Harlessem, Marcus
    Klahold, Andre
    [J]. PROCEEDINGS OF THE IASTED EUROPEAN CONFERENCE ON INTERNET AND MULTIMEDIA SYSTEMS AND APPLICATIONS, 2007, : 290 - +
  • [8] Automatic generation of Markov chain usage models from real-time software UML models
    Yan, J
    Wang, J
    Chen, HW
    [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 22 - 31
  • [9] Test Markup language (TML)
    Wegener, SA
    [J]. 2002 IEEE AUTOTESTCON PROCEEEDINGS, SYSTEMS READINESS TECHNOLOGY CONFERENCE, 2002, : 585 - 596
  • [10] A Markov chain description of a workstation with infinite capacity
    Stadje, W
    [J]. OPTIMIZATION, 2003, 52 (02) : 201 - 210
12345