US 11,892,935 B2
Verification of control coupling and data coupling analysis in software code
Ian Jon Hennell, Wirral (GB); James Adrian Hanson, Wirral (GB); and Michael Peter Cieslar, Wirral (GB)
Assigned to LDRA TECHNOLOGY, INC., Atlanta, GA (US)
Filed by LDRA Technology, Inc., Atlanta, GA (US)
Filed on Oct. 17, 2022, as Appl. No. 17/967,130.
Application 17/967,130 is a continuation of application No. 17/734,354, filed on May 2, 2022, granted, now 11,474,927.
Claims priority of provisional application 63/196,935, filed on Jun. 4, 2021.
Prior Publication US 2023/0048792 A1, Feb. 16, 2023
This patent is subject to a terminal disclaimer.
Int. Cl. G06F 11/36 (2006.01); G06F 8/75 (2018.01)
CPC G06F 11/3604 (2013.01) [G06F 8/75 (2013.01); G06F 11/3688 (2013.01)] 24 Claims
OG exemplary drawing
 
1. A method for verifying control coupling analysis in testing of software code, the method comprising:
selecting a source file to be tested, the source file having source code;
identifying one or more control couples within the source file by performing static analysis on the source code of the source file;
defining one or more test runs of the software code, the one or more test runs including one or more of the identified control couples, and the one or more test runs using dynamic analysis;
executing the one or more defined test runs;
identifying control coupling coverage of the source file based on the dynamic analysis; and
generating a control coupling report based on the identified control coupling coverage of the source file.