Applying complexity measures to rule-based prolog programs

Journal of Systems and Software

Volumn 44, Issue 1, 1998, Pages 45-52

  Moores, Trevor T ^a  

^a EMPORIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DESIGN FOR TESTABILITY; ERROR ANALYSIS; LOGIC PROGRAMMING; PROGRAM DEBUGGING;

MCCABE CYCLOMATIC COMPLEXITY MODEL; UNIQUE PREDICATE NODES (UPN);

PROLOG (PROGRAMMING LANGUAGE);

EID: 0032304191     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10042-0     Document Type: Article

References (24)

1. Arora, A., Cooke, J.E., 1991. Towards effective management of expert system projects. In: Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs, Washington, DC, pp. 339-345.
2. Borning, A., 1987. Computer system reliability and nuclear war. Commun. ACM 30, 112-131.
3. Bratko, I., 1990. Prolog Programming for Artificial Intelligence, 2nd ed. Addison-Wesley, Wokingham, 1990.
4. Chen, Z., Suen, C.Y., 1994. Complexity metrics for rule-based expert systems. In: Proceedings of the IEEE International Conference on Software Maintenance, Vic., Canada, pp. 382-391.
5. Cherniavsky, J.C., Smith, C.H., 1991. On Weyuker's axioms for software complexity measures. IEEE Trans. Software Eng. 17, 636-638.
6. Clocksin, F.W., Mellish, C.S., 1981. Programming in Prolog. Springer, New York.
7. Cupello, J.M., Mishelevich, D.J., 1988. Managing prototype knowledge/expert system projects. Commun. ACM 31, 534-550.
8. Doyle, P., Verbruggen, R., 1992. Applying metrics to rule-based systems. In: Proceedings of the Fourth IEEE International Conference on Software Engineering and Knowledge Engineering, Capri, Italy, pp. 123-130.
9. Dunsmore, H.E., Gannon, J.D., 1980. An analysis of the effects of programming factors on programming effort. J. Systems Software 1, 144-153.
10. Fenton, N.E., Kaposi, A.A., 1989. An engineering theory of structure and measurement. In: Kitchenham, B.A., Littlewood, B. (Eds.), Measurement for Software Control and Assurance. Elsevier, London.
11. Grossner, C., Preece, A.D., Gokul Chander, P., Radhakrishnan, T., Suen, C.Y., 1993. Exploring the structure of rule based systems. In: Proceedings of the AAAI-93, Washington, DC, pp. 704-709.
12. Gupta, A., Forgy, C.L., 1989. Static and run-time characteristics of OPS5 production systems. J. Parallel Distri. Comp. 7, 64-95.
13. Hayes-Roth, F., Jacobstein, N., 1994. The state of knowledge-based systems. Commun. ACM 37, 27-39.
14. Henry, S., Kafura, D., 1981. Software structure metrics based on information flow. IEEE Trans. Software Eng. 7, 510-518.
15. Kaisler, S.H., 1986. Expert system metrics. In: Proceedings of the International Conference on Neural Networks, Atlanta, GA, pp. 114-120.
16. Kiper, J.D., 1992. Structural testing of rule-based expert systems. ACM Trans. Software Eng. Methodology 1, 168-187.
17. Konrad, E., 1992. Application of measurement theory to software metrics: Comments on the Bollmann-Zuse approach. ACM SIG-PLAN Notices 27, 13-27.
18. McCabe, T.J., 1976. A complexity measure. IEEE Trans. Software Eng. 2, 308-320.
19. Markusz, Z., Kaposi, A.A., 1985. Complexity control in logic-based programming. Comp. J. 28, 487-495.
20. Miller, G.A., 1956. The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychol. Review 63, 81-97.
21. Myers, M., Kaposi, A.A., 1991. Modelling and measurement of Prolog data. Software Eng. J. 6, 413-434.
22. O'Neal, M.B., Edwards Jr., W.R., 1994. Complexity measures for rule-based programs. IEEE Trans. Knowl. Data Eng. 6, 669-680.
23. Preece, A.D., 1995. Toward a quality assessment framework for knowledge-based systems. J. Systems Software 29, 219-234.
24. Shepperd, M.J., 1988. A critique of cyclomatic complexity as a software metric. Software Eng. J. 3, 30-36.