System, method and computer program product for checking a...

Details System, method and computer program product for checking a... System, method and computer program product for checking a...

2006-07-10

2010-12-14

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S126000

Reexamination Certificate

active

07853932

ABSTRACT:
System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.

REFERENCES:
patent: 5826065 (1998-10-01), Hinsberg et al.
patent: 6055543 (2000-04-01), Christensen et al.
patent: 6105018 (2000-08-01), Demers et al.
patent: 6442658 (2002-08-01), Hunt et al.
patent: 6557120 (2003-04-01), Nicholson et al.
patent: 6594824 (2003-07-01), Volkonsky et al.
patent: 7580814 (2009-08-01), Seroussi
patent: 2003/0046609 (2003-03-01), Farchi et al.
patent: 2004/0210900 (2004-10-01), Jones et al.
patent: 2005/0166202 (2005-07-01), Gerell et al.
patent: 2005/0182602 (2005-08-01), Lim et al.
patent: 2005/0257200 (2005-11-01), Taylor
patent: WO2005065166 (2005-07-01), None
patent: WO2005098595 (2005-10-01), None
Russ Miller, “Algorithms Sequential and Parallel: A Unified Approach”, Aug. 3, 2005, Course Technology PTR, 2nd Edition, section “Minimum-Cost Spanning Trees”.
Thomas Ball, “Efficient Path Profiling”, 1996, IEEE Proceeding of MICRO-29.
John Regher, “Random Testing of Interrupt-Driven Software”, EMSOFT'02, Sep. 2005, pp. 19-22.
O.Edelstein, E.Farchi, E.Goldin, Y.Nir, G.Ratsaby, and S.Ur. “Testing multi-threaded Java .programs.” IBM System Journal Special Issue on Software Testing, 41(1), Feb. 2002.
M. Mitzenmacher and E. Upfal. “Probability and Computing: Randomized Algorithms and Probabilistic Analysis.” Cambridge University Press, UK, 2005.

Affiliated with

Also associated with

Rating

System, method and computer program product for checking a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System, method and computer program product for checking a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System, method and computer program product for checking a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4182388