期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
专用指令集处理器模型的研究
被引量：
1
1
作者
余洁
王志刚
+1 位作者
周学海
李曦
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2008年第7期1125-1130,共6页
针对现有专用指令集处理器(ASIP)模型的不足和ASIP的特点,提出了一个新型的ASIP模型——xpMODEL.它以指令行为作为设计核心,引入指令行为有限状态机IB-EFSM建立指令操作的时序调度机制,通过原语操作完成行为中对处理器资源的调用,有效...
针对现有专用指令集处理器(ASIP)模型的不足和ASIP的特点,提出了一个新型的ASIP模型——xpMODEL.它以指令行为作为设计核心,引入指令行为有限状态机IB-EFSM建立指令操作的时序调度机制,通过原语操作完成行为中对处理器资源的调用,有效地对指令的流水化操作进行了建模.在对处理器资源的建模中,利用资源库描述处理器的部件、存储和连接,并通过抽象层和行为层的部件双层建模形式有效地支持了对ASIP中专用硬件和外围部件的描述.介绍了xpMODEL对一些复杂执行机制,如forwarding技术、动态调度技术、分支预测技术和中断技术建模的支持,说明了其建模能力相对于现有的ASIP模型的优势.
展开更多
关键词
专用指令集处理器
xpMODEL
指令行为有限状态机
在线阅读
下载PDF
职称材料
Web应用程序的用户非预期行为测试模型的研究
2
作者
荣祺
高建华
《小型微型计算机系统》
CSCD
北大核心
2008年第6期1004-1006,共3页
现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出...
现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出一种基于扩展有限状态机(EFSM)的UUBTM测试模型来生成非预期行为的测试序列UTSEQ,实验证明该序列可以有效检测Web应用程序中存在的缺陷.
展开更多
关键词
WEB应用
用户非预期行为
测试模型
EFSM(扩展有限状态机)
在线阅读
下载PDF
职称材料
题名
专用指令集处理器模型的研究
被引量：
1
1
作者
余洁
王志刚
周学海
李曦
机构
中国科学技术大学计算机科学技术系
出处
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2008年第7期1125-1130,共6页
基金
国家自然科学基金资助项目(60273042)
文摘
针对现有专用指令集处理器(ASIP)模型的不足和ASIP的特点,提出了一个新型的ASIP模型——xpMODEL.它以指令行为作为设计核心,引入指令行为有限状态机IB-EFSM建立指令操作的时序调度机制,通过原语操作完成行为中对处理器资源的调用,有效地对指令的流水化操作进行了建模.在对处理器资源的建模中,利用资源库描述处理器的部件、存储和连接,并通过抽象层和行为层的部件双层建模形式有效地支持了对ASIP中专用硬件和外围部件的描述.介绍了xpMODEL对一些复杂执行机制,如forwarding技术、动态调度技术、分支预测技术和中断技术建模的支持,说明了其建模能力相对于现有的ASIP模型的优势.
关键词
专用指令集处理器
xpMODEL
指令行为有限状态机
Keywords
application specific
instruction
set processor（ASIP）
xpMODEL
extended finite state machine for instruction behavior （ib-efsm）
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
Web应用程序的用户非预期行为测试模型的研究
2
作者
荣祺
高建华
机构
上海应用技术学院计算机科学与信息工程系
上海师范大学数理信息学院
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第6期1004-1006,共3页
基金
国家自然科学基金项目(60673067)资助
上海市自然科学基金项目(04ZR14105)资助
上海应用技术学院青年教师科研基金项目(QJ2005-02)资助
文摘
现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出一种基于扩展有限状态机(EFSM)的UUBTM测试模型来生成非预期行为的测试序列UTSEQ,实验证明该序列可以有效检测Web应用程序中存在的缺陷.
关键词
WEB应用
用户非预期行为
测试模型
EFSM(扩展有限状态机)
Keywords
web applications,users＇ unanticipated
behavior
,testing model,EFSM （
extended
finite
state
machine
）
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
专用指令集处理器模型的研究
余洁
王志刚
周学海
李曦
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
2
Web应用程序的用户非预期行为测试模型的研究
荣祺
高建华
《小型微型计算机系统》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
