查看文章

Modern distributed information systems (DIS), based on the complex application of many technologies, increasingly acquire the properties of multi-agent systems (MAS). Autonomy, mobility, cooperativity, intelligence, basic for MAS, become necessary properties of DIS. At the same time, the rapidly growing complexity, distribution and criticality of the use of DIS cause no less growth in the requirements for the reliability of their functioning, provided at the systemic, behavioral level by a complex of many approaches, both for project verification and for implementation testing. Most functional verification and testing problems have NP-complexity, which requires the integration of different verification tools and the use of various types of decomposition to achieve the desired result. The proposed model of MAS cooperation for testing is based on the representation of the behavior of DIS and MAS in their composition by …