Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-04-24
2007-04-24
Nguyen-Ba, Antony (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S124000, C717S143000, C717S154000, C707S793000, C707S793000
Reexamination Certificate
active
10270835
ABSTRACT:
A method for event-driven observability enhanced coverage analysis of a program parses a program into variables and data dependencies, wherein the data dependencies comprise assignments and operations. The method builds a data structure having multiple records, with each record having at least one data dependency, a parent node, and a child node. Each node is linked to a variable. The method computes the value of each variable using the data structure. The method performs tag propagation based, at least in part, on the data dependencies and computed values.
REFERENCES:
patent: 5021947 (1991-06-01), Campbell et al.
patent: 5481723 (1996-01-01), Harris et al.
patent: 5642514 (1997-06-01), Peckham
patent: 5649165 (1997-07-01), Jain et al.
patent: 5793369 (1998-08-01), Atkins et al.
patent: 5970496 (1999-10-01), Katzenberger
patent: 6141635 (2000-10-01), Paul et al.
patent: 6298317 (2001-10-01), Wiemann
patent: 6301701 (2001-10-01), Walker et al.
patent: 6408321 (2002-06-01), Platt
patent: 6594783 (2003-07-01), Dollin et al.
patent: 6816825 (2004-11-01), Ashar et al.
patent: 6820256 (2004-11-01), Fleehart et al.
patent: 2002/0029377 (2002-03-01), Pavela
Microsoft Computer Dictionary, Third Edition, published on 1997, p. 437.
F. Fallah, S. Devadas, and K. Keutzer, “OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification,” Proc. Design Automation Conf., pp. 152-157, Jun. 1998.
J. C. Costa, S. Devadas, and J. C. Monteiro, “Observability Analysis of Embedded Software for Coverage-Directed Validation,” Proc. Int. Conf. Computer-Aided Design, pp. 27-32, Nov. 2000.
S. Devadas, A. Ghosh, and K. Keutzer, “An Observability-Based Code Coverage Metric for Functional Simulation,” Proc. Int. Conf. Computer-Aided Design, pp. 418-425, Nov. 1996.
T. Goradia, “Dynamic Impact Analysis: A Cost-effective Technique to Enforce Error-propagation,” Proc. Int'l Symposium on Software Testing and Application, pp. 171-181, Mar. 1993.
J. M. Voas, “PIE: A Dynamic Failure-Based Technique,” IEEE Trans. on Software Engineering, vol. 18-8, pp. 717-727, Aug. 1992.
F. Fallah and I. Ghosh, “Observability Enhanced Coverage Analysis of C Programs for Functional Validation,” IEEE International High Level Design Validation and Test Workshop, 6 pgs, Nov. 2001.
F. Fallah, I. Ghosh and M. Fujita, “A Coverage Metric for Observability-Based Validation of C Programs,” International Workshop on Microprocessor Test and Verification, pp. 1-9, Jun. 2002.
I. Ghosh, “Event-Driven Observability Enhanced Coverage Analysis of C Programs for Functional Validation,” Asia South Pacific Design Automation Conference, pp. 1-9, Jan. 2003.
Fallah Farzan
Ghosh Indradeep
Baker & Botts L.L.P.
Nguyen-Ba Antony
LandOfFree
Event-driven observability enhanced coverage analysis does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Event-driven observability enhanced coverage analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event-driven observability enhanced coverage analysis will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3778917