持田泰昭，新保勝，準強連結性に基づくシステム構造分析によるモジュール独立性検証手法