| 摘要 |
PROBLEM TO BE SOLVED: To reduce the time and labor required for connection inspection of software components provided as a core asset in a software product line.SOLUTION: A necessity/unnecessity determination formula for determining necessity/unnecessity of connection inspection with regard to a target combination pattern, which is a combination of software components, is created by connecting individual determination formulas of all the software components shown in the target combination pattern with an AND (S340), and a determination result to the effect that connection inspection is unnecessary is output when a value of the necessity/unnecessity determination formula is always false regardless of a value of a state variable (contradiction), or otherwise a determination result to the effect that connection inspection is necessary is output (S350-S370). The individual determination formula expresses a condition for selection of a concerned software component with the use of the state variable, in which each feature presents a selection situation, on the basis of correspondence between features constituting a feature model and the type and variation of the software component. |
