期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
虚拟仪器系统软件结构描述语言的设计与应用
被引量：
1
1
作者
周泓
耿晨歌
《工程设计学报》
CSCD
2001年第1期7-11,共5页
为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统...
为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。
展开更多
关键词
虚拟仪器
软件结构
描述语言
图形化平台
系统集成
软件
设计
下载PDF
职称材料
基于体系结构描述的软件测试技术
被引量：
3
2
作者
贾晓琳
覃征
+1 位作者
何坚
虞凡
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2005年第8期808-811,884,共5页
在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图....
在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.
展开更多
关键词
软件结构
描述语言
体系
结构
软件
测试
下载PDF
职称材料
题名
虚拟仪器系统软件结构描述语言的设计与应用
被引量：
1
1
作者
周泓
耿晨歌
机构
浙江大学数字技术及仪器研究所
出处
《工程设计学报》
CSCD
2001年第1期7-11,共5页
基金
"九五"国家重点科技攻关项目! (97- 772 - 0 1- 0 6 )
文摘
为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。
关键词
虚拟仪器
软件结构
描述语言
图形化平台
系统集成
软件
设计
Keywords
virtual instrument
software architecture description language
graphic software platform
system integration
分类号
TH703 [机械工程—仪器科学与技术]
TP311.1 [机械工程—精密仪器及机械]
下载PDF
职称材料
题名
基于体系结构描述的软件测试技术
被引量：
3
2
作者
贾晓琳
覃征
何坚
虞凡
机构
西安交通大学电子与信息工程学院
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2005年第8期808-811,884,共5页
基金
国家高技术研究发展计划资助项目(2003AA41202020)
陕西省科技发展计划"十五"攻关资助项目(2000K08-G12).
文摘
在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.
关键词
软件结构
描述语言
体系
结构
软件
测试
Keywords
software architecture description language
architecture
testing software
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
虚拟仪器系统软件结构描述语言的设计与应用
周泓
耿晨歌
《工程设计学报》
CSCD
2001
1
下载PDF
职称材料
2
基于体系结构描述的软件测试技术
贾晓琳
覃征
何坚
虞凡
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2005
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
