切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
功能块形式化建模与测试序列生成方法研究
功能块形式化建模与测试序列生成方法研究
来源 :第五届全国信息获取与处理学术会议 | 被引量 : 0次 | 上传用户:panxuanyu
【摘 要】
:
对现场设备中的功能块进行测试,是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性,本文基于形式化建模工具,给出了功能块模态转换有限状态机模型,并在此基础
【作 者】
:
王忠锋
于海斌
王宏
张连领
【机 构】
:
中国科学院沈阳自动化研究所,沈阳,110016
【出 处】
:
第五届全国信息获取与处理学术会议
【发表日期】
:
2007年期
【关键词】
:
功能块
形式化建模
互操作测试
序列生成
有限状态机模型
现场总线
现场设备
生成方法
模态转换
建模工具
测试序列
测试案例
完备性
开发
基础
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对现场设备中的功能块进行测试,是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性,本文基于形式化建模工具,给出了功能块模态转换有限状态机模型,并在此基础上研究了功能块测试序列的生成方法。
其他文献
RP-HPLC测定哈蟆油中1-甲基海因的含量
哈蟆油为蛙科动物中国林蛙Rana temporaria chensinensis David.的输卵管干制品.又名林蛙油、哈士蟆油、田鸡油,是常用滋补强壮中药之一,具有补肾益精,润肺养阴之功效.主治病后
会议
紫肉甘薯中氯化花青素含量测定方法的建立
紫肉甘薯潜在价值的开发和研究为青岛农科院的一项科研项目,该品种具有抗氧化性和消除自由基活性,其主要活性成分为花青素,花青素属黄酮类物质,自然状态下多以花色苷的形式存在,具
会议
高效液相色谱法
氯化花青素
药物分析
液质联用技术分析固相合成奈米非肽及其副产物
单相抑郁是一种常见的由于中枢神经系统化学物质变化产生的精神紊乱,属于内源性抑郁症,使用抗抑郁药物治疗单相抑郁在医学界已经得到广泛认可.奈米非肽(nemifitide)是一种人工
会议
液质联用技术
临床试验
成奈米非肽
人血浆中福辛普利及其活性代谢物福辛普利拉同时分析LC-MS/MS法建立及其药动学研究
福辛普利是一种磷酸酯血管紧张素转化酶抑制剂类抗高血压药,在体内迅速而完全地水解为活性代谢物福辛普利拉(Fosinoprilat),临床上用于治疗高血压和充血性心力衰竭(CHF).由于福
会议
吡拉西坦多晶型分析
吡拉西坦是治疗脑血栓,改善微循环的药物,中国药典2005年版收载了该品种,分别有原料、片剂、胶囊、注射剂等多种剂型.在原料项下,收载样品熔点为151~154℃,这是毛细管熔点法测定的
会议
吡拉西坦
差示扫描量热法测定
熔点
改善微循环
原料
注射剂
脑血栓
毛细管
多晶型
定参数
中国
治疗
药物
药典
样品
品种
片剂
胶囊
剂型
前列康片的质量标准研究
前列康片是黄柏、泽泻、赤芍、当归、川芎、土茯苓、三棱、马齿苋、马鞭草、虎耳草、柴胡、川牛膝、甘草等中药精制而成.其服用方便,功效为清热利湿,化瘀散结.用于慢性前列腺炎
会议
請父母親們想一想——略談少年儿童把斋、学教义、唸經問題
一年一度的“六一”国际几童节剛剛过去,全国少年儿童又欢欣地度过了自己的节日。儿童是我們社会主义事业的接班人,是我們的未来和希望。因此,我们的党和国家一貫爱护和关怀
期刊
少年儿童
經問
家庭教育
教育方式
学校教育
伊斯兰教
主命
教育方法
宗教信仰
顿亚
RP-HPLC法同时测定Beagle犬血浆中曲马多、万拉法新和罗痛定浓度
曲马多(tramadol)、万拉法新(venlafaxine)、罗痛定(rotunedine)分别为非成瘾性镇痛剂、抗抑郁药和慢性持续性疼痛止痛剂,临床可能合用此三种药物以联合治疗抑郁症和镇痛.本实
会议
Beagle犬单次口服舒必利后血药浓度测定及药动学研究
舒必利为新一代苯甲酰类抗精神病药.由于其显效快,椎体外系副作用小,现已广泛应用于各类精神疾病.为开展舒必利的血药浓度监测,指导临床合理用药,本实验室建立了测定舒必利血浆浓
会议
口服
舒必利
血药浓度测定
血药浓度监测
临床合理用药
抗精神病药
椎体外系
血浆浓度
精神疾病
药动学
实验室
副作用
苯甲酰
应用
方法
一种基于IEEE 1451标准的中间件设计
本文简要阐述了IEEE 1451标准及中间件的概念,结合现有传感器网络提出了基于1451标准中间件的设计准则和构架,并总结了这种设计的特点,其目的在于简化传感器网络的软件设计。
会议
标准
中间件
设计准则
传感器
网络
软件设计
构架
概念
与本文相关的学术论文