Sciweavers

2317 search results - page 1 / 464
» Model based testing for agent systems
Sort
View
ATAL
2009
Springer
14 years 19 hour ago
Model based testing for agent systems
Zhiyong Zhang, John Thangarajah, Lin Padgham
DMS
2008
167views Multimedia» more  DMS 2008»
13 years 6 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
ATAL
2005
Springer
13 years 11 months ago
Using decision-theoretic models to enhance agent system survivability
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
Anthony R. Cassandra, Marian H. Nodine, Shilpa Bon...
AAAI
1994
13 years 6 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
PRIMA
2007
Springer
13 years 11 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida