Search results for: CONFORMANCE MONITORING

• Measurement Automation Monitoring

  Journals

  ISSN: 2450-2855

• Comparative conformance cases for monitoring multiple implementations of critical requirements

  Publication

  • J. Górski
  • A. Jarzębowicz
  • J. Miler

  - Year 2013

  The paper presents the concept and the mechanism of comparative conformance cases which support conformance monitoring in situations where a standard or other set of requirements are being implemented at multiple sites. The mechanism is enabled by NOR-STA services which implement the TRUST-IT methodology and are deployed in the cloud in accordance with the SaaS model. In the paper we introduce the concept of comparative conformance...

  Full text available to download

• ENVIRONMENTAL MONITORING AND ASSESSMENT

  Journals

  ISSN: 0167-6369 , eISSN: 1573-2959

• Conformance testing of parallel languages

  Publication

  • Ł. Garstecki
  • P. Kaczmarek
  • H. Krawczyk
  • B. Wiszniewski

  - Year 2002

  Przedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.

• Validation of Services Supporting Healthcare Standards Conformance

  Publication

  • J. Górski
  • A. Jarzębowicz
  • J. Miler

  - Metrology and Measurement Systems - Year 2012

  The paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...

  Full text available to download

• Testing for conformance of parallel programming pattern languages

  Publication

  • Ł. Garstecki
  • P. Kaczmarek
  • J. C. D. Kergommeaux
  • H. Krawczyk
  • B. Wiszniewski

  - LECTURE NOTES IN COMPUTER SCIENCE - Year 2002

  This paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.

• Generation of conformance test suites for parallel and distributed languages and APIS.

  Publication

  • Ł. Garstecki

  - Year 2003

  Artykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...

• Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.

  Publication

  • Ł. Garstecki

  - Year 2004

  Artykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...

• Global monitoring system of cargo containers = Globalny system monitoringu ładunków kontenerowych

  Publication

  • R. Katulski
  • J. Stefański
  • J. Sadowski
  • S. J. Ambroziak
  • B. Miszewska

  - Year 2009

  W artykule przedstawiony został opis globalnego systemu monitoringu ładunków kontenerowych, ze szczególnym uwzględnieniem roli odgrywanej przez Inteligentny Moduł Kontenerowy w samoorganizującej się sieci monitorującej.

• Effective methods for functional confermance testing of parallel and distributed programming libraries.

  Publication

  • Ł. Garstecki

  - Year 2004

  Rozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...