基于接口自动机分析和检测构件良构性的算法

　　针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题，提出一种基于接口自动机（IA）来分析和检测构件良构性（well-formedness）的算法，并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图；其次，基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集；最后，根据该有序集检测在外界环境满足其输入假设的情况下，每个属于方法的活动到其对应返回活动的路径的自治无异常可达性，从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC，该系统通过JFLAP建立构件的接口自动机模型并构造其可达图，进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。