一种计算机辅助制造软件功能测试方法

摘要

本发明属于计算机辅助制造软件技术领域，涉及一种计算机辅助制造软件功能测试方法，包括以下步骤：1）软件功能析取，2）软件功能聚集，3）软件功能测试，本发明给出了软件总体架构设计，明确了进行软件测试要进行软件功能析取、软件功能聚类和软件功能测试三个层次。并对这三个层次进行了有效的描述和分析，给出了软件析取算法、软件功能聚类算法和软件测试算法。在软件中应用了形式化定义技术，提高了软件算法的可操作性。