Wyszukiwarka
Filtry
wszystkich: 802
-
Katalog
- Publikacje 603 wyników po odfiltrowaniu
- Osoby 51 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 6 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 124 wyników po odfiltrowaniu
- Wydarzenia 8 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: TESTOWANIE%20OPROGRAMOWANIA
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublikacjaArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
Praktyczne wykorzystanie modelu iso-9126 oraz narzędzi wspomagających proces testowania przy ocenie jakości oprogramowania
Publikacjadokument opisuje wykorzystanie modelu jakości oprogramowania iso-9126 do oceny jakości aplikacji do rozpoznawania osób i zdarzeń, przygotowanej w ramach unijnego projektu mayday euro 2012. zawiera przegląd wykorzystanych technik oraz narzędzi i sposób ich użycia przy ocenie jakości w zakresie funkcjonalności, niezawodności oraz łatwości utrzymania oprogramowania.
-
Testowanie jakości warystorów niskonapięciowych
PublikacjaW pracy przedstawiono budowę warystorów, z uwzględnieniem procesów zachodzących w ich strukturach i prowadzących do zmiany ich parametrów elektrycznych oraz wybrane sposoby testowania ich jakości.
-
Testowanie jakości warystorów niskonapięciowych
PublikacjaWarystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...
-
Testowanie jakości warystorów niskonapięciowych
PublikacjaWarystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...
-
Testowanie koncepcji nowych produktów metodą ankietową.
PublikacjaCelem pracy jest przedstawienie istoty i roli testowania koncepcji nowego produktu przy użyciu metody ankietowej. Szczególną uwagę zwrócono na sposób konstrukcji kwestionariusza w tak przeprowadzanym teście koncepcji.
-
Metody testowania platformy KASKADA
PublikacjaW rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.
-
Złote monety bulionowe – testowanie pasywnego charakteru inwestycji
PublikacjaCel – Wyznaczenie składu optymalnego portfela inwestycyjnego o minimalnym ryzyku, zawierającego inwestycję w polskie monety bulionowe (Orzeł Bielik) oraz inwestycję na polskiej giełdzie papierów wartościowych. Testowanie pasywnego charakteru inwestycji w monety. Metodologia badania – Konstrukcja portfeli inwestycyjnych o minimalnym ryzyku według teorii H.M. Markowitza. Autorska metoda badania pasywnego charakteru inwestycji...
-
Testowanie i diagnostyka układów w pełni różnicowych
PublikacjaZaproponowano tester wbudowany realizujący nowe podejście do testowania układów w pełni różnicowych, polegające na pobudzaniu układu sygnałem wspólnym i pomiarze wyjściowego napięcia różnicowego. Tester wykrywa uszkodzenia parametryczne i strukturalne, które powodują zaburzenie symetrii układu i w rezultacie wzrost wartości napięcia różnicowego. Przeprowadzono analizę właściwości diagnostycznych funkcji układowej, na której bazuje...
-
System wspierający testowanie platform telekomunikacyjnych czasu rzeczywistego
PublikacjaPublikacja ma na celu omówienie systemu, jaki został stworzony z myślą o testowaniu platform telekomunikacyjnych czasu rzeczywistego. System został zrealizowany jako na narzędzie, które jest w stanie w pełni automatycznie wykonywać testy oraz analizować ich wyniki, bez konieczności nadzorowania procesu egzekucji testów. Dokument zawiera opis struktury systemu, opartej na koncepcji agentów softwareowych, która pozwoliła na pełną...
-
Sieciowy system komputerowy wspomagający testowanie wiedzy uczniów
PublikacjaW referacie przedstawiono organizację sieciowego systemu komputerowego wspomagającego tworzenie i przeprowadzanie testów. Omówiono przypadki użycia systemu z punktu widzenia administratora sieci, nauczyciela i ucznia, a także przypadki wspólne dla wszystkich użytkowników systemu. Podano opis interfejsu dla poszczególnych grup użytkowników.
-
Metody projektowania ułatwiającego testowanie dla układów cyfrowych
PublikacjaPrzedstawiono przegląd metod ułatwiających testowanie DFT (Design for Testability) dla układów cyfrowych. Zaprezentowano metody stosowane na poziomie układów scalonych, pakietów oraz systemów elektronicznych. Pokazano heurystyczne metody projektowania pozwalające na zwiększenie sterowalności i obserwowalności układów oraz metody strukturalne, a wśród nich układy BILBO (Built-In Logic Block Observer), BIST (Built-In Self Test),...
-
Licencjonowanie oprogramowania
PublikacjaWolne i otwarte oprogramowanie przeżywa ostatnimi laty rozkwit. Co raz więcej przedsiębiorstw komercyjnych opiera rozwój swoich firm na otwartym oprogramowaniu. Zarówno mali, jak i duzi gracze mają świadomość komplikacji współczesnych systemów i niemożności samodzielnego ich rozwoju. Z pomocą przychodzi otwarte podejście do wytwarzania oprogramowania. Wymaga to jednak pewnego zrozumienia uwarunkowań prawnych, a w szczególności...
-
Teoria i praktyka testowania programów
PublikacjaKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7
PublikacjaPrzedstawiono opracowaną w grudniu 2009 r. cyfrową magistralę testującą IEEE 1149.7 przeznaczoną do testowania i debuggingu wielordzeniowych układów wbudowanych. W stosunku do magistrali IEEE1149.1, której jest rozszerzeniem, magistrala IEEE1149.7 zapewnia zredukowaną do dwóch liczbę wyprowadzeń, możliwość pracy w konfiguracji gwiazdowej, indywidualne adresowanie urządzeń, eliminację ze ścieżki brzegowej nieaktywnych układów, zarządzanie...
-
Wyniki testowania probabilistycznych modeli procesu pomiarowego
PublikacjaPrzedstawiono wyniki testowania dwóch probabilistycznych modeli procesu pomiarowego – prostego oraz złożonego z etapów obserwacji i restytucji. Testowanie przeprowadzono za pomocą zestawu miar ryzyka. W wyniku testów modelu dwuetapowego wykryto efekt kumulowania się prawdopodobieństwa na krańcach zakresu pomiarowego podczas inwersji funkcji rozkładu warunkowego, pogarszający dokładność oceny ryzyka dla większych wartości niepewności...
-
Proces wytwarzania oprogramowania
PublikacjaPraca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.
-
Technologie wytwarzania oprogramowania
PublikacjaPraca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.
-
Informacje uzyskiwane z testowania koncepcji nowych produktów
PublikacjaCelem pracy jest określenie i przegląd rodzajów informacji uzyskiwanych w typowych testach koncepcji nowych produktów oraz przedstawienie zastosowania tych informacji w praktyce gospodarczej przedsiębiorstw.
-
Strategie testowania i diagnostyki analogowych układów elektronicznych
PublikacjaPraca dotyczy testowania i diagnostyki analogowych układów elektronicznych metodami zorientowanymi na uszkodzenia. Omówiono źródła i klasyfikację uszkodzeń, strategie testowania wykorzystujące nadmiarowość analityczną i sprzętową, wewnątrzobwodowe testowanie pakietów elektronicznych oraz zastosowanie algorytmów klasyfikacji obrazów do lokalizacji uszkodzeń. Wynikiem prac w zakresie metod analitycznych jest opracowanie przyspieszonej...
-
Environmental degradation of titanium biomaterials: mechanisms, effects, testing and evaluation
PublikacjaPrzedyskutowano możliwe przyczyny oraz mechanizmy degradacji biomateriałów tytanowych, używanych jako długoterminowe implanty stawów. Dokonano przeglądu wpływu impalntów metalicznych w ludzkim ciele. Przedstawiono bieżące procedury badania oraz ich wady. Zaproponowano procedurę oszacowania biomateriałów na implanty.
-
Przegląd miar oceny oprogramowania
PublikacjaProblem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...
-
Strategia zapewnienia jakości oprogramowania.
PublikacjaW referacie zaproponowano strategię zapewnienia jakości oprogramowania, bazując na działaniach w następujących obszarach: określenie definicji jakości oraz sposobu weryfikacji jej osiągnięcia; dobór technik dotyczących poprawy produktu; poprawa procesu wytwarzania oprogramowania; podnoszenie kultury jakości organizacji.
-
Tradycyjne cykle życia oprogramowania
PublikacjaPraca prezentuje uznane i powszechnie stosowane cykle wytwarzania i ewolucjioprogramowania systemów informatycznych, takie jak cykl klasyczny (kaskado-wy), model V wytwarzania z zapewnianiem jakości, prototypowanie wymagań, mo-del spiralny i przyrostowy. Nieduży przykład ilustruje sposób doboru strate-gii wytwarzania.
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Testowanie koncepcji nowych produktów w niemieckich przedsiębiorstwach sprzętu gospodarstwa domowego
PublikacjaW artykule przedstawiono wyniki badania, odnośnie stosowania testowania koncepcji nowych produktów, przez niemieckich producentów sprzetu gospodarstwa domowego. Stwierdzono, że większość badanych firm stosuje testowanie koncepcji oraz, że występuje pozytywny związek pomiędzy stosowaniem tej metody a wynikami osiąganymi przy wdrażaniu nowych produktów.
-
Testowanie serwisów i infrastruktury teleinformatycznej aktywnej sieci geodezyjnej ASG-EUPOS
PublikacjaWzorem państw europy zachodniej Polska przystąpiła do rozwoju własnej aktywnej sieci geodezyjnej. Projekt ASG-EUPOS, obejmujący uruchomienie 98 stacji referencyjnych globalnych systemów pozycyjnych GPS i Glonass zrealizowano w latach: 2007-2008, Na przełomie maja i czerwca 2008 roku Główny Urząd Geodezji i Kartografii wyłonił konsorcjum naukowe, ktrórego zadaniem było przeprowadzenie kompleksowych testów serwisów pozycyjnych sieci...
-
Metody testowania wibracyjnego elementów wynoszonych w przestrzeń kosmiczną
PublikacjaW trakcie wynoszenia ładunku w rakiecie, poddawany jest on wielu obciążeniom, których efektem są m.in. jego drgania. Zanim element zostanie dopuszczony do wylotu, przeprowadzona musi zostać analiza obliczeniowa oraz ładunek musi zostać poddany testom zgodnie z normami. W pracy przedstawiono wstępne obliczenia metodą elementów skończonych, które wykazują, że obciążenia podczas testów są większe niż podczas lotu, co może otwierać...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi w układach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi wukładach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania
PublikacjaInterdyscyplinarna inżynieria oprogramowania jest nowym nurtem w inżynierii oprogramowania, który ma prowadzić do rozwiązania istniejących problemów poprzez badanie natury zjawisk i technik projektowych w kontekście interdyscyplinarnym. W referacie zidentyfikowano podstawowe zagadnienia metodologiczne, które należy wziąć pod uwagę w celu efektywnego prowadzenia badań oraz przeprowadzono ich dyskusję. Następnie podjęto próbę wyodrębnienia...
-
Internetowy system oceny jakości oprogramowania
PublikacjaPrzedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....
-
Pomiar rozmiaru i prcochłonności oprogramowania
PublikacjaZależność pomiędzy rozmiarem wytworzonego oprogramowania a pracochłonnością jest istotną wskazówką dla skutecznego planowania procesu wytwórczego oraz konstruowania harmonogramów. W referacie skupiono się na fragmencie tego problemu dotyczącą miar oraz technik pomiaru rozmiaru i pracochłonności związanych z realizacją przedsięwzięcia informatycznego. Przedstawiono główne miary rozmiaru i pracochłonności oraz zaprezentowano narzędzie...
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
Platforma KASKADA - proces wytwarzania oprogramowania
PublikacjaZostał przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...
-
Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania
PublikacjaPoniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...
-
Wykorzystanie potencjometrów cyfrowych do testowania metod dynamicznej spektroskopii impedancyjnej
PublikacjaPrzedmiotem artykułu jest opracowanie modelu układu elektrochemicznego o zmiennej w czasie impedancji. Do konstrukcji modelu wykorzystano potencjometry cyfrowe sterowane mikrokontrolerem, pozwala to programowo kontrolować zmiany impedancji modelu. Odpowiednie ukształtowanie zmian widm impedancyjnych w funkcji czasu (impedancjogramów) pozwala na ustalenie ograniczeń różnych metod pomiaru impedancji.
-
Problem tolerancji w testowaniu elektronicznych układów w pełni różnicowych
PublikacjaRozrzuty tolerancyjne silnie wpływają na proces decyzyjny, oparty na testowaniu w pełni róznicowych układów elektronicznych metodą zorientowaną na uszkodzenia. Skutkiem tolerancji są napięcia rezidualne w nieuszkodzonym układzie testowanym, oraz niepewność progu komparacji w układzie testującym. W rezultacie pojawia się ryzyko błędnej diagnozy. W artykule dokonano syntezy probabilistycznego modelu odpowiedzi układu testowanego...
-
Zastosowanie danych syntetycznych do testowania algorytmów detekcji potencjałów wzrokowych.
PublikacjaDetekcja wywołanych potencjałów wzrokowych w perymetrii wymaga opracowania i zaaplikowania efektywnych algorytmów analizy EEG. Krokiem pośrednim, umożliwiającym ocenę przydatności nowego algorytmu może być modelowa symulacja sygnałów. Przedstawiona praca dotyczy badań modelowych będących krokiem pośrednim we wdrażaniu nowego algorytmu detekcji potencjałów wzrokowych w celu doskonalenia techniki badania perymetrycznego.
-
Rozległe sieci badawcze dla testowania rozwiązań nowych generacji internetu
PublikacjaDokonano przeglądu rozległych infrastruktur badawczych tworzonych w ramach projektów naukowo-badawczych na potrzeby testowania i walidacji proponowanych rozwiązań dla nowych generacji Internetu. W szczególności przedstawiono zapotrzebowanie środowisk badawczych dla korzystania z sieci testowych oraz pokrótce omówiono najważniejsze projekty infrastrukturalne realizowane w ramach 7. Programu Ramowego Unii Europejskiej i ich kontynuację w...
-
Wybrane aspekty testowania automatycznych synchronizatorów prądnic w czasie rzeczywistym
PublikacjaW artykule przedstawiono wybrane aspekty związane z testowaniem automatycznych synchronizatorów prądnic w czasie rzeczywistym oraz w warunkach pracy zbliżonych do rzeczywistych. Omówiono metodykę prowadzenia badań, architekturę sprzętową urządzenia testującego oraz podsystemy tworzące strukturę oprogramowania. Ponadto wskazano na celowość stosowania takich urządzeń na rzeczywistych obiektach elektroenergetycznych oraz omówiono...
-
Testowanie wybranych kryteriów zabezpieczeniowych przekaźników zabezpieczeniowych SN z wykorzystaniem standardu IEC 60255
PublikacjaBadania oparte na standardzie IEC 60255 mają postać szeregu testów wymaganych oraz opracowanych na podstawie owego standardu. Testom zostały poddane wybrane funkcje zabezpieczeniowe zaimplementowane w testowanych przekaźnikach zabezpieczeniowych REF 615 firmy ABB. Celem było porównanie otrzymanych wartości z deklarowanymi przez producenta oraz wyznaczenie zależności w funkcji rożnych, zmiennych warunków testowych.
-
Druga edycja Konferencji Inżynierii Oprogramowania beIT
PublikacjaW dniach 18–20 marca 2016 roku na Wydziale Elektroniki, Telekomunikacji i Informatyki odbyła się II Konferencja Inżynierii Oprogramowania beIT. Podobnie jak pierwszą edycję Konferencji beIT, tegoroczne spotkanie zorganizowało Koło Naukowe Zarządzanie IT przy wsparciu Katedry Inżynierii Oprogramowania, WETI oraz JM Rektora PG. Do przeprowadzenia 15 warsztatów, 4 sesji dyskusyjnych round tables oraz 5 wykładów organizatorzy zaprosili...
-
Zastosowania metody HAZOP w inżynierii oprogramowania.
PublikacjaArtykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania
PublikacjaPraca rozpatruje współczesne problemy wytwarzania oprogramowania. Jednym zesposobów ich rozwiązywania jest uwzględnienie zagadnien ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki projektu, wpływu projektu na ludzi biorących w nim u- dział i otaczających go. Autorzy przytaczają niektóre...
-
RDQC - sterowana wymaganiami kontrola jakości oprogramowania
PublikacjaArtykuł omawia metodę RDQC sterowania jakością wytwarzanego oprogramowania w oparciu o zbiór stawianych mu wymagań. W tym celu dokonywana jest specyfikacja wymagań wobec oprogramowania, stanowiąca następnie podstawę dla wybrania najbardziej istotnych charakterystyk jakościowych. W kolejnych fazach procesu wytwórczego wybrane charakterystyki podlegają kontroli - poprzez interpretację odpowiedzi na przypisane im pytania i pomiary...
-
Logika opisowa jako język modelowania oprogramowania
PublikacjaW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Ewolucyjna minimalizacja poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych
PublikacjaW artykule przedstawiono zastosowanie algorytmu ewolucyjnego do minimalizacji poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych. Przy użyciu proponowanej metody dokonano wyboru kolejności podawania na wejścia układu wektorów testowych, aby liczba przełączeń bramek wchodzących w jego skład była jak najmniejsza. Pod uwagę wzięto cztery układy wybrane z literatury. Otrzymane wyniki wskazują, że możliwe jest...
-
Stanowisko dydaktyczne do testowania i diagnostyki układów w pełni różnicowych
PublikacjaPrzedstawiono stanowisko dydaktyczne, przeznaczone do laboratorium z przedmiotu zaawansowane Metody pomiarowe i diagnostyczne. Na stanowisku studenci zapoznają się z testerem wbudowanym, który jest przykładem wdrożenia strategii projektowania dla testowania.
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublikacjaW artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...