切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
类状态图可测试模型的检查与构造
类状态图可测试模型的检查与构造
来源 :计算机应用 | 被引量 : 5次 | 上传用户:y3434jkhgkj
【摘 要】
:
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
【作 者】
:
张毅坤
张保卫
崔杜武
【机 构】
:
西安理工大学计算机科学与工程学院,西安理工大学计算机科学与工程学院陕西西安710048,陕西西安710048,陕西西安710048
【出 处】
:
计算机应用
【发表日期】
:
2004年S1期
【关键词】
:
状态测试
模型检查
FREE模型
【基金项目】
:
陕西省教育厅科研基金资助 (0 0JK2 65)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
其他文献
水力振动采油技术研究及试验
水力振动增产技术是一种新的提高采收率方法。近年来,振动采油技术的研究和应用进展很快。介绍了水力振动器的结构、工作原理和现场试验效果,通过现场试验,并且对试验井增油资料
期刊
水力振动
强化采油
增产
Hydraulic vibration
Enhanced oil recovery
Increase production
形象思维训练在音乐教学中的重要性
教育的最终目的是要培养具有创造性才能的人。他既要有高度的抽象思维能力又要有高度的形象思维能力,而这两种能力正是人的左、右脑所分别具有的优势功能。在过去的教育中,由于
期刊
形象思维训练
音乐教学
形象思维能力
抽象思维能力
思维活动
右脑功能
创造性才能
小学阶段
人文精神的文化主题
人文精神的文化主题刘良海有关人文精神的论争是近年来文化研究的热点之一。这场最初由文学界引发的讨论很快成为整个思想文化领域瞩目的焦点,引起学界的普遍关注。准确地把握人文精神文化主题的基本特征,是全面考察人文精神尤其是中国人文精神的关键,是人文精神研讨得...
期刊
人文精神
文化主题
中国人文精神
中国文化
现代人文精神
传统人文精神
中国传统文化
文化精神
意义和价值
近代人文精神
从序列到演化方法的科学认识论研究
从科学认识论的视角看,从序列到演化方法的实质是科学认识主体依据科学认识客体的序列和演化的辩证关系,通过研究其序列间的先后顺序及规律性以达到研究其演化的过程及规律的目的。序列是演化过程各阶段的物质形态在空间上的“同时并存”,演化是序列在时间上的先后展开;序列赋予演化以“空间位置”,使演化在空间上得到统一,而演化赋予序列以历史性或“时间位置”,使序列在时间上得到统一。二者的这种辩证统一关系,为从序列到演化方法的提出和运用,提供了牢固的理论依据。从序列到演化方法的一般程序是:研究空间序列→探寻时间顺序→挖掘动
期刊
序列
演化
从序列到演化方法
科学认识论
DBASEⅣ中联结操作方式的比较
本文介绍了使用dBASEⅣ微机数据库管理系统实现关系联结操作的三种不同方法,并对SET RELATION/SET SKIP,JOIN和SQL SELECT命令在联结表时的效率进行对比研究,得出的结论是SQL SELECT命令优于其它联结命令。
期刊
dBASEⅣ
联结
数据库
浅谈高中化学研究性学习
一、研究课题的提出在高中化学的学习中,许多学生对离子之间是否可以大量共存的问题认识不清,模棱两可,而高考考纲中离子共存问题既是重点、也是难点,教师在授课过程中往往以简单
期刊
化学研究性学习
高中化学
离子共存问题
讲授方式
授课过程
学习兴趣
创造能力
学习效果
浅谈小学数学练习课的教学策略
小学数学练习课是一种占据较大课时比重的重要课型,是由数学学科牦占、决定的一种重要的课堂教学课型。在小学数学课堂教学中,精湛的练习教学策略,不仅能提高教学效率和教学质量
期刊
小学数学
练习课
教学策略
初中学生数学学习习惯培养的探索
叶圣陶先生曾说:“教育是什么,往单方面讲,只需一句话,就是培养良好的习惯,学习困难的学生最主要的因素就是没有养成良好的学习习惯,我们的数学,不仅仅是帮助学生获得知识,更重要的是
期刊
学习习惯培养
初中学生
数学
学习困难
学会学习
叶圣陶
教育
低渗特低渗储集层损害机理探讨
期刊
低渗透储集层
水敏性
水侵量
损害
预防
浅析小学数学探究性学习策略之思考
小学数学教学的目的不仅在于让学生掌握知识,而且更注重于培养学生良好的品质,促进学生全面发展。探究性学习不仅在学习数学时有很大的作用,而且是小学生数学学习方法的良好体现
期刊
情境创设
布置
方法指导
与本文相关的学术论文