Filters
total: 820
-
Catalog
Search results for: TESTOWANIE%20OPROGRAMOWANIA
-
Analysis of scattering from arbitrary configuration of elliptical obstacles using T-matrix representation
PublicationW artykule przedstawiono nową metodę analizy zjawiska rozpraszania dla dowolnej konfiguracji obiektów eliptycznych. Przedstawione podejście, dotyczącego pojedynczego obiektu, oparte jest na połączeniu analizy w układzie eliptycznym i cylindrycznym. W analizie wielu obiektów wykorzystana została procedura iteracyjna. Uzyskane wyniki zostały zweryfikowane przy wykorzystaniu oprogramowania komercyjnego.
-
Open tools for benthic habitat mapping: study of seagrass (posidonia oceanica) in the natural park of Cabo de Gata
PublicationW artykule przedstawiono koncepcję wykorzystania otwartego oprogramowania dostępnego poprzez interfejs WWW służącego do analizy materiału zebranego przez echosondy jednowiązkowe i sonary boczne pod kątem klasyfikacji rozmiaru wystąpienia traw morskich Posidonia Oceanica. Jako przyklad przedstawiono analizę danych z sonaru bocznego zebranych w zatoce Cabo de Gata.
-
Współczesne możliwości analizy statycznej i dynamicznej mostów stalowych
PublicationW referacie przedstawiono współczesne możliwości analizy mostów stalowych w odniesieniu do komercyjnego oprogramowania inżynierskiego. Podano możliwości i przykłady modelowania struktur przestrzennych różnymi typami elementów. Zaprezentowane przykłady pochodzą z rzeczywistych analiz wykonanych na potrzeby prac badawczych, ekspertyz lub projektów zrealizowanych przez autora i jego współpracowników.
-
Modelowanie fizyczne i numeryczne procesów cieplno-przepływowych w kotle z tangencjalną komorą spalania.
PublicationPraca przedstawia metodologię modernizacji kotła pyłowego z tangencjalną komorą spalania w aspekcie ograniczenia emisji toksycznych składników węgla,siarki i azotu oraz doboru optymalnych parametrów termodynamicznych mieszania i spalania. W tym celu wykorzystano eksperymentalne modelowanie fizyczne kwasowo-zasadowe i uzupełniono je symulacjami numerycznymi z zastosowanie moprogramowania Fluent.
-
Metoda diagnostyki uszkodzeń parametrycznych w mieszanych sygnałowo mikrosystemach elektronicznych.
PublicationZaproponowano nowe podejście samo-testowania sieci analogowych w mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami oparte na zmodyfikowanej metodzie 2D. Cechuje się ono prostymi i łatwymi w implementacji algorytmami diagnostycznymi, które z powodzeniem można zaimplementować w prostych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą...
-
Ornamentacja a manipulacja
PublicationW dziedzinie twórczości architektonicznej XXI wieku – daje się zauważyć nowa fala testowania możliwości zdobycznych tkwiących zarówno w materiałach elewacyjnych jak i elementach konstrukcji, włączająca w proces kreacji nieograniczone możliwości technologiczne hybryzacji grafiki i fotografii. Na tym tle uwidacznia się strategia manipulacji estetycznej, której adresatem jest społeczny odbiorca architektury współczesnej. Agresywność...
-
Diagnosis of fully differential circuits based on a fault dictionary implemented in the microcontroller systems
PublicationPrzedstawiono nową koncepcję testera wbudowanego bist przeznaczonego do diagnostyki w pełni różnicowych układów analogowych implementowanych w mikrosystemach mieszanych sygnałowo. w trakcie testowania mierzona jest amplituda i faza wyjściowego napięcia różnicowego. procedura detekcji i lokalizacji uszkodzeń bazuje na słowniku uszkodzeń przechowywanym w pamięci programu mikrokontrolera. korzystną cechą przestrzeni pomiarowej wyznaczonej...
-
BADANIE ENDOSKOPOWE PRZESTRZENI ROBOCZEJ SILNIKA O ZAPŁONIE SAMOCZYNNYM Z WSTĘPNĄ KOMORĄ SPALANIA
PublicationW artykule podjęto zagadnienie diagnostyki endoskopowej przestrzeni roboczych tłokowych silników spalinowych. Scharakteryzowano endoskopową aparaturę diagnostyczną będącą na wyposażeniu bazy laboratoryjnej Katedry Siłowni Morskich i Lądowych Wydziału Oceanotechniki i Okrętownictwa Politechniki Gdańskiej. Przybliżono metodykę realizacji badań endoskopowych na przykładzie laboratoryjnego silnika o zapłonie samoczynnym z wstępną komorą...
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2023
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2021
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2024
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Modeling of polarimetric sensors using LabVIEW environment
PublicationW artykule przedstawiono program do modelowania światłowodowych sensorów polarymetrycznych. Program ten, stworzony w środowisku LabVIEW, wyznacza odpowiedź nieidealnego światłowodowego sensora polarymetrycznego na siłę działającą na przetwornik pomiarowy. Omówiono problemy występujące w procesie tworzenia oprogramowania do modelowania zjawisk fizycznych w graficznym środowisku programistycznym. Przedstawiono wybrane wyniki modelowania.
-
Mobilne stanowisko pomiarowe do badań propagacyjno-zasięgowych
PublicationW artykule przedstawiony został schemat blokowy mobilnego stanowiska pomiarowego, ze szczególnym uwzględnieniem wymagań normatywnych stawianych aparaturze pomiarowej oraz procedurom pomiarowym. Ponadto zaprezentowany został algorytm oprogramowania konfigurującego odbiornik pomiarowy oraz sterującego procesem przeprowadzania pomiarów. W podsumowaniu skrótowo przedstawiono wyniki dotychczasowych badań pomiarowych przeprowadzonych...
-
Dariusz Kobiela mgr inż.
People -
High yield expression and single step purification of Toxoplasma gondii SAG1, GRA1, GRA7 antigens in Escherichia coli.
PublicationPraca przedstawia metodę uzyskiwania antygenów rekombinowanych Toxoplasmagondii o wysokiej czystości, które można zastosować w immunodiagnostyce. Antygeny T. gondii eksprymowane w komórkach E. coli zawierały polihistydynowedomeny fuzyjne na końcu N i C białka. Pozwalało to na jednoetapowe oczyszczanie białek metodą chromatografii metalopowinowactwa na złożu Ni2+ -IDA-Sepharose. Immunoreaktywność antygenów rekombinowanych...
-
Investigation of some taste substances using a set of electrodes with lipid-modified membranes.
PublicationSkonstruowano 5-cio kanałaowy sensor smaku oparty na elektordach jonoselektywnych z membranami polimerowymi modyfikowanymi lipidem. Badano potencjał elektrod w roztworach kwaśnych zawierających różne stężenie kwasu cytrynowego, solnego i octowego. Sensor jest czuły na stężenia substancji kwaśnych z wyjątkiem kwasu octowego. Testowano nowy typ elektrod zawierających polimer przewodzący PEDT/PSS i kwas oleinowy. Stwierdzono, że...
-
Bioaktywność i biofunkcyjność cementu kostnego
PublicationOpracowanie dotyczy modyfikacji cementu kostnego w celu nadania mu właściwości bioaktywnych i biofunkcyjnych. Jego celem jest scharakteryzowanie cementu kostnego oraz obecnie stosowanych dodatków, któr e nadają mu właściwości przeciwdrobnoustrojowe oraz osteointegracyjne. Opracowanie zawiera opis badań własnych przeprowadzonych przez autorkę w aspekcie wytwarzania powłoki antybakteryjnej...
-
Automatyczne odczytywanie napisów z diagnostyką ich ważności
PublicationPrzedstawiono koncepcję urządzenia wykrywającego i odczytującego napisy z przeznaczeniem dla osoby niewidomej. Zaprezentowano problemy jakie pojawiają się przy konstruowaniu takiego urządzenia i sposoby ich przezwyciężenia. Przedyskutowano ponadto schemat funkcjonalny oprogramowania sterującego takim urządzeniem. Dodatkowo opisano metodę badania podobieństwa figury do litery lub cyfry opartą na odwzorowaniu maksymalnego kwadratu...
-
Komputerowy symulator metod i algorytmów w procesie synchronizacji obiektów elektroenergetycznych
PublicationW artykule opisano metody synchronizacji oraz strukturę opracowanego i wykonanego, dla celów badawczych, symulatora metod i algorytmów synchronizacji. Przedstawiono strukturę blokową symulatora i jej powiązanie z procesem synchronizacji prądnic, opisano architekturę oprogramowania symulatora oraz wskazano na jego znaczne możliwości podczas realizacji badań oraz na dużą użyteczność praktyczną tego systemu.
-
Realizacja bezprzewodowej sieci czujników w standardzie ZigBee
PublicationPrzedstawiono koncepcję budowy bezprzewodowej sieci ZigBee, z wykorzystaniem mikrokontrolerów firmy MicroChip Technology Inc. oraz modułów radiowych wykonanych na układzie CC2420 i pracujących w paśmie częstotliwości 2,5GHz. Podano szczegóły dotyczące opracowanego oprogramowania realizującego zadania routingu. Opisano najistotniejsze problemy techniczne, jakie pojawiają się przy realizacji sieci bezprzewodowej w tym standardzie.
-
System ewidencji wspomagający pracę dziekanatu bazujący na środowisku DELPHI i SQL.
PublicationNiniejszy artykuł przedstawia projekt systemu bazy danych na przykładzie aplikacji Student 2003'. Przedstawiono w nim m.in.: charakterystykę tworzenia oprogramowania w Delphi, funkcjonowanie aplikacji na serwerze Interbase, tworzenie bazy danych w języku SQL (tworzenie pliku bazy danych, tabel), tworzenie zapytań, procedur zapamiętanych, obsługę procedur zapamiętanych w Delphi, mechanizm transakcji.
-
Klasyfikacja metod modelowania procesów biznesowych
PublicationW rozdziale podjęto próbę klasyfikacji metod modelowania procesów biznesowych uwzględniając złożoność metody, cel modelowania oraz zakres modelowanych aspektów organizacji. Zawarto także opis popularnych diagramów używanych w metodologiach modelowania procesów bitznesowych. Wyjaśniono przy tym podstawowe pojęcia związane z modelowaniem procesów biznesowych w kontekście inżynierii oprogramowania oraz zarzadzania procesami biznesowymi.
-
Metoda wyboru informacji z dedykowanych zbiorów danych
PublicationPoszukiwanie skutecznych metod wyboru informacji wynika z obserwowanego obecnie nadmiaru danych. W artykule opisana jest metoda GQM wykorzystywana w informatyce między innymi do budowy wielowymiarowej funkcji jakości oprogramowania. W artykule wykazano, że metoda ta może być również wykorzystana do poszukiwania i wyboru danych z dedykowanych zbiorów informacji dziedzinowych.
-
Zastosowanie niedrogich modułów bezprzewodowych do sterowania oświetleniem
PublicationW artykule zaprezentowano niedrogi system zdalnego sterowania oświetleniem w budynku. Dokonano krótkiego przeglądu dostępnych na rynku, gotowych rozwiązań. Zaproponowano własną strukturę sterowania wykorzystując tanie moduły bezprzewodowe. Przedstawiono projekt najistotniejszych elementów systemu. Omówiono sposób oprogramowania modułów oraz nadrzędną aplikację sterującą. Artykuł zawiera ocenę systemu, z uwzględnieniem możliwości...
-
STEROWANIE I MONITOROWANIE SIECI WYDZIELONEJ Z ODNAWIALNYMI ŹRÓDŁAMI ENERGII
PublicationW artykule przedstawiono zagadnienia związane z opracowaniem dedykowanego oprogramowania systemu sterowania i monitorowania odnawialnymi źródłami energii w sieci wydzielonej. Do implementacji systemu wykorzystano stanowisko laboratorium Systemów Sterowania w Energetyce Odnawialnej Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej. Opracowane oprogramowanie wykorzystuje platformę Windows Presentation Foundation oraz wzorzec...
-
ROZPROSZONY SYSTEM KOMUNIKACJI I NADZORU DLA MORSKIEGO ODDZIAŁU STRAŻY GRANICZNEJ – PROJEKT STRADAR
PublicationSystem STRADAR to wynik realizacji projektu, którego gestorem jest MO SG. Był on współfinansowany przez NCBiR. W artykule opisano system, przedstawiając ogólną koncepcję, architekturę, elementy funkcjonalne i realizację oprogramowania zainstalowanego w tych elementach. Krótko scharakteryzowano także testy, jakim poddano system, który na tym etapie – jako całość – osiągnął VII poziom gotowości technologii.
-
Projekt Grupowy
e-Learning CoursesInformatyka II st., sem. 1-2 (projekty realizowane w Katedrze Inżynierii Oprogramowania)
-
Zastosowanie komputerowej symulacji w procesie kształcenia inżyniera branży sanitarnej
PublicationObecnie warsztat pracy współczesnego inżyniera znacznie się zmienił w wyniku dynamicznego rozwoju programów komputerowych do symulacji kinetyki procesów biochemicznych w oczyszczalniach ścieków. Chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy uczelnie techniczne powinny ściśle współpracować z firmami oferującymi oprogramowanie do komputerowej symulacji procesów osadu czynnego. Zastosowanie...
-
Nowoczesny system sterowania układem samoczynnego załączania rezerwy zasilania
PublicationW artykule, dla przykładu układu samoczynnego załączania rezerwy (SZR) zasilania o zadanej strukturze i diagramie łączeń, przedstawiono nowoczesny system sterowania tym układem SZR. Omówiono algorytm i program sterowania oraz wizualizację działania układu. Program sterowania i wizualizację opracowano w oprogramowaniu narzędziowym easy Soft CoDeSys ver.2.3.5.8. Przejrzystą strukturę programu sterowania osiągnięto dzięki opracowaniu...
-
Rockfin na Politechnice Gdańskiej – spotkanie stacjonarne
Events11 maja br. Biuro Karier PG oraz Wydział Inżynierii Mechanicznej i Okrętownictwa zaprasza studentów i absolwentów PG na spotkanie z przedstawicielami firmy Rockfin Sp. z o.o.
-
The Role of Analysis Patterns in Systems Analysis
PublicationWzorce analizy są techniką, która ma wspomagać analizę systemów.W referacie zaprezentowano analizę cech charakterystycznych wzorców analizy oraz przegląd zagadnień związanych z zastosowaniem ich w procesie wytwarzania oprogramowania. Następnie przedstawiono metodę analizy systemów z zastosowaniem wzorców analizy oraz studium przypadku analizy z wykorzystaniem wzorców analizy dla systemu wspomagającego małą przychodnię lekarską.
-
Physical and numerical modelling of heat-flow processes in tangentially pulverized fuel-fired boiler
PublicationPraca przedstawia wykorzystanie eksperymentalnego modelowania fizycznego kwasowo-zasadowego do modernizacji kotła pyłowego z tangencjalną komorą spalania w aspekcie ograniczenia emisji toksycznych składników węgla, siarki i azotu oraz doboru optymalnych parametrów termodynamicznych mieszania i spalania. Dodatkowo, w celu porównania wyników pomiarów kotła po modernizacji, wykonano obliczenia numeryczne z zastosowaniem oprogramowania...
-
Finite-state lexical tools
PublicationArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
Projekt grupowy w kształceniu studentów Informatyki - doświadczenia na Wydziale ETI Politechniki Gdańskiej.
PublicationProjekt grupowy stanowi uznaną, efektywną metodę kształcenia w zakresie inżynierii oprogramowania. W referacie omówiono założenia, organizację, kształt procesu projektowego, wzorce dokumentacyjne i wsparcie narzędziowe wypracowane w czasie kilkuletniej realizacji zajęć Projektu Grupowego na Wydziale ETI PG. Prezentowane wzorce i doświadczenia powinny okazać pomocne przy zamierzonym wprowadzeniu Projektu Grupowego do programu studiów.
-
Efektywność metod modelowania systemów z perspektywy praktyki w firmach informatycznych.
PublicationEfektywność zastosowań metod modelowania i narzędzi CASE ma wpływ na wskaźniki ekonomiczne projektu oraz satysfakcję z pracy postrzeganą przez ich użytkowników - wykonawców oprogramowania. W referacie zaprezentowano ankietę do badań tej efektywności w praktyce względem oczekiwań propagatorów tej technologii oraz obecnych trendów. Przedstawiono również wyniki badań przeprowadzonych w kilku firmach informatycznych.
-
Zintegrowane środowiska projektowania aplikacji internetowych.
PublicationZintegrowane środowiska, umożliwiające analizę, projektowanie i implementację aplikacji, stanowią wymarzone narzędzie pracy każdego inżyniera oprogramowania. Opisano próby dostarczenia takiego środowiska w postaci Borland Delphi 5.0 oraz w postaci Rational XDE - środowiska projektowania w UML przeznaczonego do integracji z istniejącymi środowiskami implementacji, takimi jak Microsoft Visual Studio.NET i IBM Web Sphere...
-
Numeryczne projektowanie urządzeń cieplno-przepływowych, W, MiBM, sem. 5, zimowy 22/23
e-Learning CoursesPrzedstawienie studentom wykorzystania oprogramowania komputerowego CFD jako narzędzi do projektowania urządzeń cieplno-przepływowych.
-
Projektowanie oprogramowania systemów - projekt - KSE+OPTO - 2024
e-Learning CoursesZajęcia projektowe dla specjalności Komputerowe Systemy Elektroniczne i Optoelektronika Realizacja zadania programistycznego z wykorzystaniem metod i narzędzi poznanych w ramach wykładu z przedmiotu "Projektowanie oprogramowania systemów".
-
Programowy generator strumieni pakietów
PublicationTestowanie rzeczywistych urządzeń IP QoS wymaga źródeł ruchu o różnych charakterystykach ruchowych i informacyjnych umożliwiających przeprowadzenie badań dla skrajnych obciążeń. Równoznaczne to jest z generowaniem strumieni pakietów o dużych przepływnościach. Profesjonalne generatory sprzętowe są bardzo drogie i często dla pełnego przeprowadzenia badań konieczny jest zestaw większej liczby takich generatorów. Rozwiązaniem może...
-
Źródła informacji rynkowych a cechy jakościowe informacji
PublicationCelem pracy jest określenie, w jaki sposób rodzaj źródła informacji rynkowych oddziałuje na cechy jakościowe tych informacji. Wzięto pod uwagę trzy rodzaje źródeł informacji rynkowych – nabywców, konkurentów oraz, jako odrębną grupę, inne podmioty rynkowe (np. pośredników, dostawców), a także cztery istotne cechy jakościowe informacji − rzetelność, kompletność, przydatność i aktualność. Za pomocą modeli równań strukturalnych weryfikowano...
-
Techniki audytowania zabezpieczeń sieci bezprzewodowej z wykorzystaniem systemów klasy grid
PublicationZaprezentowano efektywne zasady weryfikacji zabezpieczeń sieci bezprzewodowych z wykorzystaniem oprogramowania Back/Track w dystrybucji systemu Linux. Omówiono algorytmy RC4, MIC i AES, które wspierają techniki zabezpieczeń WEP, WPA i WPA2 wchodzące w skład protokołu IEEW 802.11. Zamieszczano także opis wykorzystania systemu rozproszonego Comcute o architekturze typu grid do prowadzenia audytu bezprzewodowej sieci.
-
Automatyzacja badań propagacyjno-zasięgowych
PublicationW referacie przedstawiony został schemat blokowy mobilnego stanowiska pomiarowego służącego do automatyzacji badań propagacyjno-zasięgowych, ze szczególnym uwzględnieniem wymagań normatywnych stawianych aparaturze pomiarowej oraz procedurom pomiarowym. Ponadto zaprezentowany został algorytm oprogramowania konfigurującego odbiornik pomiarowy oraz sterującego procesem przeprowadzania pomiarów. W podsumowaniu skrótowo przedstawiono...
-
Architektura stosu technologicznego warstwy aplikacji systemu RSMAD
PublicationW pracy omówiono architekturę systemową oraz strukturę stosu technologicznego warstwy aplikacji Radiowego Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradaro-wych (w skrócie RSMAD). Przedstawiono również kluczowe komponenty programowe tworzące ten system, wskazując m.in. na podstawowe funkcje realizowane przez nie w systemie RSMAD. W pracy przedstawiono także dekompozycję warstwową oprogramowania systemu RSMAD.
-
Internetowy system udostępniania obrazów i produktów fotogrametrycznych (ISUOiPF)
PublicationArtykuł poświęcony jest realizacji projektu informatycznego, mającego na celu budowę internetowego systemu udostępniania obrazów fotogrametrycznych. Autorzy przedstawili w nim założenia, jakie zostały przyjęte w czasie planowania oraz projektowania. W publikacji można znaleźć informacje na temat budowy oprogramowania, jak również sposobu jego działania oraz udostępnionej funkcjonalności. Przedstawione zostały również możliwe kierunki...
-
Inteligentne systemy agentowe w systemach zdalnego nauczania
PublicationW pracy omówiono inteligentne systemy agentowe w systemach zdalnego nauczania. Po krótkim przedstawieniu ewolucji systemów zdalnego nauczania i ich wybranych zastosowań, scharakteryzowano inteligentne agenty edukacyjne. Omówiono wykorzystanie programowania genetycznego oraz algorytmów neuro-ewolucyjnych do implementacji oprogramowania tej klasy. Ponadto, nawiązano do modelu Map-Reduce, który efektywnie wspiera architekturę nowoczesnego...
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublicationArtykuł przedstawia doświadczenia związane z doskonaleniem procesu testowania złożonego systemu internetowego, którego kluczowy element stanowi aplikacja kliencka wykonana w technologii AJAX. Podjęte działania ukierunkowane na zapewnienie jakości, w tym wysokiej niezawodności, doprowadziły do powstania obszernego zbioru przypadków testowych. Wraz z rozwojem systemu przypadki testowe podlegały ewolucji. Początkowo wykonywane były...
-
Środowisko sieci IP jako platforma edukacyjna
PublicationOgólnoświatowa sieci Internet oraz mechanizmy umożliwiające jej funkcjonowanie, od początku swojego istnienia zostały zaprojektowane z myślą o gromadzeniu, przechowywaniu, udostępnianiu i wymianie informacji, doświadczeń i wiedzy. Nic więc dziwnego, iż bardzo szybko znalazły zastosowanie nie tylko jako narzędzie wspierające badania naukowe, lecz także jako środowisko pozwalające efektywnie realizować zróżnicowane zadania dydaktyczne....
-
Zastosowanie probabilistycznego modelu pomiaru do wyznaczania miar jakości testu
PublicationZaproponowano dwie szybkie metody wyznaczania probabilistycznych miar jakości testu na etapie projektowania, opracowane pod kątem zastosowań w testowaniu analogowych układów elektronicznych. Pierwsza analityczna metoda bazuje na dwóch modelach probabilistycznych - modelu pomiaru oraz modelu odpowiedzi układu testowanego na pobudzenie sygnałem testującym. Druga jest metodą Monte Carlo wydatnie przyspieszoną poprzez zastąpienie procesu...
-
Wybrane problemy modelowania obiektów technicznych : Chosen problems in the modeling of technical objects
PublicationBudowa modeli obiektów technicznych połączona z identyfikacją przyjętych wstępnie parametrów oraz diagnostyką weryfikacyjną porównującą obiekt z modelem w celu sprawdzenia rzeczywistych przedziałów wartości istotnych właściwości obiektu, jest cyklicznym procesem udoskonalającym zarówno model, jak również kolejne wersje obiektu rzeczywistego. Wirtualne programy w pamięciach komputerowych pozwalają projektantom na sprawdzenie swojego...
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł 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,...