THE HYBRID AGENT MODEL OF BEHAVIORAL TESTING
DOI:
https://doi.org/10.47839/ijc.14.4.824Keywords:
distributed information system, behavioral test, the evolutionary system, agent, multi-agent diagnostic system.Abstract
Operation testing and diagnostic tests, applied for distributed information systems, inherit and employ the properties of distribution, autonomy, goal formation and cooperation, natural for the multi-agent systems. This paper presents the behavioral diagnostics agent model, based on the evolutionary organization of component tests in the automata network environment. The model can be used to construct a multi-agent diagnostics system. A hybrid agent model provides a combination of reactive operation testing and deliberative diagnostic tests, based on the deterministic and evolutionary methods of synthesis of behavioral tests. An agent model consists of the component models of allocation environment, functioning goals and strategies, operations of observation, enforcement strategy and adaptation, initial component models, goals and strategies for ensuring the autonomy. Agent intelligence is based on a locally-exhaustive deterministic and pseudorandom targeted evolutionary synthesis of behavioral tests, providing and accumulating the results. Cooperation of the agents involves their deterministic and evolutionary interactions under the conditions of test feasibility and portability.References
A.S. Tanenbaum, M.V. Steen, Distributed Systems: Principles and Paradigms, third ed., Prentice Hall Press, 2013, 705 p.
G. Coulouris, J. Dollimore, T. Kindberg, G. Blair, Distributed Systems: Concepts and Design, 5th ed., Boston: Addison-Wesley, 2011, 1067 p.
I. Turchenko, V. Kochan, A. Sachenko, Neural-based recognition of multi-parameter sensor signal described by mathematical model, International Journal of Computing, (3) 2 (2004), pp. 140-147.
V.I. Hahanov et al., Design and Verification of Digital Systems on Chips. Virology & System Virology, Studies Benefits, Kharkov Nat. Univ. Radioelektronics, Kharkov, Ukraine, A New Word, 2010, 527 p. (in Russian).
H. Tahbildar and B. Kalita, Automated software test data generation: direction of research, International Journal of Computer Science & Engineering Survey (IJCSES), (2) 1 (2011), pp. 99-120.
V. Hrusha, O. Ossolinsky, A. Sachenko, R. Kochan, Distributed on-line temperature measurement and control system, International Journal of Computing, (6) 2 (2007), pp. 62-67.
S.J. Russell, P. Norvig, Artificial Intelligence: a Modern Approach, Prentice-Hall, Inc. A Simon & Schuster Company Englewood Cliffs, New Jersey, 2010, 1095 p.
Y. Shoham, K. Leyton-Brown, Multiagent Systems. Algorithmic, Game-Theoretic, and Logical Foundations, 2010, 532 p.
G. Rojek, R. Cięciwa, K. Cetnarowicz, Algorithm of behavior evaluation in multi-agent system, in Proceedings of the International Conference on Computational Science ICCS’2005: 5-th Int. Conference: Atlanta, GA, USA, (May 22-25, 2005) Pt. 3-ed., in: Vaidy S. Sunderam [et al.], Lecture Notes in Computer Science LNCS, vol. 3516. Berlin; Heidelberg: Springer-Verlag, 2005, pp. 711-718.
R.M. Hierons, K. Bogdanov, J.P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Luttgen, A.J.H. Simons, S. Vilkomir, M.R. Woodward, H. Zeda, Using formal specifications to support testing, ACM Comput. Surv., (41) (2009), pp. 9:1-9:76.
M.J. Rutherford, Adequate System-Level Testing of Distributed Systems, A thesis submitted to the Faculty of the Graduate School of the University of Colorado, 2006, 158 p.
K. Sinha, Structural Complexity and its Implications for Design of Cyber‐Physical Systems, Massachusetts Institute of Technology, Engineering Systems Division, January 3, 2014, 342 p.
N.K. Jha and S. Gupta, Testing of Digital Systems, Cambridge University Press, 2003, 1018 p.
W.K. Lam, Hardware Design Verification: Simulation and Formal Method-based Approaches, Prentice Hall, 2005, 624 p.
V.B. Kudryavtsev, I.S. Grunskii, V.A. Kozlovskii, Analysis and synthesis of abstract automata, Journal of Mathematical Sciences, (169) 4 (2010), pp. 481-532.
I. Grunsky, O. Kurganskyy, I. Potapov, Languages representable by Vertex-labeled graphs, in Proceedings of the 30-th International Symposium on Mathematical Foundations of Computer Science, (2005), vol. 3618, pp. 435-446.
A.A. Shchurov, R. Mařík, A formal approach to distributed system tests design, International Journal of Computer and Information Technology, (3) 4 (2014), pp. 696-705.
R.M. Hierons, H. Ural, The effect of the distributed test architecture on the power of testing, The Computer Journal, (51) 4 (2008), pp. 498-510.
O. Baldellon, J.-C. Fabre, M. Roy, Minotor: monitoring timing and behavioral properties for dependable distributed systems, in Proceedings of the 19-th IEEE Pacific Rim International Symposium on Dependable Computing PRDC’2013, Vancouver, Canada, (December 2013), 10 p.
G. Jervan, R. Ubar, Z. Peng, P. Eles, Test Generation: A Hierarchical Approach, Chapter in System-level Test and Validation of Hardware/Software Systems, Springer Series in Advanced Microelectronics, (17) (2005), pp. 67-81.
A.M. Khamis, M.R. Girgis, A.S. Ghiduk, Automatic software test data generation for spanning sets coverage using genetic algorithms, Computing and Informatics, (26) (2007), pp. 383-401.
J. Hudec, E. Gramatová, An efficient functional test generation method for processors using genetic algorithms, Journal of Electrical Engineering, (66) 4 (2015), pp. 185-193.
P. Bernardi, E. Sanchez, M. Schillaci, G. Squillero, M. Sonza Reorda, An evolutionary methodology to enhance processor software-based diagnosis, in Proceedings of the IEEE Congress on Evolutionary Computation, Vancouver BC, (July 16-21, 2006), pp. 859-864.
M. Harman, P. McMinn, a theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation, in Proceedings of the International Symposium on Software Testing and Analysis, London, (9-12 July 2007), pp. 73-83.
S.K. Singh, S. Sabharwal and J.P. Gupta, A novel approach for deriving test scenarios and test cases from events, Journal of Information Processing Systems, (8) 2 (2012), pp. 213-240.
Z. Houhamdi, B. Athamena, Structured integration test suite generation process for multi-agent system, Journal of Computer Science, (7) 5 (2011), pp. 690-697.
C. Nguyen, A. Perini, P. Tonella, Goal-oriented testing for MASs, Int. J. Agent-Oriented Software Eng., (4) (2010), pp. 79-109.
S. Yu, J. Ai, Software test data generation based on multi-agent, International Journal of Software Engineering and its Applications, (4) 1 (2010), pp. 67-74.
A.S. Sugak, A.N. Martynyuk, Evolutionary network model of testing for distributed information systems, Elecrotehnical and Computer Systems, Odessa, Ukraine, 16(92) (2014), pp. 71-77. (in Russian).
A.S. Sugak, A.N. Martynyuk, Multi-agent systems of behavioral diagnosis for distributed information system, Elecrotehnical and Computer Systems, Odessa, Ukraine, 19(95) (2015), pp. 187-194. (in Russian).
Downloads
Published
How to Cite
Issue
Section
License
International Journal of Computing is an open access journal. Authors who publish with this journal agree to the following terms:• Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
• Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
• Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
