O wbudowanych testerach biernych

• Autorzy: Brzeziński K.

Warianty tytułu

EN

On embeddable passive testing

• Języki publikacji: PL

Abstrakty

PL

Rozważa się modele architektury rozproszonego, reaktywnego systemu zdarzeń dyskretnych, do którego zostaje dołączony bądź którego częścią staje się tester bierny. Modele adekwatne dla testowania aktywnego okazują się niespójne w kontekście testowania biernego. Identyfikuje się tu naturę tej niespójności i proponuje się nowy, bardzo prosty model, dzięki któremu tester bierny może zostać potraktowany jak każdy inny komponent systemu, co pozwala na naturalne modelowanie także systemów, w które tester bierny został wbudowany (zagnieżdżony).

EN

In this paper a controversial concept of passive testing [2] is discussed, focusing on representation of a passive tester within the architecture of a distributed, reactive Discrete Event System. It is argued that well known architectural models used for paradigmatic active testing (Fig. 1) become deficient when applied to structures with a passive tester (Fig. 2), which undermines the basis for the formal treatment of passive testing. It is shown that such direct re-use either leads to intrinsically inconsistent and unimplementable interpretations (Fig. 2b and e), or requires additional mechanisms (co-location of a tester, Fig. 2c; instrumentation of a tested entity, Fig. 2d) that are restrictive and inconsistent with the specific use patterns of passive testing. A very simple, minimal architectural model is proposed (Fig. 3), in which each system entity is equipped with a pair of input and output ports, and communication channels are members of the Cartesian product of port sets. This model does not allow the inconsistent elements of previous models to be directly expressed, while making explicit their metaphorical interpretation (Fig. 4). It can deal with both external and embedded passive testers (Fig. 5), as they are treated exactly as any other system entity.

Słowa kluczowe

PL

system; architektura; model; poprawność; testowanie

EN

system; architecture; model; correctness; testing

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2011
• Tom: R. 57, nr 1
• Strony: 61--63
• Opis fizyczny: Bibliogr. 11 poz., rys., wzory

Twórcy

autor

Brzeziński K.

• Instytut Telekomunikacji Politechniki Warszawskiej, ul. Nowowiejska 15/19, 00-655 Warszawa,

Bibliografia

• [1] Broy M., Jonsson B. et. al., (ed.): Model-Based Testing of Reactive Systems. LNCS 3472, Springer, 2005.
• [2] Brzeziński K. M.: Towards the Methodological Harmonization of Passive Testing Across ICT Communities. W: Soomro S. (ed.): Engineering the Computer Science and IT, rozdział 9, In-Tech, 2009.
• [3] Brzeziński K. M.: Testowanie w cyklu życia systemu: nieregularności meta-standaryzacji. W: Krajowe Sympozjum Telekomunikacji i Teleinformatyki, Warszawa, 2009.
• [4] ISO/IEC 9646. Conformance testing methodology and frame-work.
• [5] Sampath M., Sengupta R. et. al.: Failure Diagnosis Using Discrete-Event Models. IEEE Trans. Control Systems Technology, 4(2):105–124, Mar. 1996.
• [6] Charbonnier F., Alla H., David R.: The Supervised Control of Discrete-Event Systems. IEEE Trans. Control Systems Technology, 7(2):175–187, Mar. 1999.
• [7] ITU-T Z500. Framework on formal methods in conformance testing.
• [8] Heerink L., Brinksma E.: Validation in Context. W: Protocol Specification, Testing and Verification XV, Chapman & Hall, 1995.
• [9] Verhaard L., Tretmans J. et. al.: On Asynchronous Testing. W: Protocol Test Systems V, North-Holland, 1993.
• [10] Brzeziński K. M.: On Common Meta-Linguistic Aspects of Intrusion Detection and Testing. Int. J. Information Assurance and Security (JIAS), 2(3):167–178, 2007.
• [11] Brzeziński, K. M.: Towards Practical Passive Testing. W: Parallel and Distributed Computing and Networks, Innsbruck, 2005.