基于UML的测试用例生成方法研究

来源 :计算机应用与软件 | 被引量 : 55次 | 上传用户:jeff006902000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术。随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向。结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证。
其他文献
针对DF的特征,开发了抽滤干燥DF湿晶体的新装备,考察了出风温度和成品水分的对应性,确定了适宜的干燥工艺,提高了DF湿晶体干燥工艺控制水平和生产能力。
研究了一类通信网络中源节点到目的节点的多约束QoS多播路由选择问题,提出了一种解决此类问题的算法。该算法将带宽、时延、丢失率等QoS参数作为约束条件,用基于最短路径算法构造路径选择函数,并依照该函数修正被选路径,使其满足多约束条件。仿真结果表明该算法有较好的性能和较小的时间复杂度,可以方便地推广到多个QoS参数的情况。
协同过滤是现阶段最成功的推荐技术之一。提出一种结合奇异值分解和时间权重的协同过滤算法。与使用奇异值分解来降维的最近邻法不同,该算法通过梯度下降法进行奇异值分解,并直接将分解的结果用于预测评分。同时,该算法根据评分时间,为每个评分赋予不同的时间权重,考虑了用户兴趣随时间的变化。实验表明,该算法相较于传统协同过滤算法,能够获得更高的推荐精度。
针对嵌入式TCP/IP协议栈LwIP的三种应用程序设计接口,介绍了基于LwIP的μC/OS-Ⅱ网络应用程序设计的三种方法,并分析指出了各种方法的优缺点。其中,较详细地给出了基于LwIPAPI的μC/OS-Ⅱ网络应用程序设计方法,该方法利用LwIPAPI和μC/OS-Ⅱ的任务切换和调度机制,实现了LwIP进程和μC/OS-Ⅱ任务间的通信,提出了基于LwIPAPI的μC/OS-Ⅱ应用程序设计的基本框架
可信保证体系是虚拟计算环境的基础组件。虚拟计算环境下信任管理具有不确定性和动态性特点,因此,虚拟计算环境下的可信保证体系应具备主观性、基于证据以及上下文相关性的特性。针对虚拟计算环境下虚拟共同体的服务选取以及自主元素的可信度计算的安全问题,提出了基于贝叶斯分析的信任模型。