[发明专利]一种计算机辅助制造软件功能测试方法

摘要

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

主权项

1.一种计算机辅助制造软件功能测试方法，其特征在于：包括以下步骤： 1）软件功能析取 下面给出软件功能的形式化定义；定义1（软件功能）：软件功能被定义为一个五元组SFuntion=（ID、Description、Inputs、Outputs、QOS），其中：（a）ID标识了系统中对一个软件功能所分配的数字标识，通过ID可以在系统中检索此软件功能；（b）Description标识了系统对此软件功能的描述描述了此软件功能所实现的功能及技术指标；（c）Inputs标识了此软件功能实现所需的输入参数集如姓名、账号、身份证、学历、年龄等信息；（d）Outputs标识了此软件功能实现所要求的输出参数集如成绩、费用信息、价格比例、违章信息等；（e）QOS标识了此软件功能的质量属性如代码运行效率，算法复杂度等信息；下面给出软件功能的析取算法；算法1：软件功能的析取算法输入：软件代码；输出：软件功能集合；第一步：建立一个软件功能集合Q，并对Q进行清空；第二步：对软件代码进行整体遍历；假设当前元素为P，如果P为代码中的函数元素；则新建一个软件功能SFuntion=（ID、Description、Inputs、Outputs、QOS）；令ID等于系统随机分配的唯一数字标识；把P的函数名赋值给Description；把函数中的输入参数名赋值给Inputs；把函数中的返回参数名赋值给Outputs；通过对代码的算法复杂度进行计算，假设复杂度为O(N)，则把O(N)赋值给QOS；第三步：把SFuntion=（ID、Description、Inputs、Outputs、QOS）放入集合Q中；第四步：输出集合Q；算法1给出了软件功能的析取方法，下面对软件功能的聚集策略进行阐述；2)软件功能的聚集本小节对软件功能的聚集策略进行阐述和分析；下面给出软件功能的聚集算法；算法2：软件功能的聚集算法输入；软件功能集合W；输出：软件功能簇集合R；第一步：遍历软件功能集合；假设当前元素为Q；新建一个软件功能簇B，并把Q放入软件功能簇B中；第二步：遍历软件功能集合W中，除了元素Q之外的其他元素，假设当前元素为E；遍历E中元素的各个信息属性；按照基于语义的相似度比较和分析算法；对E中各个信息属性的值与Q中各个信息属性值进行比较，并设定相似度阀值为C；若相似度值在阀值C以上，则将元素E放入功能簇B中；第三步：把B放入软件功能簇集合R中；第四步：输出软件功能簇集合R；算法2实现了对软件功能的聚集策略；3)软件功能的测试通过构建软件功能的策略集合，实现了面向用户需求的软件测试技术；下面给出用户需求的形式定义；定义2（用户需求）：用户需求被定义为一个四元组Ureq=（ID、Time、Address、DES），其中：（a）ID标识了系统中对一个用户需求所分配的数字标识，通过ID可以在系统中检索此用户需求；（b）Time标识了用户对于软件测试的时间要求；（c）Address标识了用户对于软件测试的地址要求；（d）DES标识了此软件测试的用户需求描述；如进行黑盒测试还是进行白盒测试；定义2给出了用户需求的形式化定义，下面给出基于功能聚类的面向用户需求的软件测试算法；算法3：软件测试算法输入：软件功能簇集合R；输出：软件测试结果Y；第一步：遍历软件功能簇集合R，假设当前元素为软件功能簇B；第二步：把软件功能簇B，分配给系统中的空闲处理器处理；第三步：遍历软件功能簇B，假设当前元素为SFuntion=（ID、Description、Inputs、Outputs、QOS），根据用户需求对软件功能SFuntion进行基于黑盒或白盒的功能测试；测试后，产生软件测试结果RESULT；第四步:把RESULT放入结果集合Y中；第五步：输出软件功能测试结果Y；算法3给出了软件功能测试结果的生成方法；由算法3可以得到基于功能聚类的面向用户需求的软件测试算法。