ITU-T SERIE A SUPP 1 FRENCH-1998 Guidelines on quality aspects of protocol related Recommendations《协议相关建议的质量方面的指导》.pdf

1、UNION INTERNATIONALE DES TLCOMMUNICATIONSUIT-TSrie ASECTEUR DE LA NORMALISATIONDES TLCOMMUNICATIONSDE LUITSupplment 1(09/98)SRIE A: ORGANISATION DU TRAVAIL DE LUIT-TDirectives sur les critres de qualit desRecommandations relatives aux protocolesSupplment 1aux Recommandations UIT-T de la srie A(Antri

2、eurement Recommandations du CCITT)RECOMMANDATIONS UIT-T DE LA SRIE AORGANISATION DU TRAVAIL DE LUIT-TPour plus de dtails, voir la Liste des Recommandations de lUIT-T.SUPPLMENT 1 AUX RECOMMANDATIONS UIT-T DE LA SRIE ADIRECTIVES SUR LES CRITERES DE QUALITE DES RECOMMANDATIONSRELATIVES AUX PROTOCOLESRs

3、umLe prsent supplment donne des directives sur les critres de qualit des Recommandations delUIT-T relatives aux protocoles, en vue datteindre les objectifs suivants:1) amliorer la qualit des Recommandations relatives aux protocoles;2) contribuer amliorer linteroprabilit des produits crs partir de ce

4、s Recommandations.Afin que les Recommandations de lUIT-T relatives aux protocoles puissent tre utilises le pluslargement possible, il est important quelles soient de haute qualit. A cette fin, plusieurs critres quirevtent de limportance pour les utilisateurs de ces Recommandations UIT-T ont t retenu

5、s:lisibilit, compltude, correction, cohrence, absence dambigut, applicabilit et testabilit.On trouvera dans lAnnexe A du prsent supplment une liste de vrification des critres de qualit,destine aider ceux qui laborent des Recommandations sur les protocoles identifier les sectionsdes directives sur le

6、s critres de qualit qui ont t traites.SourceLe Supplment 1 aux Recommandations UIT-T de la srie A, labor par le Groupe Consultatif dela Normalisation des Tlcommunications (1997-2000) de lUIT-T, a t approuv le11 septembre 1998 selon la procdure dfinie dans la Rsolution n 5 de la CMNT.ii Srie A Supplm

7、ent 1 (09/98)AVANT-PROPOSLUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dansle domaine des tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est unorgane permanent de lUIT. Il est charg de ltude des questions techniques, dex

8、ploitation et de tarification,et met ce sujet des Recommandations en vue de la normalisation des tlcommunications lchellemondiale.La Confrence mondiale de normalisation des tlcommunications (CMNT), qui se runit tous les quatre ans,dtermine les thmes dtudes traiter par les Commissions dtudes de lUIT-

9、T, lesquelles laborent enretour des Recommandations sur ces thmes.Lapprobation des Recommandations par les Membres de lUIT-T seffectue selon la procdure dfinie dans laRsolution n 1 de la CMNT.Dans certains secteurs des technologies de linformation qui correspondent la sphre de comptence delUIT-T, le

10、s normes ncessaires se prparent en collaboration avec lISO et la CEI.NOTEDans la prsente Recommandation, lexpression “Administration“ est utilise pour dsigner de faon abrgeaussi bien une administration de tlcommunications quune exploitation reconnue.DROITS DE PROPRIT INTELLECTUELLELUIT attire latten

11、tion sur la possibilit que lapplication ou la mise en uvre de la prsente Recommandationpuisse donner lieu lutilisation dun droit de proprit intellectuelle. LUIT ne prend pas position en ce quiconcerne lexistence, la validit ou lapplicabilit des droits de proprit intellectuelle, quils soientrevendiqu

12、s par un Membre de lUIT ou par une tierce partie trangre la procdure dlaboration desRecommandations.A la date dapprobation de la prsente Recommandation, lUIT navait pas t avise de lexistence duneproprit intellectuelle protge par des brevets acqurir pour mettre en uvre la prsenteRecommandation. Toute

13、fois, comme il ne sagit peut-tre pas de renseignements les plus rcents, il estvivement recommand aux responsables de la mise en uvre de consulter la base de donnes des brevetsdu TSB. UIT 1998Droits de reproduction rservs. Aucune partie de cette publication ne peut tre reproduite ni utilise sousquelq

14、ue forme que ce soit et par aucun procd, lectronique ou mcanique, y compris la photocopie et lesmicrofilms, sans laccord crit de lUIT.Srie A Supplment 1 (09/98) iiiTABLE DES MATIRESPage1 Porte12 But 13 Objet . 14 Domaine dapplication 15 Dfinitions 16 Abrviations . 37 Elaboration de Recommandations d

15、e haute qualit . 37.1 Aperu gnral des critres de qualit 37.2 Identification en amont. 47.3 Techniques de description formelle . 47.4 Aperu gnral du processus 48 Vrifications de la qualit. 59 Directives spcifiques. 59.1 Lisibilit 59.2 Exhaustivit des Recommandations. 59.2.1 Clause de conformit. 59.2.

16、2 Outils de vrification de lexhaustivit 59.2.3 Mthodologie des tests 69.3 Exactitude.69.3.1 Validation des spcifications. 69.3.2 Suite de tests abstraite (ATS) 69.3.3 Etape de publication 69.3.4 Contrle. 69.4 Cohrence. 79.5 Non-ambigut 79.6 Implmentabilit. 79.6.1 Rduction du nombre doptions. 79.6.2

17、Meilleure solution technique. 79.7 Testabilit . 710 Utilisation doutils lors de llaboration de Recommandations 710.1 Dtection derreurs anticipe 710.2 Production rapide de Recommandations 710.3 Rduction des cots 7iv Srie A Supplment 1 (09/98)Page11 Rfrences normatives . 8Annexe A Liste de vrification

18、 des critres de qualit des Recommandations relatives auxprotocoles . 8A.1 Liste de vrification gnrale . 8A.2 Liste de vrification spcifique 9Srie A Supplment 1 (09/98) vIntroductionAfin que les Recommandations de lUIT-T relatives aux protocoles puissent tre utilises le pluslargement possible, il est

19、 important quelles soient de haute qualit. A cette fin, plusieurs intrts quirevtent de limportance pour les utilisateurs de ces Recommandations UIT-T ont t retenus:lisibilit, compltude, correction, cohrence, absence dambigut, applicabilit et testabilit.Srie A Supplment 1 (09/98) 1Supplment 1 aux Rec

20、ommandations de la srie ADIRECTIVES SUR LES CRITERES DE QUALITE DES RECOMMANDATIONSRELATIVES AUX PROTOCOLES(Genve, 1998)1 PorteLe prsent supplment traite de diffrents critres de qualit des Recommandations relatives auxprotocoles, savoir: lisibilit, correction, compltude, cohrence, absence dambigut,

21、applicabilitet testabilit. Il contient galement une mthode permettant dlaborer des Recommandations dehaute qualit.2 ButCes directives sur la qualit sont censes servir de rfrence afin de garantir la cohrence et la qualitdes Recommandations relatives aux protocoles et de faire en sorte que le niveau d

22、e comprhensionsoit le mme pour toutes les Commissions dtudes.3 ObjetLe prsent supplment a pour principal objet damliorer la qualit des Recommandations de lUIT-Trelatives aux protocoles et linteroprabilit des produits fonds sur ces Recommandations UIT-T.4 Domaine dapplicationLes critres et la mthode

23、prsents ici sappliquent avant tout aux Recommandations relatives auxprotocoles qui sont en cours dlaboration, mais peuvent galement tre appliqus lvaluation de laqualit des Recommandations relatives aux protocoles existantes.Les Commissions dtudes concernes devraient appliquer les critres de qualit e

24、n commenant parltape de planification et en passant par toutes les tapes successives conduisant lapprobation de laRecommandation et, dans certains cas, en allant jusqu ltape dapplication.5 DfinitionsLe prsent supplment dfinit les termes suivants:5.1 technique de description formelle (TDF, formal des

25、cription technique): langagesnormaliss, par exemple SDL, MSC ou ASN.1, et dautres techniques, par exemple GDMO, conuspour la spcification formelle du comportement, de la structure et des donnes dun systme.5.2 langage de description et de spcification (SDL, specification and description language):lan

26、gage formel normalis sur le plan international, servant spcifier et dcrire des systmes entemps rel.5.3 diagrammes de squences de messages (MSC, message sequence charts): langagenormalis sur le plan international servant dcrire des squences de messages changs entre lescomposants dun systme et leur en

27、vironnement.2 Srie A Supplment 1 (09/98)5.4 suite de tests abstraite (ATS, abstract test case): suite de tests compose de testslmentaires abstraits.5.5 test lmentaire abstrait: spcification complte et indpendante des actions ncessairesafin de raliser lobjectif dun test spcifique, dfinies au niveau d

28、abstraction dune mthode de testabstraite particulire. Il commence et finit dans un tat de test stable.5.6 mthode de test abstrait: description de la faon dont une application sous test doit treteste, formule un niveau dabstraction appropri pour rendre cette description indpendante detoute ralisation

29、 particulire dun moyen de test, mais suffisamment dtaille pour permettre laspcification des tests au moyen de cette mthode.5.7 suite de tests excutable (ETS, executable test suite): suite de tests compose de testslmentaires excutables.5.8 test lmentaire excutable: test lmentaire abstrait ralisable.5

30、.9 notation combine arborescente et tabulaire (TTCN, tree and tabular combinednotation): notation normalise servant spcifier des suites de tests de conformit de manireindpendante des mthodes de test, des architectures logicielles en couches ou des protocoles et defaon reflter la mthodologie de test

31、abstraite dfinie dans les Recommandations X. 290 et X.291.5.10 validation: processus de vrification dune spcification destin faire en sorte quelle soitcorrecte sur le plan de la syntaxe et de la smantique et reprsente le comportement voulu.5.11 clause de conformit: partie dune norme ou dune Recomman

32、dation qui dtermine ce quoi un utilisateur doit satisfaire dans la norme ou la Recommandation afin de se conformer laRecommandation concerne.5.12 spcification: prescription de la conception dun aspect du produit ou dun ensemble deproduits.5.13 dclaration de conformit dune implmentation (ICS, impleme

33、ntation conformancestatement): dclaration faite par le fournisseur dune application ou dun systme qui dclare seconformer une spcification donne, qui prcise les capacits mises en uvre. La dclaration ICSpeut prendre diffrentes formes: ICS de protocole, ICS de profil, ICS de profil spcifique et ICSdobj

34、et informationnel.5.14 informations supplmentaires sur limplmentation destines aux tests (IXIT,implementation extra information for testing): dclaration faite par le fournisseur ou le ralisateurdune application sous test, qui contient toutes les informations (en plus de celles fournies dans ladclara

35、tion ICS) concernant lapplication sous test et son environnement de test, ou qui y renvoie, etqui doit permettre au laboratoire dessais dexcuter une suite de tests approprie sur cetteapplication. Une dclaration IXIT peut prendre diffrentes formes: IXIT de protocole, IXIT de profil,IXIT de profil spc

36、ifique et IXIT dobjet informationnel.5.15 outil de test: matriel et/ou logiciel, exception faite de la suite de tests elle-mme, utilispour effectuer les tests demands ou les faciliter.5.16 moyens de test (MOT, means of testing): matriel et/ou logiciel, et procdures dutilisationde celui-ci/ceux-ci, y

37、 compris la suite de tests excutable elle-mme, utiliss pour effectuer les testsdemands.5.17 implmentatioon sous test (IUT, implementation under test): mise en uvre dune ouplusieurs spcifications de prescriptions, qui constituent la partie dun systme qui doit tre soumise des tests.5.18 tests dinterop

38、rabilit: tests visant valuer la capacit de deux ou plusieurs systmesdchanger des informations et dutiliser les informations qui ont t changes.Srie A Supplment 1 (09/98) 35.19 implmentation de rfrence: implmentation dune ou plusieurs normes ou spcificationspermettant de tester des fins de validation

39、un moyen de test et des outils de test pour ces normes ouspcifications.6 AbrviationsLe prsent supplment utilise les abrviations suivantes:ASN.1 notation de syntaxe abstraite numro un (abstract syntax notation one)ATS suite de tests abstraite (abstract test suite)ETS suite de tests excutable (executa

40、ble test suite)FD dfinition formelle (formal definition)FDT technique de description formelle (formal description technique)IUT implmentation sous test (implementation under test)MOT moyen de test (means of testing)MSC diagramme de squences de messages (message sequence chart)PICS dclaration de conf

41、ormit dune implmentation de protocole (protocol implementationconformance statement)PIXIT informations supplmentaires sur limplmentation de protocole destines au test (protocolimplementation extra information for testing)SDL langage de description et de spcification (specification and description la

42、nguage)TTCN notation combine arborescente et tabulaire (tree and tabular combined notation)7 Elaboration de Recommandations de haute qualit7.1 Aperu gnral des critres de qualitLors de llaboration de Recommandations nouvelles ou de lvaluation de la qualit deRecommandations existantes, il convient de

43、prendre en compte les critres suivants:lisibilit Une Recommandation doit tre bien structure et doit pouvoir tre lue et comprisefacilement, ce qui suppose une bonne utilisation des langages naturels ainsi que des chiffres, desexemples et des rfrences;exhaustivit Une Recommandation doit tre complte: e

44、lle doit comprendre toutes les partiesncessaires son application, savoir des spcifications clairement dfinies, prcises et dpourvuesdambigut et, facultativement, la suite de tests abstraite, le formulaire de dclaration de conformitdune implmentation de protocole et le formulaire contenant les informa

45、tions supplmentaires surlinstance de protocole destines au test;exactitude Les spcifications ne doivent pas contenir derreur et doivent reprsenter lecomportement voulu; cela sapplique en particulier aux parties dune Recommandation exprimes aumoyen de techniques de description formelle;cohrence Les i

46、nformations figurant dans diffrentes parties dune mme Recommandation ou dunensemble de Recommandations ayant un rapport entre elles ne doivent pas tre contradictoires;non-ambigut Une Recommandation ne doit pas pouvoir faire lobjet dinterprtations diffrentes;les applications venant de plusieurs fourn

47、isseurs doivent tre compatibles. Il est particulirement4 Srie A Supplment 1 (09/98)important que ces conditions soient remplies lorsque linteroprabilit est exige dans unenvironnement multivendeurs;implmentabilit Une spcification ne doit pas tre inutilement complexe. Elle ne doit permettrequun nombre minimal doptions, rejetant celles dont la raison dtre est de parvenir un consensus.La spcification doit tre fonde sur les meilleures solutions techniques;testabilit Lorsquun produit s