Patent ID: 10394688

Abstract:
The present invention relates to a computer module testability problem detection method defined: on the one hand, by first code instructions in a modeling language representing blocks, divided up into one or more components, and relationships between the blocks and/or the components, and on the other hand, by second code instructions in a textual language representing a list of specifications that are each associated with a capability and define at least one information flow at the capability. The method is characterized in that it includes implementing, by means of a data processing means (11) of a device (1), steps for: (a) expressing the first and second code instructions, each code being in the form of a model instantiating a common meta-model that correlates them with each other, (b) synchronizing the related models into a consolidated model, (c) expressing a graph on the basis of said consolidated model, (d) calculating, by means of a graph traversal algorithm, the width and/or depth of the graph, and (e) sending a signal indicating a computer module testability problem if at least one of said calculated width and depth is greater than a predefined threshold.