Expert Knowledge-Based RGT Solvers for Software Testing


  • Mane P. Buniatyan Synopsys Armenia
  • Sedrak V. Grigoryan Institute for Informatics and Automation Problems of NAS RA
  • Emma H. Danielyan EPAM Systems Inc.



RGT class, RGT Solver, Software testing, Expert systems


Program testing is a way of assessing the quality of software and reducing the risk of software failure in operation [1]. Quality issues can cause as financial loss as well as harm to human lives (e.g., when the bug is in medical instruments, cars, etc.). So, it is very hard to underestimate the importance of testing.
There are multiple testing techniques, which are split into 3 major categories. One of them includes experience-based techniques. Test cases and scenarios used in experience-based testing are derived from the tester’s knowledge and intuition, as well as their experience with similar applications and technologies. These techniques can be helpful in identifying tests that are not identified easily by other more systematic techniques. Depending on the tester’s approach and experience, experience-based techniques may achieve widely varying degrees of coverage and effectiveness [1].
We propose a method for automation of experience-based testing via a class of combinatorial problems (RGT class). A Solver is developed for the class. It acquires expert knowledge and elaborates effective strategies for RGT problems [2]. The proposed method generates test cases dynamically based on the response of the program. The adequacy of the method is being experimented for ”blender” open-source application, which has Python API allowing to experiment with testing and analyze test results.


K. Olsen and M. Posthuma and S. Ulrich, “ Certified Tester Foundation Level Syllalbus”, International Software Testing Qualifications Board, pp. 56–62, 2019.

E. Pogossian, Constructing Models of Being by Cognizing. Yerevan, pp. 150–159, 2020.

World Quality Report, Capgemini, Sogeti, Micro Focus, pp 16–37, 2021

D. Rakhi, J. Ashish, N. Karunanithi, J. Leaton, C. Lott, G. Patton and B. Horowitz, “Model-based testing in practice”, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), Los Angeles, CA, USA, 1999, pp. 285-294, doi: 10.1145/302405.302640.

I. Schieferdecker and A. Hoffmann, Model-Based Testing, IEEE Software 29.1, pp. 14–18, 2012.

E. Pogossian, V. Vahradyan A. Grigoryan, On competing agents consistent with expert knowledge, Proceedings of Second International Workshop, AIS-ADM 2007,Autonomous Intelligent Systems: Multi-Agents and Data Mining, St. Petersburg, Russia, pp. 229–241, 2007.

M. Botvinnik, Computers in Chess: Solving Inexact Search Problems, Springer-Verlag, New York, 1983.




How to Cite

Buniatyan, M. P., Grigoryan, S. V., & Danielyan, E. H. (2023). Expert Knowledge-Based RGT Solvers for Software Testing. Mathematical Problems of Computer Science, 59, 45–56.