Journal of the Brazilian Computer Society | |
Application of a formal testing methodology to wireless telephony networks | |
Institut National des Telecommunications, France1  Cavalli, Ana1  Mederreg, Amel1  Université Paris-sud 111  Zaidi, Fatiha1  | |
关键词: component testing; conformance testing; interoperability testing; formal methods; location based services; mobile services; WAP; telephony networks. ; | |
DOI : 10.1007/BF03192359 | |
学科分类:农业科学(综合) | |
来源: Springer U K | |
【 摘 要 】
This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments. Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.
【 授权许可】
Unknown
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201912010163861ZK.pdf | 797KB | download |