## 1 Introduction
They permit an integrated scheme of data structures, and the modeled behavior [18]. When used for testing, a Petri net consists of input conditions (causes) and a description of the expected output conditions (effects) achieved by its execution under the defined input conditions. Colored Petri nets (CPNs) [19] are a class of high-level Petri nets offering these features and naturally representing the distributed features of an MAS [20]. When compared with finite state machine (FSM) methods, a CPN requires lower computational costs, and the length of the test suites can be reduced by using the equivalent space-state [21]. In this paper, we present a method for testing MAS social level specified by \(\mathcal{M}\)oise+ organizational model. The proposed method takes the tree specifications that compose a \(\mathcal{M}\)oise+ model as an information artifact and maps them into a colored Petri net specific model, named CPN4M. This model is used as a generation mechanism for test cases. It can generate a test suit based on two coverage criteria. The _all paths_ method identifies all different paths inside a Petri net structure to generate the test cases. Meanwhile, the _states transition path_ method assesses the specification testability and generates the test cases based on CPN state space. Applying these methods in a study case, we demonstrate that the all-paths strategy can quickly deliver test cases based on the social level inputs. On the other hand, the state transition path strategy can generate states' space more significant than the previous method, but not necessarily the same space of solutions. The case study also demonstrates how to identify an error in a \(\mathcal{M}\)oise+ specification and how to correct it. Finally, the results indicate that the proposed method can mitigate the absence of a formal integration verification between the three specifications of a \(\mathcal{M}\)oise+ model. It identifies when a social level specification has a complete biding between its resources to execute its plans and reach its goals. The list of paper contributions are summarized as follows:  
1. A strategy for testing a MAS, modularizing its three main components: social level, communication aspects, and the agent level. 2. An approach for testing the MAS social level when implemented with the \(\mathcal{M}\)oise+ organizational model. 3. A formal mapping between a \(\mathcal{M}\)oise+ specification and CPN structures and data structure. 4. The use of CPN analysis and validation tools as verification mechanism for \(\mathcal{M}\)oise+ specifications. The paper has the following structure. The next section presents the theoretical background necessary to understand the paper's contribution. Then, Section 4 formalizes the method, the procedures for testability assessment, and test cases generation. Next, Section 5 describes a case study where it is possible to evaluate the method, demonstrating how to generate a test case for each coverage criteria, how to identify errors and correct them, and how to recognize a correct specification. Finally, Section 6 presents the conclusions of this work and its perspectives for future works.