论文部分内容阅读
ＭＦＴＡ软件为分析多状态系统提供一种计算机辅助分析工具。设计了友好的Ｗｉｎ－ｄｏｗｓ９５用户交互界面，采用树视图组件用于输入逻辑树结构框架，采用字符串表格组件用于直接输入判定表，实现了多态单调关联典型结构函数到立方体形式判定表的转化。以标准反库为基础，采用面向对象程序设计方法构建了立方体类库，实现以立方体理论为核心的ＭＦＴＡ定性定量分析算法，完成了软件的研制。