Wyniki wyszukiwania - BazTech

1

Analyzing Compatibility of Services via Resource Conformance

Lomazova I.A., Romanov I. V.

Fundamenta Informaticae

|

2013

|

Vol. 128, nr 1-2

129--141

EN

In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services-a necessary condition for the service compatibility. Resources, which are produced/consumed by a service, are represented as a multiset language. We define an algebra of multiset languages and present algorithms for checking conformance of resources for two given well-structured workflow modules.

2

On Testing IPv6 in Small ISP's Networks

Sienkiewicz K., Gajewski M., Batalla J. M.

Journal of Telecommunications and Information Technology

|

2011

|

nr 2

37-42

EN

Testing process allows to detect potential faults of implementation of IPv6 in the phase preceding migration, thus minimizing the risk of problems in IPv6 deployment. In general the IPv6 tests should be performed by all network providers, however the test range should fit their needs. It causes that test range for small network operators (offering basic set of services) could be limited in comparison to larger ISPs. In this paper, we propose an approach to IPv6 tests with regard to IPv6 deployment by small operators. We present tools and specifications for IPv6 tests and propose a test platform optimized to small ISP's needs. The test platform is a dedicated LiveCD distribution based on FreeBSD operating system with IPv6 test environment and set of pre-defined tests. An advantage of this solution is the ability to launch the test tool software on any computer equipped with an Ethernet card and CD-ROM/DVD-ROM drive. LiveCD test tool allows users to execute tests and analyze the results in graphical environment.We believe that this approach will help to simplify and shorten the IPv6 testing process in small ISP's networks.

3

Testowanie zgodności wyrobów z normami serii ISO 19100 oraz oznaczanie znakiem zgodności PN

Zwirowicz A.

Roczniki Geomatyki

|

2009

|

T. 7, z. 4

77-83

EN

Building of Spatial Data Infrastructures requires using ISO 19100 series standards. There are many doubts about practical approach to the subject in the proposed models, processes and services. No attention is paid to the need of the conformance testing of applications to the ISO 19100 series standards. The author analyzes the kinds of conformance tasting to ISO 19100 series standards, and the concepts and methodology of compliance testing. Also, the practical approach realized by PKN, ISO/CASO and OGC of compliance testing to standards and implementation specifications is presented in the paper, which can be helpful to establish some rules and organizational and subject solutions of conformance testing to ISO standards at national level. Due to free and unspecified approach of applications' suppliers to the required conformance to ISO 19100 series standards, there is no guarantee of real conformance of implementations to the ISO geographic information standards and that is why there is the need to establish some procedures and abstract test suites to test conformance.

4

Ensuring interoperability of command and control information systems - new ways to test conformance to the MIP solution

Bau N., Gerz M., Glauer M.

Journal of Telecommunications and Information Technology

|

2008

|

nr 2

5-13

EN

In the Multilateral Interoperability Programme (MIP), 25 nations and NATO develop consensus-based, system-independent specifications to achieve semantic interoperability among distributed and heterogeneous command and control information systems (C2ISs). Implementing a distributed system is a complex and error-prone task. Therefore, extensive and efficient testing of the nationalMIP implementations is critical to ensure interoperability. For MIP baseline 3, Research Institute for Communication, Information Processing, and Ergonomics (FKIE) develops a test system that checks the conformance of national C2ISs with regard to the MIP specifications. It aims at reducing the testing effort and in- creasing the quality of MIP-compliant C2IS by automating the testing process. For that purpose, formal and executable test cases are specified. The test system is used as the MIP Test Reference System (MTRS) for the official MIP system level tests. In this paper, we motivate the development of the MTRS and describe the underlying testing approach. The client-server architecture and the test language are described in detail. Finally, the status quo and an outlook on future enhancements are given.