论文部分内容阅读
测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来，利用矩阵存储扩展自动机的状态和状态转换信息，用伪等价类生成树递增地生成测试用例，对类测试的测试用例自动生成作了有益的探讨。
基于UML规格说明的增量式测试用例生成
【摘 要】
：
测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来，利用矩阵存储扩展自动机的状态和状态转换信息，用伪等价类生成树递增地生成测试用
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年4期
其他文献
母猪不孕是饲养母猪的过程中常见的一种问题,如能有效解决,可以大大提高养猪生产效益,增加养猪利润,除了一些疾病因素可能导致的母猪不孕之外,饲喂方法不当也很有可能导致母
摘 要：数学是基础教育阶段的一门重要学科，对于发展和培养学生的理性思维有着重要的意义。为了践行课程改革的要求，农村小学数学教师应当抓住学科教学本质，以计算教学活动为切入点，通过实践、创新提升学生的学习能力和效率，继而推动他们数学综合素质的稳定发展。对此，本文以人教版小学数学课本为例，立足于农村教师的角度分析了提高计算教学成效的相关策略，希望能够对数学教学工作的有效开展起到一定的促进作用。 关键词
产后便秘是指妇女产后饮食如常，大便数日不解，或艰涩难以解出，又称为产后大便难。产后便秘临床上较常见，我院自2002—2006年，应用四物汤加味治疗该病96例，疗效显著，现报道如下。1 一
靖远县是规模养猪大县,在规模养猪场内猪寄生虫病发生概率较高,不仅制约了生猪增重过程,而且影响了靖远县饲养行业发展。基于此,文章以靖远县规模养猪场猪寄生虫病防控为目标
钢结构同其它材料相比具有较强的稳定性,因此在最近几十年来大跨度钢结构受到了非常广泛的应用,但是在施工的过程中也存在很多不可避免的问题,例如构件吊装的稳定性、结构的
针对鸡西矿区低透气性高瓦斯易自燃煤层安全开采的实际情况，并在综合分析影响安全开采的瓦斯和煤自燃因素基础上，应用热重和红外光谱分析技术，对矿区煤分子结构进行分析，并在实验