掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IFIP International Conference on Testing of Communicating Systems
IFIP International Conference on Testing of Communicating Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
BCMP Performance Test with TTCN-3 Mobile Node Emulator
机译:
BCMP性能测试与TTCN-3移动节点仿真器
作者:
Sarolta Dibuz
;
Tibor Szabo
;
Zsolt Torpis
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
2.
Soip over Satellite Testing-TIM Experience
机译:
飙升卫星测试 - 蒂姆体验
作者:
Giulio Maggiore
;
Letterio Pirrone
;
Gaethan Donlap Kouang
;
Federico Piovan
;
Biagio Ricco Galluzzo
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
3.
Implementation of an Open Source Toolset for CCM Components and Systems Testing
机译:
用于CCM组件和系统测试的开源工具集的实现
作者:
Harold Batteram
;
Wim Hellenthal
;
Willem Romijn
;
Andreas Hoffmann
;
Axel Rennoch
;
Alain Vouffo
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
4.
Soip over Satellite Testing - TIM Experience
机译:
飙升卫星测试 - 蒂姆经验
作者:
Giulio Maggiore
;
Letterio Pirrone
;
Gaethan Donlap Kouang
;
Federico Piovan
;
Biagio Ricco Galluzzo
;
Lecture Notes in Computer Science 2978
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
5.
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols
机译:
基于文本的协议的一致性测试的抽象协议类型定义的推导
作者:
Stephan Schulz
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
6.
A Multi-service and Multi-protocol Validation Platform-Experimentation Results
机译:
多项服务和多协议验证平台 - 实验结果
作者:
Ana Cavalli
;
Amel Mederreg
;
Fatiha Zaidi
;
Pierre Combes
;
Wei Monin
;
Richard Castanet
;
Marcien MacKaya
;
Patrice Laurencot
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
7.
FSM Based Interoperability Testing Methods for Multi Stimuli Model
机译:
基于FSM的多刺激模型的互操作性测试方法
作者:
Khaled El-Fakih
;
Vadim Trenkaev
;
Natalia Spitsyna
;
Nina Yevtushenko
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
8.
Execution of External Applications Using TTCN-3
机译:
使用TTCN-3执行外部应用程序
作者:
Theofanis Vassiliou-Gioles
;
George Din
;
Ina Schieferdecker
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
9.
Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing
机译:
用于表达使用MSC的实时要求的通信模式及其在测试中的应用
作者:
Helmut Neukirchen
;
Zhen Ru Dai
;
Jens Grabowski
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
10.
From Design to Test with UML Applied to a Roaming Algorithm for Bluetooth Devices
机译:
从设计使用UML测试到蓝牙设备的漫游算法
作者:
Zhen Ru Dai
;
Jens Grabowski
;
Helmut Neukirchen
;
Holger Pals
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
11.
Prom Design to Test with UML (Applied to a Roaming Algorithm for Bluetooth Devices)
机译:
舞会设计要使用UML进行测试(应用于蓝牙设备的漫游算法)
作者:
Zhen Ru Dai
;
Jens Grabowski
;
Helmut Neukirchen
;
Holger Pals
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
12.
From Safety Verification to Safety Testing
机译:
从安全验证到安全测试
作者:
Vlad Rusu
;
Herve Marchand
;
Valery Tschaen
;
Thierry Jeron
;
Bertrand Jeannet
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
关键词:
verification;
conformance testing;
safety properties;
13.
Generation of Optimized Testsuites for UML Statecharts with Time
机译:
为UML StateCharts带来优化的Testsuites的生成
作者:
Tilo Mucke
;
Michaela Huhn
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
14.
Testing Multi Input/Output Transition System with All-Observer
机译:
使用All-Observer测试多输入/输出过渡系统
作者:
Zhongjie Li
;
Jianping Wu
;
Xia Yin
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
15.
On Testing Partially Specified IOTS through Lossless Queues
机译:
通过无损队列测试部分指定的区域
作者:
Jia Le Huo
;
Alexandre Petrenko
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
16.
Mutation Testing Applied to Validate SDL Specifications
机译:
突变测试应用于验证SDL规范
作者:
Tatiana Sugeta
;
Jose Carlos Maldonado
;
W. Eric Wong
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2004年
关键词:
specification testing;
mutation testing;
SDL;
17.
Bounded Sequence Testing from Non-deterministic Finite State Machines
机译:
非确定性有限状态机的有界序列测试
作者:
Florentin Ipate
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
18.
Generating Test Cases for Web Services Using Extended Finite State Machine
机译:
使用扩展有限状态机生成Web服务的测试用例
作者:
ChangSup Keum
;
Sungwon Kang
;
In-Young Ko
;
Jongmoon Baik
;
Young-Il Choi
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
19.
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems
机译:
使用定时TTCN-3在互操作性测试中进行实时通信系统
作者:
Zhiliang Wang
;
Jianping Wu
;
Xia Yin
;
Xingang Shi
;
Beihang Tian
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
20.
Test Case Minimization for Real-Time Systems Using Timed Bound Traces
机译:
使用定时绑定迹线的实时系统测试案例最小化
作者:
Ismaill Berrada
;
Richard Castanet
;
Patrick Félix
;
Aziz Salah
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Timed Input Output Automata;
Trace Inclusion;
Black-Box Testing;
Conformance Testing;
21.
LaTe, a Non-fully Deterministic Testing Language
机译:
迟到了非完全确定性的测试语言
作者:
Emmanuel Donin de Rosière
;
Claude Jard
;
Benoilt Parreaux
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
22.
Reducing the Lengths of Checking Sequences by Overlapping
机译:
通过重叠减少检查序列的长度
作者:
Hasan Ural
;
Fan Zhang
;
International Federation for Information Processing(IFIP)
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
23.
Distributed Load Tests with TTCN-3
机译:
具有TTCN-3的分布式负载测试
作者:
George Din
;
Sorin Tolea
;
Ina Schieferdecker
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
24.
Test Generation for Network Security Rules
机译:
网络安全规则的测试生成
作者:
Vianney Darmaillacq
;
Jean-Claude Fernandez
;
Roland Groz
;
Laurent Mounier
;
Jean-Luc Richier
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
25.
Controllable Combinatorial Coverage in Grammar-Based Testing
机译:
基于语法测试的可控组合覆盖
作者:
Ralf Lammel
;
Wolfram Schulte
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
26.
Reducing the Lengths of Checking Sequences by Overlapping
机译:
通过重叠减少检查序列的长度
作者:
Hasan Ural
;
Fan Zhang
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
27.
Customized Testing for Probabilistic Systems
机译:
概率系统定制测试
作者:
Luis F. Llana-Díaz
;
Manuel Núnez
;
Ismael Rodríguez
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
28.
Using TIMEDTTCN-3 in Interoperability Testing for Real-Time Communication Systems
机译:
在实时通信系统中使用TimEdTTCN-3在互操作性测试中
作者:
Zhiliang Wang
;
Jianping Wu
;
Xia Yin
;
Xingang Shi
;
Beihang Tian
;
International Federation for Information Processing(IFIP)
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
29.
FSM Test Translation Through Context
机译:
FSM通过上下文测试翻译
作者:
Khaled El-Fakih
;
Alexandre Petrenko
;
Nina Yevtushenko
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
30.
Analyzing the Impact of Protocol Changes on Tests
机译:
分析议定书变化对测试的影响
作者:
Mahadevan Subramaniam
;
Zoltán Pap
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Changes;
evolution;
protocol;
communicating finite state machines;
test consistency;
31.
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
机译:
评估异构测试假设套的逻辑
作者:
Ismael Rodríguez
;
Mercedes G. Merayo
;
Manuel Núnez
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
32.
Detecting Observability Problems in Distributed Testing
机译:
检测分布式测试中的可观察性问题
作者:
Jessica Chen
;
Hasan Ural
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Finite state machine;
testing;
distributed test architecture;
observability;
controllability;
33.
Symbolic and on the Fly Testing with Real-Time Observers
机译:
符号和实时观察员的飞行测试
作者:
Rachid Bouaziz
;
Ousmane Koné
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
34.
Compositional Testing of Communication Systems
机译:
通信系统的组成测试
作者:
Reinhard Gotzhein
;
Ferhat Khendek
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
35.
Performance Analysis of Concurrent PCOs in TTCN-3
机译:
TTCN-3中并发PCOS的性能分析
作者:
Máté J. Csorba
;
Sándor Palugyai
;
Sarolta Dibuz
;
Gyula Csopaki
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
36.
Symbolic Execution Techniques for Test Purpose Definition
机译:
用于测试目的定义的符号执行技术
作者:
Christophe Gaston
;
Pascale Le Gall
;
Nicolas Rapin
;
Assia Touil
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Conformance testing;
Input/Output Symbolic Transition Systems;
Test Purposes;
Symbolic Execution;
Coverage Criteria;
37.
Use of TTCN-3 for Software Module Testing
机译:
使用TTCN-3进行软件模块测试
作者:
Andreas Johan Nyberg
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Software testing;
concurrent software;
mock objects;
TTCN-3;
38.
Application of Two Test Generation Tools to an Industrial Case Study
机译:
两种测试生成工具在工业案例研究中的应用
作者:
Ana Cavalli
;
Stéphane Maag
;
Wissam Mallouli
;
Mikael Marche
;
Yves-Marie Quemener
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
关键词:
Case study;
telephonic service;
extended finite state machine;
conformance testing;
service testing;
automatic test generation;
formal specification;
test generation tools;
39.
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking
机译:
安全协议的消息机密性测试 - 被动监控和主动检查
作者:
Guoqiang Shu
;
David Lee
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
40.
Using Distinguishing and UIO Sequences Together in a Checking Sequence
机译:
在检查序列中使用区分和UIO序列
作者:
M. Cihan Yalcin
;
Husnu Yenigun
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
41.
Towards the Testing of Composed Web Services in 3~(rd) Generation Networks
机译:
在3〜(RD)生成网络中的编组Web服务测试
作者:
Abdelghani Benharref
;
Rachida Dssouli
;
Roch Glitho
;
Mohamed Adel Serhani
会议名称:
《IFIP International Conference on Testing of Communicating Systems》
|
2006年
意见反馈
回到顶部
回到首页