期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
UML序列图的Z形式规范 被引量：5
1
作者 李景峰 李琰 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.
关键词 uml序列图 Z形式规范 统一建模语言 形式化 Z语言
下载PDF
基于DSG模型的测试用例自动生成方法 被引量：2
2
作者 李立刚 侯胜坤 +2 位作者 戴永寿 李隆浩 王亚龙 《小型微型计算机系统》 CSCD 北大核心 2015年第11期2510-2514,共5页
传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高... 传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高质量、高覆盖率测试用例的自动生成.该方法以UML序列图模型为基础,定义了与其等效的形式化DSG模型,并提出一种UM L序列图模型到DSG模型的自动转换算法,基于转换得到的DSG模型,采用逐层递进的遍历方式获取所有测试路径以生成测试用例.在某系统软件中的测试应用结果表明,该方法可有效生成测试用例,并且具有较高的测试效率和测试覆盖率. 展开更多
关键词 uml序列图 有向序列图 软件测试 测试用例自动生成
下载PDF
基于指称语义的UML序列图的形式化分析 被引量：2
3
作者 刘玥波 《吉林建筑工程学院学报》 CAS 2011年第2期87-89,共3页
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列... 统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的语法域和抽象语法,为进一步定义UML序列图的语义域及语义函数奠定了基础. 展开更多
关键词 形式化 uml序列图 指称语义
下载PDF
基于Android模拟P-Sensor的设计与实现
4
作者 李红义 孔庆德 +2 位作者 方伟 吴双卿 胡超 《集成技术》 2019年第4期63-68,共6页
该文基于高通MSM8939平台,在不增加距离传感器(Proximity Sensor,P-Sensor)的前提下,提出了一种基于触摸屏的距离传感器模拟方法。该文首先介绍了电容触摸屏面板触点位置检测原理和数值计算方法,并给出模拟P-Sensor距离检测原理;然后,... 该文基于高通MSM8939平台,在不增加距离传感器(Proximity Sensor,P-Sensor)的前提下,提出了一种基于触摸屏的距离传感器模拟方法。该文首先介绍了电容触摸屏面板触点位置检测原理和数值计算方法,并给出模拟P-Sensor距离检测原理;然后,基于触摸屏模组和基带芯片的接口电路以及电源管理芯片,设计并实现了模拟P-Sensor的硬件电路;最后,采用UML(统一建模语言)序列图的设计方式,实现了基于服务端-客户端框架层中的模拟P-Sensor通道控制程序设计,并根据距离检测结果实现了屏幕的亮灭自动控制以达到节省功耗的目的。 展开更多
关键词 ANDROID 模拟P-Sensor Linux内核驱动 框架层 uml序列图
下载PDF
基于指称语义的UML序列图的语义分析
5
作者 刘玥波 《赤峰学院学报（自然科学版）》 2012年第23期33-35,共3页
统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法... 统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析. 展开更多
关键词 uml序列图 指称语义 语义分析
下载PDF
利用UML-RT序列图支持基于事务的SoC系统级功能验证
6
作者 余金山 谭庆平 李暾 《计算机工程与科学》 CSCD 2007年第3期100-104,共5页
SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事... SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。 展开更多
关键词 uml-RT序列图 系统芯片 事务 验证
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部