Testowanie w cyklu życia systemu: nieregularności metastandaryzacji

• Autorzy: Brzeziński K.

Warianty tytułu

EN

Testing in a system's life-cycle: irregularities of meta-standardization

• Konferencja: XXV Krajowe Sympozjum Telekomunikacji i Teleinformatyki, 16-18 września 2009 r., Warszawa
• Języki publikacji: PL

Abstrakty

PL

Rozważa się proces konstruowania (projektowania i produkowania) systemów teleinformatycznych, w którym dochodzi do konwergencji podejść i modeli charakterystycznych dla telekomunikacji i informatyki. Na podstawie wspólnego modelu takiego procesu identyfikuje się niespójności koncepcyjne i ukryte założenia obu tych podejść, zwłaszcza w odniesieniu do weryfikacji i walidacji powstającego produktu metodami testowymi. Jako szczególny typ produktu rozważa się standardy, których jakość i zagadnienia projektowe są przedmiotem metastandardów.

EN

The construction (design and production) process of information systems is investigated, in which the approaches and models characteristic of telecommunications and software engineering tend to converge. Basing on a common model of such process, the conceptual inconsistencies and hidden assumptions of both these approaches are discussed, in particular those pertaining to verification and validation by means of testing. Standards are identified as a specific kind of product, the quality and design problems of which are the object of meta-standards.

Słowa kluczowe

PL

standaryzacja; cykl życia systemu; poprawność; weryfikacja; walidacja; testowanie

EN

standardization; system life-cycle; correctness; verification; validation; testing

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
• Rocznik: 2009
• Tom: nr 8-9
• Strony: 805--810
• Opis fizyczny: Bibliogr. 33 poz., rys.

Twórcy

autor

Brzeziński K.

• Politechnika Warszawska, Instytut Telekomunikacji,

Bibliografia

• [1] Egledt J.: Stardeods Enhance System Strategies onto Fleubility Objectives. W Materiały EASST 2002
• [2] Egiert M. A Framework for Standard in Telecom Information Technology. IEEE Communications Magazine, 39, 2001
• [3] de Vries H. J., Slob F J. : Best PractJce in Company Standardisation. Int. J. PT Standards and Standardization Research, 4, 2006
• [4] Shapiro S., Richards B., Rinow M., Schoechle T: Hybrid Standards Setting Solutions for Todays Comergent Tetecommunications Market. W: Materiały SIIT '01, 2001
• [5] IEEE610-1. IEEE, 1990
• [6] Hlarel D., Pnueli (red.), Logics and Models of Concurrent Systems, Springer-Vertag, 1985
• [7] Lubacz J.: A Pragmafic Approach to Large Systems Design. TR 87-89, INRS-Telecommunications, 1987
• [8] ParnasD.L, IEEETSE SE-12, 1986
• [9] Brzeziński K M.: O koncepcyjnych i formalnych aspektach modelowania rozwoju systemów IT. W Materiały KST '09, Warszawa, 2009
• [10] Wing J.M. 23,1990
• [11] ITUTRec. Z. 5CO,Framehttp://fxxis/hcon/bfrnancetesffng. ITU-T 1997
• [12] Brzeziński K M., Gumieniak A, Jankowski R: Passive Testing for Reuerse
• [13] Working Raper, Univ. of Waikato, 2006
• [14] Jaworski J., Morawski R., Olędzki J.: Metrologia i techniki eksperymentu. WNT Warszawa, 1992
• [15] Brzeziński K M.: Towards the Methodological Harmonization of Passive Testing Across ICT Communities. W. Engineering the Computer Science and IT IN-TECH, 2009 (w procesie wydawniczym)
• [16] ISO/IEC 9646, Conformance testing methodology and framework. ISO/EIC.
• [17] Richardson D. J., Aha S. L, OMalleyT O.: Specification-Based Test Oracles for feature Systems. W. Materiały ICSE, 1 992
• [18] 7776 Lite Cyde of Standards. IEC Lecture Series II (http: //www. euras.org/lectures. htm), IEC, 2007
• [19] Krechmer K: Materiały ACMSymp. Applied Computing, 2002
• [20] ETSIES201 873, The Testing and Test Control Notation version 3. ETUI MTS,2008
• [21] Brzeziński K. M., Kamiński T: Ewolucja języka zapisu testów TTCN: sukces czy porażka? KST '04, Bydgoszcz, 2004
• [22] Brzeziński K M., Gajowniczek R, Grzegorzewski M. i inni: Usługi korwergentne wśrodowisku heterogenicznym NGN/CSN. Politechnika Warszawska na zlecenie Departamentu CBR TTI 2008
• [23] Brinksma E., Grieskamp W, Tretmans J. (red.): Perspectives of Model-Based Testing. IBFI, Schloss Dagstuhl, 2005
• [24] Bemot B., Gaudel M., Marre B.: A Formal approach to software testing. W: Materiały AMAST, 1991
• [25] Hierons R M., Bogdanov K., Bowen J. P i inni: Using Formal Specrucations to Support Testing. ACM Computing Surveys, 2008
• [26] Brzeziński K. M.: Technologia testowania biernego w pomiarach własności W: Współczesne problemy sieci komputerowych - nowe technologie, WNT; 2004
• [27] IEEE Std. 829, IEEE Standard for Software Test Docurnentation. IEEE, 1998
• [28] ETSI EG 202 237, Generic approach to interoperability testing. ETSI MTS, 2007
• [29] ETSI EG 202 107, Flaming for validation and testing in the standards- making process. ETSI MTS, 1999
• [30] MaWngBetter Standards (http: //portal,etsi.org/mbs). ETSI
• [31] ETSIEG202568,Testing: Methodology and Framework. ETSI MTS, 2007
• [32] Warken M.:From Testing to Anti-product Development. W: Materiały TTC-N-3 User Conf., Berlin, 2006
• [33] Brzeziński K. M. : On Common Meta-Linguistic Aspects of Intrusion Detection and Testing. Int. J. Information Assurance and Security, 2, 2007