Skip to main content
SpringerLink
Log in

Estimating the Number of Test Cases for Active Rule Validation

  • Conference paper
Advances in Artificial Intelligence and Its Applications (MICAI 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8265))

Included in the following conference series:

  • 1316 Accesses

Abstract

One of the most important steps in the validation of active rules is the generation of test cases. In this paper we introduce a way to estimate the total number of test cases needed to validate the rule base completely. Using this value it is possible to get an objective validation level of the rule base.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Knauf, R., Gonzalez, A.J., Abel, T.: A framework for validation of rule-based systems. IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics 32, 281–295 (2002)

    Article  Google Scholar 

  2. Knauf, R., Tsuruta, S., Gonzalez, A.J.: Toward reducing human involvement in validation of knowledge-based systems. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans 37, 120–131 (2007)

    Article  Google Scholar 

  3. González, A.J., Dankel, D.D.: Prentice-Hall (1993)

    Google Scholar 

  4. Paton, N., Díaz, O.: Active database systems. ACM Computing Surveys 31, 62–103 (1999)

    Article  Google Scholar 

  5. Baralis, E., Widom, J.: An algebraic approach to static analysis of active database rules. ACM Trans. on Database Systems 25, 269–332 (2000)

    Article  Google Scholar 

  6. Li, X., Medina-Marín, J., Chapa, S.: Applying petri nets on active database systems. IEEE Trans. on System, Man, and Cybernetics, Part C: Applications and Reviews 37, 482–493 (2007)

    Article  Google Scholar 

  7. MacCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering SE-2, 308–320 (1976)

    Google Scholar 

  8. MacCabe, T.J.: Cyclomatic complexity and the year 2000. IEEE Software 13, 115–117 (1996)

    Article  Google Scholar 

  9. Chavarría-Báez, L., Li., X.: Ecapnver: A software tool to verify active rule bases. In: Proc. of the 22nd Intl. Conf. on Tools with Artificial Intelligence, Arras, France, pp. 138–141 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto Politécnico Nacional - Escuela Superior de Cómputo, Mexico

    Lorena Chavarría-Báez & Rosaura Palma-Orozco

  2. Centro de Investigación y de Estudios Avanzados del IPN, Mexico

    Xiaoou Li

Authors
  1. Lorena Chavarría-Báez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaoou Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rosaura Palma-Orozco
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universidad Autónoma del Estado de Hidalgo, Ciudad Universitaria,, Carretera Pachuca–Tulancingo km 4.5, Hidalgo, Mexico

    Félix Castro

  2. Centro de Investigación en Computación, Instituto Politécnico Nacional, Av. Juan Dios Bátiz s/n, Col. Nueva Industrial Vallejo, 07738, Mexico City, Mexico

    Alexander Gelbukh

  3. Tecnológico de Monterrey, Campus Estado de México,, Carretera Lago de Guadalupe Km 3.5, Atizapán de Zaragoza,, CP 52926, Estado de México, Mexico

    Miguel González

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chavarría-Báez, L., Li, X., Palma-Orozco, R. (2013). Estimating the Number of Test Cases for Active Rule Validation. In: Castro, F., Gelbukh, A., González, M. (eds) Advances in Artificial Intelligence and Its Applications. MICAI 2013. Lecture Notes in Computer Science(), vol 8265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45114-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45114-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-45113-3

  • Online ISBN: 978-3-642-45114-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation