Using rule structure to evaluate the completeness of rule-based system testing: A case study

International Journal of Software Engineering and Knowledge Engineering

Volumn 20, Issue 7, 2010, Pages 975-986

  Medders, Stephen C ^a   Allen, Edward B ^a   Luke, Edward A ^a  

^a MISSISSIPPI STATE UNIVERSITY   (United States)

Author keywords

Loci; Rule based; scientific computing; software engineering; structure; testing

Indexed keywords

APPLICATION FRAMEWORKS; COVERAGE METRICS; DYNAMIC DATA; FLOW OF CONTROL; INDUSTRIAL SCALE; KNOW-HOW; LITERATURE REVIEWS; LOCI; RULE BASED SYSTEM; RULE-BASED; SCIENTIFIC COMPUTING; STRUCTURE; TEST-COVERAGE;

RATING; RESEARCH; SOFTWARE ENGINEERING; SYSTEM THEORY;

TESTING;

EID: 79953096099     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194010005006     Document Type: Article

References (18)

1. R. Agarwal and M. Tanniru, Structured tools for rule-based systems, in Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences 3 (1991) 8-11.
2. V. Barr, Rule-based system testing with control and data flow techniques, Annals of Software Engineering 4(1) (1997) 171-189.
3. C. Grossner, A. Preece, G. Chander, T. Radhakrishnan and C. Suen, Exploring the structure of rule based systems, in Proceedings of the Eleventh National Conference on Artificial Intelligence, Washington, D.C., July 1993, pp. 704-709.
4. H. Inazumi and N. Omoto, A new scheme for verifying rule-based systems using Petrinets, in Conference Proceedings: 1999 IEEE International Conference on Systems, Man, and Cybernetics 1 (1999) 860-865.
5. P. C. Jorgensen, Software Testing: A Craftsman's Approach, 2nd edn. (CRC Press, New York, 2002).
6. J. D. Kiper, Structural testing of rule-based expert systems, ACM Transactions on Software Engineering Methodology 1(2) (1992) 168-187.
7. J. Lee and L. F. Lai, A high-level Petri nets-based approach to verifying task structures, IEEE Transactions on Knowledge and Data Engineering 14(2) (2002) 316-335.
8. E. Luke, Loci: A deductive framework for graph-based algorithms, in S. Matsuoka, R. Oldehoeft, and M. Tholburn (eds.), Proceedings: Third International Symposium on Computing in Object-Oriented Parallel Environments, Lecture Notes in Computer Science, Vol. 1732 (Springer-Verlag, 1999), pp. 142-153.
9. E. Luke, On robust and accurate arbitrary polytope CFD solvers, in Proceedings: 18th AIAA Computational Fluid Dynamics Conference, Miami, Florida, June 2007, American Institute of Aeronautics and Astronautics, AIAA paper 2007-3956.
10. E. Luke and P. Cinnella, Numerical simulations of mixtures of fluids using upwind algorithms, Computers and Fluids 36 (2007) 1547-1566. (Pubitemid 47377708)
11. E. Luke and T. George, Loci: A rule-based framework for parallel multidisciplinary simulation synthesis, Journal of Functional Programming, 15(13) (2005) 477-502. (Pubitemid 40844271)
12. S. C. Medders, Using rule-based structure to evaluate rule-based system testing completeness: A case study of Loci and Quick Test, Master's thesis, Mississippi State University, Mississippi, May 2008, advised by Edward B. Allen.
13. P. Mian, T. Conte, A. Natali, J. Biolchini and G. Travassos, A systematic review process for software engineering, in Proceedings: 3rd ESELAW - Experimental Software Engineering Latin American Workshop, Vol. 1, Uberlandia, 2005.
14. M. Ramaswamy and S. Sarkar, Using directed hypergraphs to verify rule-based expert systems, IEEE Transactions on Knowledge and Data Engineering 9(2) (1997) 221-237. (Pubitemid 127763267)
15. C. Wu, Enhanced high-level Petri nets with multiple colors for knowledge verification/ validation of rule-based expert systems, IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 27(5) (1997) 760-773. (Pubitemid 127770672)
16. C. H. Wu and S. J. Lee, A token-flow paradigm for verification of rule-based expert systems, IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 30(4) (2000) 616-624.
17. S. Yang, A. Lee, W. Chu and H. Yang, Rule based verification using Petri nets, in Proceedings of the Twenty Second Annual International Computer Software and Applications Conference, Aug. 1998, pp. 19-21.
18. Y. Zhang and E. A. Luke, Dynamic memory management in the Loci framework, Parallel and Distributed Computing Practices 7(3) (2006).