出版社：Vilnius University, University of Latvia, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
摘要：The research has been made on modelling and testing cooperation of autonomous robots in order to verify correctness of the whole system operation. The Extended Finite State Machine (EFSM) has been choose as modelling language that enables describing of operation of each separate robot or its parts and ensures simulation in MATLAB/Simulink environment. The collaboration between processes is implemented by events and using common variables in programs. In this research "the complete test set" of robot cooperation has been defined as feasibility of all possible states of the cooperation model. It is certain, that there is no solution for EFSM model feasibility problem in general. The research defines conditions for use of modelling language in case when complete test set problem has been solved, as well as offers technologies/algorithms for creation of complete test set.
关键词：Autonomous Robots; Model checking; Testing; Validation; Verification
