Automatic generation and regeneration of a covering test case set from a model

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 6804634
SERIAL NO

09506297

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A method and apparatus for generating a covering set of test cases from a directed graph is provided. The directed graph includes nodes and edges connecting the nodes, and a test case is a path through the directed graph. To generate a partial set of test cases, a set of selected test cases is received. These test cases can be manually selected or they can be a maintained test case set. The edges or nodes on the directed graph (or requirements linked to nodes or edges) that are covered by the selected test cases are marked with an identifier. Test cases are then generated from the directed graph according to a coverage algorithm. Marked graph elements may, but need not, be included in the generated test cases. The resulting partial test case set together with the selected test cases satisfy the coverage criterion.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress
LUCENT TECHNOLOGIES INC600 MOUNTAIN AVENUE MURARY HILL NJ 07974-0636

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Holzmann, Gerard J Watchung, NJ 7 186
Holzmann, Margaret H Watchung, NJ 1 37
Striegel, James J Little Silver, NJ 2 90
Yannakakis, Mihalis Summit, NJ 9 228

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation