ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS
First Claim
1. A method comprising:
- building a dependencies graph representing dependencies between code elements of a computer code;
associating portions of the computer code with corresponding design specifications or requirements derived from a design document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and
analyzing the design specifications or requirements-code tracing map based at least partially on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements,wherein at least one of the building, the associating, and the analyzing is executed by at least one processor.
1 Assignment
0 Petitions
Accused Products
Abstract
A method that may include: building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design specifications or requirements derived from a design specifications document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and analyzing the design specifications or requirements-code tracing map based on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements.
-
Citations
21 Claims
-
1. A method comprising:
-
building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design specifications or requirements derived from a design document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and analyzing the design specifications or requirements-code tracing map based at least partially on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements, wherein at least one of the building, the associating, and the analyzing is executed by at least one processor. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A system comprising:
-
a builder component configured to build a dependencies graph representing dependencies between code elements of a computer code; an association component configured to associate portions of the computer code with corresponding design specifications or requirements derived from a design document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and an analyzing component configured to analyze the design specifications or requirements-code tracing map based at least partially on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements, wherein at least one of the components is executed by at least one processor. - View Dependent Claims (9, 10, 11, 12, 13, 14)
-
-
15. A computer program product, the computer program product comprising:
-
a computer readable storage medium having computer readable program embodied therewith, the computer readable program comprising; computer readable program configured to build a dependencies graph representing dependencies between code elements of a computer code; computer readable program configured to associate portions of the computer code with corresponding design specifications or requirements derived from a design document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and computer readable program configured to analyze the design specifications or requirements-code tracing map based at least partially on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements. - View Dependent Claims (16, 17, 18, 19, 20, 21)
-
Specification