Formal development of universal protocol implementations conformance statement proforma

Author

El-Gendy, H.

Author_Institution

Fac. of CS&IT, Ahram-Canadian Univ., Giza

fYear

2009

fDate

10-13 May 2009

Firstpage

317

Lastpage

321

Abstract

In this paper, we examine the adequacy of the current international protocol´s implementation conformance statement proforma (PICSP) to meet the end user´s conformance testing requirements (CTRs). We focus on those CTRs that are applicable to the international formal description techniques (FDTs). A number of shortfalls are uncovered. Then, we develop refinements called testability-directed PICSP (TDPICSP), of the current international PICSP to rectify the shortfalls. It also enhances the testability of the protocol standard. We illustrate our development by examples using international standards.

Keywords

conformance testing; formal specification; formal verification; protocols; telecommunication standards; CTR; FDT; conformance statement proforma; conformance testing requirements; formal development; formal refinements; international formal description technique; international protocol standard; telecommunication standard; testability-directed international PICSP; universal protocol implementation; Automatic testing; Cities and towns; Communication standards; Electronic mail; IEC standards; ISO standards; Manufacturing; Protocols; Standards development; Telephony; Application Programming Interface (API); CT Requirements (CTRs); Capability; Conformance Testing (CT); PICS Proforma (PICSP); Protocol Data Units (PDUs); Protocol Implementation´s Conformance Statement (PICS); Testability;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on

Conference_Location

Rabat

Print_ISBN

978-1-4244-3807-5

Type

conf

DOI

10.1109/AICCSA.2009.5069342

Filename

5069342