Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Rules as a Knowledge Representation Paradigm Read chapter Read first chapter

2018 | OriginalPaper | Chapter

12. Using Rules to Support Software Testing

Author : Grzegorz J. Nalepa

Published in: Modeling with Rules Using Semantic Knowledge Engineering

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Visual Software Modeling with Rules
next chapter Integrating Business Process Models with Rules
Footnotes
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.
 
Literature
1.
Sommerville, I.: Software Engineering. International computer science, 7th edn. Pearson Education Limited, Boston (2004)MATH
2.
Hunt, A., Thomas, D.: Pragmatic Unit Testing in Java with JUnit. Pragmatic Programmers. (2003)
3.
Astels, D.R.: Test-Driven Development: A Practical Guide. Prentice Hall, USA (2003)
4.
Tahchiev, P., Leme, F., Massol, V., Gregory, G.: JUnit in Action, 2nd edn. Manning Publications, (2010)
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)
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
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)CrossRef
8.
Anjaneyulu, K.: Expert systems: An Introduction. Research scientist in the knowledge based computer systems group at NCST. Resonance article. (1998)
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)CrossRef
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)
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)
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)
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)
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)CrossRef
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)CrossRef
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)CrossRef
Metadata
Title
Using Rules to Support Software Testing
Author
Grzegorz J. Nalepa
Copyright Year
2018
Book
Modeling with Rules Using Semantic Knowledge Engineering

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

Electronic ISBN: 978-3-319-66655-6

Copyright Year: 2018

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

Premium Partner

    Image Credits