USING RULE-BASED ENGINE TO SUPPORT TEST VALIDATION MANAGEMENT OF COMPLEX SAFETY-CRITICAL SYSTEMS

Valentina Accili, Giovanni Cantone, Christian Di Biagio, Guido Pennella, Fabrizio Gori

Abstract

Testing and validating software components in distributed architecture environments are critical activities for our reference company, where those activities have been performed in a non-automatic way up to now, so spending time and human resources. As a consequence, we were charged to design and construct a flexible system, the Automated Test Manager (ATM), for the automatic software testing and automatic validation of test results. In this paper we focus on the subsystem ATM-Console that handles the validation aspect of the ATM system. This subsystem reuses an Open Source Rule-based Engine, which is able to meet our purposes. Based on results from a case study, the paper reports that introducing the ATM-Console in field could very significantly improve the efficiency of test validation.

References

  1. Archer G., Saltelli A., Sobol I. M., 1997 Journal of Statistical Computation and Simulation. Taylor & Francis.
  2. Bollobas B., 1998. Modern Graph Theory, Springer Verlag.
  3. DOD, 1994. Software Test Description, http://www2.umassd.edu/swpi/DOD/MIL-STD498/STD-DID.PDF.
  4. Fair Isaac, 2007. Blaze Advisor Online Documentation. http://www.fairisaac.com/fic/en/productservice/product-index/blaze-advisor/, 29 March 2007.
  5. Forgy C. L., 1982. Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence, North Holland Conference, pp. 17 - 37.
  6. Grillo A., Cantone G, Di Biagio C., Pennella G., 2007. Automatic Test Management of Safety Critical Software: The Common Core - Behavioral Emulation of Hard-Soft Components, Proceedings of ICSOFT 2007 (to appear).
  7. ILOG, 2007. JRules Online Documentation. http://www.ilog.com/products/jrules/, 29 March 2007.
  8. JBoss, 2007 JBoss Rules Online Documentation http://labs.jboss.com/portal/jbossrules/docs.
  9. Jungnickel D., 2003. Graphs, Network and Algorithms, Springer.
  10. Liu F., M. Yang, Z. W.-S. Wang, 2005. Design and development of an expert system-like validation tool for distributed simulation systems., In Fifth IEEE IC on Machine Learning and Cybernetics, CS Press.
  11. Min F.-Y., Yang M., Wang Z.-C., 2006. An intelligent validation system of simulation models. In Fifth IEEE International Conference on Machine Learning and Cybernetics.
  12. Miranker D.P., 1990. TREAT: A New and Efficient Match Algorithm for AI Production Systems. In Research Notes in Artifical Intelligence. Pitman Publishing Ltd.
  13. Don Batory, 1994. The LEAPS Algorithms. In Technical Report 94-28, Department of Computer Sciences, University of Texas at Austin.
  14. Sandia Lab., 2007. Jess Online Documentation. http://herzberg.ca.sandia.gov/jess, 29 March 2007.
  15. Sun, 2007. Getting Started With the Java Rule Engine API (JSR 94): Toward Rule-Based Applications. http://java.sun.com/developer/technicalArticles/J2SE/J avaRule.html.
  16. Turing A., 1950 Computing machinery and intelligence. In Mind, vol. LIX, no. 236, pp. 433-460.
  17. Walczak S., 1998. Knowledge Acquisition and Knowledge Representation with Class: the Objectoriented Paradigm. In Expert Systems with Applications, No. 15, pp.235 - 244.
  18. Wohlin, C., Petersson, H., and Aurum, A., 2003. Combining data from reading experiments in Software Inspections. In Juristo, N. and Moreno, A. (eds.) Lecture Notes on Empirical Software Engineering, World Scientific Publishing.
Download


Paper Citation


in Harvard Style

Accili V., Cantone G., Di Biagio C., Pennella G. and Gori F. (2007). USING RULE-BASED ENGINE TO SUPPORT TEST VALIDATION MANAGEMENT OF COMPLEX SAFETY-CRITICAL SYSTEMS . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8111-05-0, pages 136-143. DOI: 10.5220/0001349901360143


in Bibtex Style

@conference{icsoft07,
author={Valentina Accili and Giovanni Cantone and Christian Di Biagio and Guido Pennella and Fabrizio Gori},
title={USING RULE-BASED ENGINE TO SUPPORT TEST VALIDATION MANAGEMENT OF COMPLEX SAFETY-CRITICAL SYSTEMS},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2007},
pages={136-143},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001349901360143},
isbn={978-989-8111-05-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - USING RULE-BASED ENGINE TO SUPPORT TEST VALIDATION MANAGEMENT OF COMPLEX SAFETY-CRITICAL SYSTEMS
SN - 978-989-8111-05-0
AU - Accili V.
AU - Cantone G.
AU - Di Biagio C.
AU - Pennella G.
AU - Gori F.
PY - 2007
SP - 136
EP - 143
DO - 10.5220/0001349901360143