ON DECISION TREE VERIFICATION AND CONSOLIDATION

Authors
KUNG DC
Citation
Dc. Kung, ON DECISION TREE VERIFICATION AND CONSOLIDATION, Information and software technology, 36(8), 1994, pp. 485-494
Citations number
7
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
36
Issue
8
Year of publication
1994
Pages
485 - 494
Database
ISI
SICI code
0950-5849(1994)36:8<485:ODTVAC>2.0.ZU;2-N
Abstract
Decision trees are widely used to specify the conditional logic of sof tware systems. Desirable properties of decision trees, such as syntact ic consistency, semantic consistency, completeness, and non-redundancy , are discussed. Tree traversal algorithms and associated data structu res for obtaining these properties are described and their practical u sefulness is briefly justified. The algorithms can be easily incorpora ted into existing CASE tools.