1994-05-20
1997-06-24
Downs, Robert W.
G06F 300
Patent
active
056424728
ABSTRACT:
Apparatus and methods which employ a machine learning system to "learn" the specification for a program from a trace of an execution of the program on a set of test problems. The program is instrumented to produce the trace. Performance is improved by means of a declarative bias which expresses knowledge of the user about the program and constrains the learning system to produce only specifications which are consistent with the declarative bias. The apparatus and methods of the preferred embodiment are employed to learn specifications of views in a data base for a telephone switching system from traces produced by executing the programs which produce the views. Techniques for producing more than one specification and for dealing with views which involve conversions are also disclosed.
REFERENCES:
patent: 4370707 (1983-01-01), Phillips et al.
patent: 4860203 (1989-08-01), Corrigan et al.
patent: 5038316 (1991-08-01), Hempleman et al.
T. J. Biggerstaff, "Design Recovery for Maintenance and Reuse", Chapter 12, Reverse Engineering and Design Recovery Reprinted from IEEE Computer, Jul. 1989.
W. W. Cohen, "Grammatically Biased Learning: Learning Logic Programs Using and Explicit Antecedent Description Language", Artificial Intelligence, 68 (1994) 303-366.
C. Rich and L. M. Wills, "Recognizing a Program's Design: A Graph-Parsing Approach", Reverse Engineering and Design Recovery, IEEE, 1990.
P. T. Breuer and K. Lano, "Creating Specifications from Code: Reverse-Engineering Techniques", Reverse Engineering and Design Recovery, Software Maintenance: Research and Practice, vol. 3, 145-162 (1991).
I. Bratko, M. Grobelnik, "Inductive Learning Applied to Program Construction and Verification", ILP '93 Workshop, Bled.
S. Muggleton and C. Feng, "Efficient Induction of Logic Programs", Chapter 13, Inductive Logic Programming, Editor: Stephen H. Muggleton, Publisher: Academic Press, 1992, pp. 281-298.
J. Kietz and S. Wrobel, "Controlling the Complexity of Learning in Logic Through Syntactic and Task-Oriented Models", Chapter 16, Inductive Logic Programming, Editor: Stephen H. Muggleton, Publisher: Academic Press 1992, pp. 335-359.
Downs Robert W.
Lucent Technologies - Inc.
Shah Sanjiv
LandOfFree
Software discovery system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Software discovery system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software discovery system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-154966