| 主权项 |
1. A computer-implemented method for determining consistency of a software application, the method comprising:
reading, in computer memory, a first module describing a first characteristic of the software application, at least a part of the first module having a first format and the first characteristic comprising at least one of: a software requirement, a software architecture, a software configuration, and a software implementation; reading, in computer memory, a second module describing a second characteristic of the software application, at least a part of the second module having a second format different from the first format, the second characteristic also comprising at least one of: a software requirement, a software architecture, a software configuration, and a software implementation, but being different from the first characteristic; extracting, by a processor, from at least a portion of the first characteristic, a first artifact that encapsulates information derived by analyzing at least a portion of the first characteristic and that describes at least one of a software application capability and a software application requirement; analyzing, by the processor, the second module to derive at least a portion of the second characteristic; comparing, by the processor, the first artifact and the derived portion of the second characteristic to determine if the at least a portion of the first characteristic, as expressed by the first artifact that encapsulates information derived by analyzing at least a portion of the first characteristic and that describes at least one of a software application capability and a software application requirement, is consistent with the derived portion of the second characteristic; and storing, in at least one of computer memory and nonvolatile storage, a result of the comparison as a second artifact, wherein the second characteristic comprises a set of requirements, and the comparing comprises annotating a requirement in the set if the requirement is determined to correspond to the information derived by analyzing at least a portion of the first characteristic; and wherein the annotating the requirement comprises locking the requirement thereby avoiding simultaneous updates to the requirement if the comparing the second characteristic and the information derived is performed simultaneously with comparing the second characteristic and information derived by analyzing another portion of the first characteristic. |
