Hybrid agent-based methodology for testing response protocols
نویسندگان
چکیده
منابع مشابه
Hybrid BIST methodology for testing core-based systems
This paper describes a hybrid BIST methodology for testing systems-on-chip. In our hybrid BIST approach a test set is assembled, for each core, from pseudorandom test patterns that are generated on-line, and deterministic test patterns that are generated off-line and stored in the system. The deterministic test set is specially designed to shorten the pseudorandom test cycle and to target rando...
متن کاملBeast methodology: An agile testing methodology for multi-agent systems based on behaviour driven development
This paper presents a testing methodology to apply Behaviour Driven Development (BDD) techniques while developing Multi-Agent Systems (MASs), termed BEhavioural Agent Simple Testing (BEAST) Methodology. This methodology is supported by the open source framework (BEAST Tool) which automatically generates test cases skeletons from BDD scenarios specifications. The developed framework allows the t...
متن کاملA Hybrid Testing Methodology for Railway Control Systems
International standards for V&V processes prescribe systematic testing as a fundamental step of safety-critical systems life-cycle, in order to prove the fulfilment of their requirements. However, proposed approaches are quite general and, for complex systems, imply an excessive number of testcases to ensure the correctness of system behaviour in any operating scenarios, including unexpected on...
متن کاملSpecification Based Conformance Testing for Email Protocols
The paper presents a method for conformance testing of Internet electronic mail protocols. The method is based on formal specification of the standards following the approach of the contract specification, and designing tests as traversal of a state machine. The paper presents the implementation of the method for the most widely used e-mail protocols SMTP, POP3 and IMAP4 and is illustrated by t...
متن کاملLogic-Based Agent Communication Protocols
An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occurring in open societies, the problem of checking an agent’s conformance to such a protocol is a central issue. We identify different levels of conformance (weak, exhaustive, and robust conformance) and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge-Based Systems
سال: 2021
ISSN: 0950-7051
DOI: 10.1016/j.knosys.2021.107005