维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

1篇 您的检索式：作者名="Stephane MAAG"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Testing protocols in Internet of Things by a formal passive technique显示文摘In recent years,Extensible Messaging and Presence Protocol(XMPP)is gaining momentum in Internet of Things(IoT).It has been widely used in chatting,message exchanging and unique addressing.As a matter of course,it raises an interesting issue:how to formally test the conformance and performance of XMPP in IoT environment.While conformance testing of communicating protocols is a functional test that verifies whether the behaviors of the protocol satisfy defined requirements,performance testing is a qualitative and quantitative test that aims at checking whether the performance requirements of the protocol are satisfied under certain conditions.In this paper,we present a logic-based passive testing approach that can test both the conformance and the performance of XMPP protocol through real execution traces and formally specified properties.To evaluate and assess our methodology,we present a developed prototype and the experiments with a set of XMPP properties.Finally,the relevant verdicts and conclusions are provided.	Xiaoping CHE Stephane MAAG	2014	Science China(Information Sciences)2014，57，3：	4

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费