时序扩展的UML状态图的测试用例生成研究
一、基本信息 标题:时序扩展的UML状态图的测试用例生成研究 时间:2014 出版源:西南大学 领域分类:时序扩展;UML状态图;测试用例;需求规格说明;模型 二、研究背景 问题定义:时序扩展的UML状态图的测试用例生成研究 难点:了解透彻相关的理论基础;知晓充分性准则、UML状态图的时序扩展; 相关工作:学习软件测试基础理论,了解UML及其建模技术;看懂UML状态图; 三、创新方法 1.理论基础和建模技术相结合,发挥了充分性准则的作用; 四、实验 实验1:相关理论基础 要探究的问题:软件测试基础理论;基于模型的测试用例生成简介;UML状态图。 结论:作为检测和控制软件质量的重要手段,软件测试伴随着软件从设计到完成开发的整个生命周期。一个科学的合理的软件开发过程,软件测试与软件的设计和幵发是同步进行的。 模型可以理解为对要处理的系统或者问题,在某些角度或者某些特定层次上进行 的抽象化的描述,使其更加简单,方便人们理解其本质。采用合理的手段对软件进行建模 ,可以使软件的开发者更好地把握 软件的开发需求。将模型的思想应用与测试用例生成过程中, 就是将软件测试的活动进行模型的抽象化。 状态图是一种可以对系统动态行为建模的图形,用于描述系统类对象的生命周期中所有的状态 ,以及当特定事件发生时所引起的类对象状态的转移,可反映系统根据不同事件的发生导致类实体发生状态转移的状况