Automated management of software requirements verification

A system comprising:

• a processor;
• and
• a memory storing instructions that when executed by the processor, causes the processor to invoke modules for electronically managing requirements for a software development project, the modules comprising:
• a requirements module configured to define requirements for the project based on requirements information captured from a requirements source;
• a projects module configured to dynamically, for each defined requirement:
• associate source code and executable code developed to satisfy the requirement with the project;
• or
• assign the development of source code and executable code to satisfy the requirement;
• a mapping module configured to receive a selection of procedures identified in the source code to map the selected procedures identified in the source code to the defined requirements;
• and
• a verification module configured to display, in a graphical user interface, a result of verifying whether the source code developed or being developed satisfies the defined requirement that is mapped to the source code, wherein the verifying is based on results of one or more of analyses, code coverage measurements and unit testing performed on the mapped procedures;
• wherein one or more of the modules is configured to create an XML thread for each requirement, wherein the XML thread includes a plurality of elements that describe properties of the thread and a unique identifier for the respective requirement that enables traceability of the defined requirements for the software development project, and wherein the elements of each XML thread include a corresponding defined requirement, a mapping between at least one of the selected, identified procedures in the source code or executable code and the corresponding defined requirement, results of analyses, code coverage measurements, system testing and unit testing performed on the mapped procedures, and the result of verifying;
• wherein one or more of the modules is configured to convert each XML thread into a hierarchal tree comprising of a plurality of container objects;
• wherein the XML thread enables traceability between the respective requirement, the at least one of the selected, identified procedures in the source code or the executable code, and the result of verifying, and
• wherein the mapping module is further configured to invoke a static analysis tool to analyze the source code to identify the procedures associated with the defined requirements in the source code and store the identified procedures in the XML thread that corresponds to the defined requirement.

A method for electronically managing requirements for software development for a software development project, the method, comprising:

• defining requirements for the project based on requirements information captured from a requirements source;
• for each requirement, dynamically associating one or more portions of source code or executable code developed to satisfy the requirement with the project or dynamically assigning development of source code and executable code to satisfy the requirement;
• receiving a selection of identified procedures in the source code or the executable code for mapping the selected, identified procedures in the source code or the executable code to the defined requirements for the project;
• creating an XML thread for each requirement, wherein each XML thread includes a plurality of elements that describe properties of the thread and a unique identifier for the respective requirement that enables traceability of the defined requirements for the software development project, and wherein the elements of each XML thread include a corresponding defined requirement, a mapping between at least one of the selected, identified procedures in the source code or executable code and the corresponding defined requirement, and results of analyses, code coverage measurements, system testing and unit testing performed on the mapped procedures;
• converting each XML thread into a hierarchal tree comprising a plurality of container objects;
• displaying, in a graphical user interface, a result of verifying whether or not the source code developed or being developed satisfies the defined requirement that is mapped to the source code, wherein the verifying is based on results of one or more of tests in accordance to one or more verification rules;
• and
• storing the result of verifying in the requirements data construct;
• wherein the requirements data construct enables traceability between the respective requirement, the at least one of the selected, identified procedures in the source code or the executable code, and the result of verifying, and
• wherein the mapping includes invoking a static analysis tool to analyze the source code to identify the procedures associated with the defined requirements in the source code and storing the identified procedures in the XML thread that corresponds to the defined requirement.

A system comprising:

• a processor;
• and
• a memory storing instructions that when executed by the processor, causes the processor to perform operations for electronically managing requirements for a software development project, the operations comprising:
• defining requirements for the project based on requirements information captured from a requirements source;
• receiving a selection of procedures identified in source code or executable code to map the selected procedures identified in the source code or the executable code to the defined requirements;
• creating an XML thread for each requirement, wherein each XML thread includes a plurality of elements that describe properties of the thread and a unique identifier for the respective requirement that enables traceability of the defined requirements for the software development project, and wherein the elements of each XML thread include a corresponding defined requirement, a mapping between at least one of the selected, identified procedures in the source code or executable code and the corresponding defined requirement, and results of analyses, code coverage measurements, system testing and unit testing performed on the mapped procedures;
• converting each XML thread into a hierarchal tree comprising a plurality of container objects;
• displaying, in a graphical user interface, a result of verifying whether the one or more portions of the source code or the executable code developed or being developed satisfy the defined requirement that is mapped to the selected procedures identified in the source code or the executable code, wherein the verifying is based on results of one or more of tests in accordance to one or more verification rules;
• and
• storing the result of verifying in the requirements data construct;
• wherein the requirements data construct enables traceability between the respective requirement, the at least one of the identified procedures in the source code or the executable code, and the result of verifying, and
• wherein the mapping includes invoking a static analysis tool to analyze the source code to identify the procedures associated with the defined requirements in the source code and storing the identified procedures in the XML thread that corresponds to the defined requirement.

A system comprising:

• a processor;
• and
• a memory storing instructions that when executed by the processor, causes the processor to invoke modules for electronically managing requirements for a software development project, the modules comprising:
• requirements module configured to define requirements for the project based on requirements information captured from a requirements source;
• a modeling module configured to include architectural artifacts and implementation artifacts;
• a graphical user interface configured to display links between the defined requirements and respective architectural artifacts and implementation artifacts of the modeling module;
• a mapping module configured to associate one or more portions of source code with a defined requirement;
• and
• a verification module configured to display, in the graphical user interface, a result of verifying whether the architectural artifacts and implementation artifacts satisfy the defined requirements that are respectively linked to the architectural artifacts and implementation artifacts based on results of one or more of tests in accordance to one or more verification rules;
• wherein the system is configured to create an XML thread, wherein the XML thread includes a plurality of elements that describe properties of the thread and a unique identifier for the defined requirement that enables traceability of the defined requirements for the software development project, and wherein the elements of each XML thread include a corresponding defined requirement, a mapping between a portion of the source code and the defined requirement, results of analyses, code coverage measurements, system testing and unit testing performed on the mapped procedures, and the respective result of verifying;
• wherein the system is configured to convert each XML thread into a hierarchal tree comprising of a plurality of container objects;
• wherein the XML thread enables traceability between the defined requirement, the portion of source code, and the respective result of verifying, and
• wherein the mapping module is further configured to invoke a static analysis tool to analyze the source code to identify the procedures associated with the defined requirements in the source code and store the identified procedures in the XML thread that corresponds to the defined requirement.

A method for electronically managing requirements for software development for a software development project, the method, comprising:

• defining requirements for the project based on requirements information captured from a requirements source;
• establishing a modeling module that includes architectural artifacts and implementation artifacts, wherein the defined requirements are linked to respective architectural artifacts and implementation artifacts in a graphical user interface;
• establishing a mapping module configured to associate one or more portions of source code with a defined requirement;
• and
• displaying, in the graphical user interface, a result of verifying whether the architectural artifacts and implementation artifacts satisfy the respective defined requirements that are linked to the architectural artifacts and implementation artifacts based on results of one or more of tests in accordance to one or more verification rules;
• and
• creating an XML thread for each requirement, wherein each XML thread includes a plurality of elements that describe properties of the thread and a unique identifier for the respective requirement that enables traceability of the defined requirements for the software development project, and wherein the elements of each XML thread include a corresponding defined requirement, a mapping between at least one of the selected, identified procedures in the source code or executable code and the corresponding defined requirement, results analyses, code coverage measurements, system testing and unit testing performed on the mapped procedures, and the respective result of verifying;
• converting each XML thread into a hierarchal tree comprising a plurality of container objects;
• wherein the requirements data construct enables traceability between the defined requirement, the portion of source code, and the respective result of verifying, and
• wherein the mapping module is further configured to invoke a static analysis tool to analyze the source code to identify the procedures associated with the defined requirements in the source code and store the identified procedures in the XML thread that corresponds to the defined requirement.