Patents Assigned to LDRA Technology, Inc.
  • Patent number: 11892935
    Abstract: Methods and systems for verifying control coupling analysis in testing of software code include: selecting a source file to be tested, the source file having source code, the source file selected from a system set including a plurality of source files from one or more nodes in a system; 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.
    Type: Grant
    Filed: October 17, 2022
    Date of Patent: February 6, 2024
    Assignee: LDRA TECHNOLOGY, INC.
    Inventors: Ian Jon Hennell, James Adrian Hanson, Michael Peter Cieslar
  • Patent number: 11474927
    Abstract: Verifying control coupling and data coupling analysis in testing of software code that implements components; identifying control couples by performing static analysis on the source code; defining and executing control couple test runs of the software code including of the identified control couples that test runs using dynamic analysis; identifying control coupling coverage of the source file based on the dynamic analysis; identifying data couples within the source file, the data couples being a variable and a parameter of the components; defining data couple tests for each of the components containing of the identified data couples, the data couple tests using dynamic analysis; executing the data couple tests on the source file; identifying data coupling variable use coverage of the source file based on the dynamic analysis; and generating a report based on the identified control couple coverage and identified data coupling variable use coverage of the source file.
    Type: Grant
    Filed: May 2, 2022
    Date of Patent: October 18, 2022
    Assignee: LDRA TECHNOLOGY, INC.
    Inventors: Ian Jon Hennell, James Adrian Hanson, Michael Peter Cieslar
  • Publication number: 20150095890
    Abstract: An exemplary system for electronically managing requirements for software development includes a projects module, a requirements module, a mapping module and a verification module. The projects module is configured to establish a software development project. The requirements module is configured to define requirements for the project based on requirements information captured from a requirements source. For each requirement, the projects module is configured to associate source code developed for the requirement with the project or assign the requirement for development of source code. The mapping module is configured to map procedures identified in the source code to the defined requirements. The verification module is configured to verify the defined requirements based on results of one or more of analyses, code coverage measurements and unit testing performed on the mapped procedures.
    Type: Application
    Filed: December 11, 2014
    Publication date: April 2, 2015
    Applicant: LDRA TECHNOLOGY, INC.,
    Inventors: William Gryffyth STCLAIR, Sumner Augustine STCLAIR
  • Patent number: 8949770
    Abstract: An exemplary system for electronically managing requirements for software development includes a projects module, a requirements module, a mapping module and a verification module. The projects module is configured to establish a software development project. The requirements module is configured to define requirements for the project based on requirements information captured from a requirements source. For each requirement, the projects module is configured to associate source code developed for the requirement with the project or assign the requirement for development of source code. The mapping module is configured to map procedures identified in the source code to the defined requirements. The verification module is configured to verify the defined requirements based on results of one or more of analysis, code coverage measurements and unit testing performed on the mapped procedures.
    Type: Grant
    Filed: April 3, 2008
    Date of Patent: February 3, 2015
    Assignee: LDRA Technology, Inc.
    Inventors: William Gryffyth StClair, Sumner Augustine StClair
  • Publication number: 20080263505
    Abstract: An exemplary system for electronically managing requirements for software development includes a projects module, a requirements module, a mapping module and a verification module. The projects module is configured to establish a software development project. The requirements module is configured to define requirements for the project based on requirements information captured from a requirements source. For each requirement, the projects module is configured to associate source code developed for the requirement with the project or assign the requirement for development of source code. The mapping module is configured to map procedures identified in the source code to the defined requirements. The verification module is configured to verify the defined requirements based on results of one or more of analyses, code coverage measurements and unit testing performed on the mapped procedures.
    Type: Application
    Filed: April 3, 2008
    Publication date: October 23, 2008
    Applicant: LDRA Technology, Inc.
    Inventors: William Gryffyth StClair, Sumner Augustine StClair