Testing collaborative agents defined as stream X-machines with distributed grammars

被引：0
|
作者：
Balanescu, Tudor [1 ]
Gheorghe, Marian
Holcombe, Mike
Ipate, Florentin [1 ]
机构：
[1] Univ Pitesti, Fac Sci, Pitesti, Romania
来源：
ADVANCES IN ARTIFICIAL LIFE | 2001年 / 2159卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a method for testing software collaborative agents. The method is based on the stream X- machine model using as basic processing relations sets of production rules and is built around an existing stream X- machine testing strategy already. The paper investigates different variants of the 'design for test' conditions required by this strategy and their applicability to the case of collaborative agents.
引用
收藏
页码：296 / 305
页数：10
相关论文
共 25 条
  • [1] Testing (Stream) X-machines
    Florentin Ipate
    Marian Gheorghe
    Mike Holcombe
    [J]. Applicable Algebra in Engineering, Communication and Computing, 2003, 14 : 217 - 237
  • [2] Testing (stream) X-machines
    Ipate, F
    Gheorghe, M
    Holcombe, M
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2003, 14 (03) : 217 - 237
  • [3] Testing conformance on stochastic stream X-machines
    Merayo, Mercedes G.
    Nunez, Manuel
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 227 - +
  • [4] An Integrated Refinement and Testing Method for Stream X-machines
    Florentin Ipate
    Mike Holcombe
    [J]. Applicable Algebra in Engineering, Communication and Computing, 2002, 13 : 67 - 91
  • [5] Testing timed systems modeled by Stream X-machines
    Merayo, Mercedes G.
    Nunez, Manuel
    Hierons, Robert M.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 201 - 217
  • [6] An integrated refinement and testing method for stream X-machines
    Ipate, F
    Holcombe, M
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2002, 13 (02) : 67 - 91
  • [7] Testing timed systems modeled by Stream X-machines
    Mercedes G. Merayo
    Manuel Núñez
    Robert M. Hierons
    [J]. Software & Systems Modeling, 2011, 10 : 201 - 217
  • [8] On the minimality of stream X-machines
    Ipate, F
    [J]. COMPUTER JOURNAL, 2003, 46 (03): : 295 - 306
  • [9] On the minimality of stream x-machines
    [J]. Ipate, F. (fipate@ifsoft.ro), 1600, Oxford University Press (46):
  • [10] Checking experiments for stream X-machines
    Hierons, Robert M.
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (37) : 3372 - 3385
123