Using Rules to Support Software Testing

  • Grzegorz J. NalepaEmail author
Part of the Intelligent Systems Reference Library book series (ISRL, volume 130)


Software engineering seeks novel methods and approaches for dealing with growing challenges, such as the quality control of software. Testing is an important area in the software lifecycle. In this chapter we present a practical rule-based method for supporting the unit testing process. First our approach to the use of rules in software unit testing is presented. Then we focus on decision table based testing. A practical tool implementing the method was developed, discussed, and evaluated.


  1. 1.
    Sommerville, I.: Software Engineering. International computer science, 7th edn. Pearson Education Limited, Boston (2004)zbMATHGoogle Scholar
  2. 2.
    Hunt, A., Thomas, D.: Pragmatic Unit Testing in Java with JUnit. Pragmatic Programmers. (2003)Google Scholar
  3. 3.
    Astels, D.R.: Test-Driven Development: A Practical Guide. Prentice Hall, USA (2003)Google Scholar
  4. 4.
    Tahchiev, P., Leme, F., Massol, V., Gregory, G.: JUnit in Action, 2nd edn. Manning Publications, (2010)Google Scholar
  5. 5.
    Sharma, M., Chandra, B.: Automatic generation of test suites from decision table - theory and implementation. In: Fifth International Conference on Software Engineering Advances (ICSEA). pp. 459–464 (2010)Google Scholar
  6. 6.
    Nalepa, G.J.: Proposal of business process and rules modeling with the XTT method. In Negru, V., et al. (eds.) Symbolic and numeric algorithms for scientific computing, 2007. SYNASC Ninth international symposium. September 26–29, Los Alamitos, California, Washington, Tokyo. IEEE Computer Society. IEEE, CPS Conference Publishing Service, pp. 500–506 September 2007Google Scholar
  7. 7.
    Nalepa, G.J., Ligęza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. Int. J. Artif. Intell. Tools 20(6), 1107–1125 (2011)CrossRefGoogle Scholar
  8. 8.
    Anjaneyulu, K.: Expert systems: An Introduction. Research scientist in the knowledge based computer systems group at NCST. Resonance article. (1998)Google Scholar
  9. 9.
    Ligęza, A., Nalepa, G.J.: A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 1(2), 117–137 (2011)CrossRefGoogle Scholar
  10. 10.
    Nalepa, G.J., Kaczor, K.: Proposal of a rule-based testing framework for the automation of the unit testing process. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2012, Kraków, Poland, 28 September 2012. (2012)Google Scholar
  11. 11.
    Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In Bassiliades, N., Governatori, G., Paschke, A. (eds.) Rule-Based Reasoning, Programming, and Applications of Lecture Notes in Computer Science, vol. 6826, pp. 305–312, Springer, Heidelberg (2011)Google Scholar
  12. 12.
    Kaczor, K., Nalepa, G.J., Kutt, K.: Hadesclipse– integrated environment for rules (tool presentation). In Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013. (2013)Google Scholar
  13. 13.
    Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: HalVA – rule analysis framework for XTT2 rules. In Bassiliades, N., Governatori, G., Paschke, A. (eds.) Rule-Based Reasoning, Programming, and Applications of Lecture Notes in Computer Science, vol. 6826, pp. 337–344, Springer, Heidelberg (2011)Google Scholar
  14. 14.
    Xu, D., Xu, W., Wong, W.E.: Automated test code generation from class state models. Int. J. Softw. Eng. Knowl. Eng. 19(4), 599–623 (2009)CrossRefGoogle Scholar
  15. 15.
    Medders, S.C., Allen, E.B., Luke, E.A.: Using rule structure to evaluate the completeness of rule-based system testing: A case study. Int. J. Softw. Eng. Knowl. Eng. 20(7), 975–986 (2010)CrossRefGoogle Scholar
  16. 16.
    Liu, S., Tamai, T., Nakajima, S.: A framework for integrating formal specification, review, and testing to enhance software reliability. Int. J. Softw. Eng. Knowl. Eng. 21(2), 259–288 (2011)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.AGH University of Science and TechnologyKrakówPoland

Personalised recommendations