排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
Pierre Combes Wei Monin Ana Cavalli Amel Mederreg Fatiha Zaïdi Richard Castanet Marcien Mackaya Patrice Laurençot 《电信纪事》2005,60(5-6):588-609
This article presents the implementation of a validation platform based on formal methods and the experimental results obtained. This platform allows performing conformance and interoperability tests, analysing the specification and constructing a performance model for the services. It covers all stages of the validation which are: formal specification, test architecture definition, test generation and execution for the defined architecture, and performance evaluation. The test methods and architectures used here make it easier to detect and localise errors. The platform has been constructed within the framework of theRnrt (National Telecommunications Research Network) platform project, platonis. This platform is composed of a network integrating the different sites of the project partners. The principal application domains for the platform are telecommunication systems and mobile telephony. In particular, two different cases study are presented that illustrate the platform’s applicability to the test of mobile 3rd generation protocols and services usingWap, gprs andUmts. Nevertheless, the platform is generic and can be used for other types of communication protocols and services. 相似文献
1