论文部分内容阅读
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
类状态图可测试模型的检查与构造
【摘 要】
：
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
【机 构】
：
西安理工大学计算机科学与工程学院,西安理工大学计算机科学与工程学院陕西西安710048,陕西西安710048,陕西西安710048
【出 处】
：
计算机应用
【发表日期】
：
2004年S1期
【基金项目】
：
陕西省教育厅科研基金资助 (0 0JK2 65)
其他文献
水力振动增产技术是一种新的提高采收率方法。近年来，振动采油技术的研究和应用进展很快。介绍了水力振动器的结构、工作原理和现场试验效果，通过现场试验，并且对试验井增油资料
教育的最终目的是要培养具有创造性才能的人。他既要有高度的抽象思维能力又要有高度的形象思维能力，而这两种能力正是人的左、右脑所分别具有的优势功能。在过去的教育中，由于
人文精神的文化主题刘良海有关人文精神的论争是近年来文化研究的热点之一。这场最初由文学界引发的讨论很快成为整个思想文化领域瞩目的焦点，引起学界的普遍关注。准确地把握人文精神文化主题的基本特征，是全面考察人文精神尤其是中国人文精神的关键，是人文精神研讨得...
从科学认识论的视角看，从序列到演化方法的实质是科学认识主体依据科学认识客体的序列和演化的辩证关系，通过研究其序列间的先后顺序及规律性以达到研究其演化的过程及规律的目的。序列是演化过程各阶段的物质形态在空间上的“同时并存”，演化是序列在时间上的先后展开；序列赋予演化以“空间位置”，使演化在空间上得到统一，而演化赋予序列以历史性或“时间位置”，使序列在时间上得到统一。二者的这种辩证统一关系，为从序列到演化方法的提出和运用，提供了牢固的理论依据。从序列到演化方法的一般程序是：研究空间序列→探寻时间顺序→挖掘动
本文介绍了使用dBASEⅣ微机数据库管理系统实现关系联结操作的三种不同方法,并对SET RELATION/SET SKIP,JOIN和SQL SELECT命令在联结表时的效率进行对比研究,得出的结论是SQL SELECT命令优于其它联结命令。
一、研究课题的提出在高中化学的学习中，许多学生对离子之间是否可以大量共存的问题认识不清，模棱两可，而高考考纲中离子共存问题既是重点、也是难点，教师在授课过程中往往以简单
小学数学练习课是一种占据较大课时比重的重要课型，是由数学学科牦占、决定的一种重要的课堂教学课型。在小学数学课堂教学中，精湛的练习教学策略，不仅能提高教学效率和教学质量
叶圣陶先生曾说：“教育是什么，往单方面讲，只需一句话，就是培养良好的习惯，学习困难的学生最主要的因素就是没有养成良好的学习习惯，我们的数学，不仅仅是帮助学生获得知识，更重要的是
小学数学教学的目的不仅在于让学生掌握知识，而且更注重于培养学生良好的品质，促进学生全面发展。探究性学习不仅在学习数学时有很大的作用，而且是小学生数学学习方法的良好体现