Skip to main content

Using Rules to Support Software Testing

  • Chapter
  • First Online:
Modeling with Rules Using Semantic Knowledge Engineering

Part of the book series: Intelligent Systems Reference Library ((ISRL,volume 130))

  • 885 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See http://junit.org.

  2. 2.

    However, in a general situation this is not always the case. While our tool currently supports test case generation for classes, our approach could easily be extended.

References

  1. Sommerville, I.: Software Engineering. International computer science, 7th edn. Pearson Education Limited, Boston (2004)

    MATH  Google Scholar 

  2. Hunt, A., Thomas, D.: Pragmatic Unit Testing in Java with JUnit. Pragmatic Programmers. (2003)

    Google Scholar 

  3. Astels, D.R.: Test-Driven Development: A Practical Guide. Prentice Hall, USA (2003)

    Google Scholar 

  4. Tahchiev, P., Leme, F., Massol, V., Gregory, G.: JUnit in Action, 2nd edn. Manning Publications, (2010)

    Google Scholar 

  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. 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 2007

    Google Scholar 

  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)

    Article  Google Scholar 

  8. Anjaneyulu, K.: Expert systems: An Introduction. Research scientist in the knowledge based computer systems group at NCST. Resonance article. (1998)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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. 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. 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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Grzegorz J. Nalepa .

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Cite this chapter

Nalepa, G.J. (2018). Using Rules to Support Software Testing. In: Modeling with Rules Using Semantic Knowledge Engineering. Intelligent Systems Reference Library, vol 130. Springer, Cham. https://doi.org/10.1007/978-3-319-66655-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-66655-6_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-66654-9

  • Online ISBN: 978-3-319-66655-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics