Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques
作者： Hazem El-Gendy , Nabil El Kadhi , Narayan Debnath
DOI: 10.1109/ISCC.2008.4625761
关键词:
摘要: The testability of a protocol standard is property the that reflects degree precision in developing universal interpretation what it means for an implementation to conform standard, and ability exercise implementations purposes assessing their conformance (Hazem El-Ghendy, et al., November 20-23, 1995). In this paper, we investigate Conformance Testing Requirements (CTRs) result from formal specification allowed (dynamic) behavior standard. We focus on those CTRs are applicable all international description techniques (FDTs); more specifically, SDL, Lotos, Estelle, ASN.l. develop distinction among Implemenlorpsilas options, Implementerpsilas Choice, Non-Deterministic Choices as well testing semantics each them. Then, rules explicit precise these CTRs, P1X1TP (protocol extra information proforma). These essential facilitating controllability propagation observability; consequently, enhancing
sci-hub.se 参考文章(9)
Hazem El-Gendy, Study of the characteristics of CT-Equivalence with proves computer science and software engineering. ,vol. 6, pp. 171- 179 ,(2006) , 10.3233/JCM-2006-6S114
J.Q. Bao, Lang Tong, Protocol-aided channel equalization in wireless ATM IEEE Journal on Selected Areas in Communications. ,vol. 18, pp. 418- 435 ,(2000) , 10.1109/49.840201
HAZEM EL-GENDY, NABIL EL-KADHI, FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS International Journal of Software Engineering and Knowledge Engineering. ,vol. 15, pp. 873- 891 ,(2005) , 10.1142/S0218194005002567
D.P.A. Greenwood, R.A. Carrasco, Neural networks for the adaptive control of disruptive nonlinear network traffic IEE Proceedings - Communications. ,vol. 147, pp. 285- 291 ,(2000) , 10.1049/IP-COM:20000661
G.V. Bochmann, R. Dssouli, J.R. Zhao, Trace analysis for conformance and arbitration testing IEEE Transactions on Software Engineering. ,vol. 15, pp. 1347- 1356 ,(1989) , 10.1109/32.41328
S. Farahvash, K. Akhavan, M. Kavehrad, Packet Transmission over a Fixed Wireless Loop Using Adaptive Rate Techniques International Journal of Wireless Information Networks. ,vol. 9, pp. 165- 177 ,(2002) , 10.1023/A:1016033610952
ZHONGYU LU, A SURVEY OF XML APPLICATIONS ON SCIENCE AND TECHNOLOGY International Journal of Software Engineering and Knowledge Engineering. ,vol. 15, pp. 1- 33 ,(2005) , 10.1142/S0218194005001902
Chih-Yung Chang, Shin-Chih Tu, Active route-maintenance protocol for signal-based communication path in ad-hoc networks international conference on networks. ,vol. 25, pp. 161- 177 ,(2001) , 10.1006/JNCA.2002.0143
Itu-T, Specification and Description Language (SDL) ITU-T Recommendation Z.100. ,(1999)