ACM Transactions on Programming Languages and Systems (TOPLAS)
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Concurrent and Distributed Computing in Java
Concurrent and Distributed Computing in Java
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Conformance Testing of BDI Properties in Agent-based Software Systems
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
The Knowledge Engineering Review
Comparison and Performance Evaluation of Mobile Agent Platforms
ICAS '07 Proceedings of the Third International Conference on Autonomic and Autonomous Systems
Automated unit testing intelligent agents in PDT
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
International Journal of Agent-Oriented Software Engineering
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending UML sequence diagrams to model agent mobility
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Modelling and simulation of dynamic structure discrete-event systems
Modelling and simulation of dynamic structure discrete-event systems
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Hi-index | 0.00 |
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera --- a novel, high-level language supporting the description and execution of models of concurrent, mobile, distributed, and timed computation. In our approach, a kiltera model of the system is constructed from a high-level model which describes system behavior using, e.g., a suitable UML profile. Check points are identified in the implementation under test (IUT) and the kiltera model and both are instrumented appropriately at these check points. During execution, relevant information flows from the IUT to the kiltera model which signals any non-conformance detected. Unique features of our approach include the support for mobility, distribution, time, dynamic creation and deletion of agents, and distributed monitoring. We describe the approach and a prototype implementation using a running example for illustration. Results of first, preliminary experiments are reported.