- Obecnie brak na stanie
Dick Hamlet, Joe Maybee
| Autorzy: Dick Hamlet, Joe Maybee ISBN: 83-204-2844-0 Format: B5, 540 str. Twarda oprawa Wydawnictwo: WNT |
| O książce |
| Książka, w której problemy związane z procesem wytwarzania oprogramowania omówiono od strony praktycznej. Książka jest podzielona na cztery części. W pierwszej autorzy przedstawiają podstawowe pojęcia inżynierii oprogramowania i już tu podkreślają znaczenie testowania jako czynności na trwałe wpisanej w proces produkcyjny. Drugą część poświęcają identyfikacji i zapisywaniu wymagań użytkowników. W trzeciej części zajmują się projektowaniem i implementacją. Omawiają różne techniki projektowania, ilustrując je licznymi przykładami. Czwartą część poświęcają testowaniu i rozważają problem skuteczności tej procedury. Książka ta jest przeznaczona dla programistów i testerów oprogramowania, czyli osób, które mają bezpośredni wpływ na jakość wytwarzanego produktu programowego. To od ich staranności i umiejętności w dużym stopniu zależy powodzenie przedsięwzięcia programistycznego. Spis treści Przedmowa Wstęp Część I - Inżynieria oprogramowania 1.Pojęcia dotyczące tworzenia oprogramowania 1.1.Oddzielanie pojęć 1.2.Etapy cyklu życia oprogramowania 1.3.Ekonomika tworzenia oprogramowania Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 2.Kilka zasad tworzenia oprogramowania 2.1.Kontrola intelektualna 2.2.Dziel i zwyciężaj 2.3.Określ "odbiorców" 2.4.Od rozmycia do skupienia 2.5.Udokumentuj to! 2.6.Wejście/wyjście jest podstawą oprogramowania 2.7.Zbyt dużo inżynierii nie jest dobrą rzeczą 2.8.Przygotuj się na wprowadzanie zmian 2.9.Wykorzystaj poprzednie prace 2.10.Przyjmnij odpowiedzialność 2.11.Podsumowanie zasad inżynierii oprogramowania Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 3.Czy to rzeczywiście jest inżynieria? 3.1.Co jest innego w oprogramowaniu? 3.2.Sztuczna nauka 3.3.Analogia do innych zawodów 3.4.Odpowiedzialność twórców oprogramowania 3.5.Instytucje inżynierskie Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 4.Zarządzanie i proces 4.1.Kontrowersje na temat "procesu" 4.2.Zarządzanie inżynierią 4.3.Miary Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 5."Cykl życia" oprogramowania 5.1.Warianty modelu kaskadowego 5.2.Etapy tworzenia oprogramowania 5.3.Kontrola oprogramowania 5.4.Pielęgnacja przez cykl życia 5.5.Zarządzanie cyklem wytwórczym Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 6.Plan testów 6.1.Testowanie funkcjonalne 6.2.Testowanie oparte na błędach 6.3.Plan testów w trakcie cyklu życia Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia Część II - Wymagania i specyfikacja 7.Wymagania 7.1.Badanie wymagań 7.2.Przykład: Drukowanie drzew 7.3.Tryby oprogramowania 7.4.Szybkie prototypowanie 7.5.Zarządzanie etapem wymagań Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 8.Właściwości dobranych wymagań 8.1.Zrozumiałość dla użytkowników docelowych 8.2.Brak zbędnych wytycznych 8.3.Poprawność 8.4.Kompletność 8.5.Zwięzłość 8.6.Precyzja 8.7.Jasność 8.8.Jednoznaczność 8.9.Spójność 8.10.Możliwość śledzenia 8.11.Łatwość modyfikacji 8.12.Możliwość testowania (weryfikacji) 8.13.Wykonalność 8.14.Podsumowanie: Jak formułować wymagania? Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 9.Specyfikowanie 9.1.Odbiorcy i ich potrzeby 9.2.Precyzowanie wymagań w kierunku specyfikacji 9.3.Zastosowanie formalizmu 9.4.Specyfikowanie formalne i metody projektowe Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 10.Metody formalne 10.1.Języki specyfikacji 10.2.Logika predykatów pierwszego rzędu 10.3.Przykład: Sortowanie 10.4."Programowanie" specyfikacji 10.5.Kontrowersje dotyczące "metod formalnych" Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia Część III - Projektowanie i kodowanie 11.Projektowanie oprogramowania 11.1.Cele projektowania 11.2.Ogólne zasady projektowania 11.3.Sztuka projektowania 11.4.Projektowanie wysokiego poziomu ("architektoniczne") 11.5.Projektowanie szczegółowe 11.6.Notacje formalne w projektowaniu Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 12.Kodowanie 12.1.Języki programowania 12.2.Narzędzia wspomagające programowanie 12.3.Uzupełnianie planu testów podczas kodowania Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 13.Pseudokod 13.1.Projektowanie z użyciem pseudokodu 13.2.Implementacja pseudokodu Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 14.Skończone maszyny stanowe 14.1.Projektowanie za pomocą FSM 14.2.Kodowanie projektu FSM Pytania szczegółowe Literatura uzupełniająca Bibliografia 15.Abstrakcyjne typy danych 15.1.Ukrywanie decyzji projektowych 15.2.Sygnatury i aksjomaty ADT - przykład boolowski 15.3.Hermetyzacja i język C 15.4.Przykład: ADT IntSet 15.5.Implementacja ADT Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 16.Projektowanie obiektowe 16.1.Obiekty rzeczywiste i obiekty programowe 16.2.Wymagania obiektowe 16.3.Przykład: System czekowy 16.4.Sprawdzanie projektu obiektu przed implementacją 16.5.Języki obiektowe 16.6.Krótkie wprowadzenie do języka Java 16.7.Implementacja systemu czekowego Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 17.Diagramy przepływu danych 17.1.Elementy diagramów przepływu danych 17.2.Przykład DFD: system płacowy 17.3.Słownik danych 17.4.Sprawdzanie DFD - narzędzia CASE 17.5.Diagramy struktury 17.6.Implementacja DFD Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 18.Podsumowanie projektowania i kodowania 18.1.Dodatkowe pomysły projektowe 18.2.Wybór metod projektowania 18.3.Tworzenie kodu 18.4.Kierowanie etapami projektowania i kodowania Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia Część IV - Testowanie 19.Testowanie oprogramowania 19.1.Przygotuj plan testów 19.2.Co powinno dać nam testowanie? 19.3.Proces testowania: testowanie jednostek a testowanie systemu 19.4.Inspekcja a testowanie 19.5.Zarządzanie etapem testowania Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 20.Pokrycie - testowanie "systematyczne" 20.1.Podział przestrzeni wejść w celu poszukiwania błędów 20.2.Adekwatność testu strukturalnego i zalecenia Maricka 20.3.Warjacje na temat pokrycia testowania 20.4."Narzędzia" testowania 20.5.Bardziej złożone kryteria pokrycia strukturalnego 20.6.Które pokrycie jest najlepsze? Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia 21.Przyszłość testowania 21.1.Testowanie losowe 21.2.Przewidywanie jakości oprogramowania 21.3.Testowanie automatyczne 21.4.Testowanie regresywne 21.5.Testowanie oprogramowania - stan obecny Pytania szczegółowe Pytania ogólne Literatura uzupełniająca Bibliografia Rozwiązania i odpowiedzi wybranych ćwiczeń Skorowidz |
7-kolorowy wyświetlacz e-Paper o przekątnej 5.65" i rozdzielczości 600 x 448 pikseli. Ma wbudowany kontroler, który realizuje komunikację za pomocą interfejsu SPI. Seeed Studio 104990859
Brak towaru
Hub dedykowany do aplikacji inteligentnego domu wyposażony w moduł Raspberry Pi CM4. Jest gotowym do użycia i w pełni obsługiwanym urządzeniem Home Assistant, które ma ponad 2500 wbudowanych integracji i obsługuje setki tysięcy urządzeń i usług, co sprawia, że pomaga kontrolować różne aspekty domu, takie jak światła, termostaty, telewizory, muzyka. Seeed Studio 113060066
Brak towaru
Elastyczny, czarno-biały wyświetlacz e-Paper o przekątnej 1,02" i rozdzielczości 128x80 pikseli. Komunikuje się przez interfejs SPI i zapewnia wysoki kontrast oraz niskie zużycie energii. Seeed Studio 104990842
Brak towaru
Zestaw z modułem radaru dopplerowskiego oraz płytką XIAO ESP32C3 przeznaczony do precyzyjnego wykrywania obecności człowieka. Umożliwia podłączenie dodatkowych czujników Grove (analogowych lub z interfejsem I2C) i rozszerzenie funkcjonalności. Seeed Studio 110061541
Brak towaru
Taśma umożliwiająca podłączenie kamery ze złączem 15-pin 1 mm przeznaczonych do Raspberry Pi do złącza CSI/DSI w komputerze Raspberry Pi 5. Waveshare Pi5-Camera-Cable-200mm
Brak towaru
Taśma umożliwiająca podłączenie kamery ze złączem 15-pin 1 mm przeznaczonych do Raspberry Pi do złącza CSI/DSI w komputerze Raspberry Pi 5. Waveshare Pi5-Camera-Cable-500mm
Brak towaru
Sonda różnicowa Micsig z serii DP oparta na zaawansowanej technologii SigOFIT. Oferuje pasmo częstotliwości 150 MHz oraz możliwość pomiarów napięcia do 700 V. Wykorzystuje popularne złącze BNC i jest zasilana przez złącze USB typu C. Micsig DP701
Brak towaru
Sonda różnicowa Micsig z serii DP oparta na zaawansowanej technologii SigOFIT. Oferuje pasmo częstotliwości 150 MHz oraz możliwość pomiarów napięcia do 1500 V. Wykorzystuje popularne złącze BNC i jest zasilana przez złącze USB typu C. Micsig DP1501
Brak towaru
Cyfrowy oscyloskop wyposażony w wyświetlacz LCD TFT o przekątnej 7". Ma cztery kanały pomiarowe z pasmem 100 MHz, szybkością próbkowania 1 GSa/s oraz buforem pamięci 14 Mpkt. Siglent SDS1104X-E
Brak towaru
Zasilacz USB typu C PD o mocy 27 W. Dedykowany jest m.in. do minikomputerów Raspberry Pi 5. Ma wtyk europejski oraz obsługuje USB Power Delivery 5,1V/5A, 9V/3A, 12V/2,25A, 15V/1,8A. Waveshare PSU-27W-USB-C-EU
Brak towaru
Multimetr laboratoryjny idealny do zastosowań laboratoryjnych, przemysłowych oraz naukowych, gdzie wymagana jest precyzja i duża różnorodność dostępnych funkcji pomiarowych. Oferuje rozdzielczość 5 i 1/2 cyfry i może dokładnie mierzyć wartości z wysoką precyzją DCV na poziomie 150 ppm. Oferuje szeroki zakres pomiarowy napięcia stałego i przemiennego, natężenia prądu stałego i przemiennego, pojemność, pomiar częstotliwości, temperatury, test diody, pomiar okresu oraz pomiar rezystancji metodą 2 i 4-przewodową. Siglent SDM3055
Brak towaru
Cyfrowy oscyloskop wyposażony w wyświetlacz LCD TFT o przekątnej 7". Ma cztery kanały pomiarowe z pasmem 100 MHz, szybkością próbkowania 1 GSa/s oraz buforem pamięci 14 Mpts. Siglent SDS1104X-U
Brak towaru
Siglent SDG2042X to wysokiej klasy dwukanałowy generator funkcji, który łączy w sobie zaawansowaną technologię i prostotę użytkowania. Dzięki szerokiemu zakresowi funkcji, w tym TrueArb i EasyPulse, oraz precyzyjnemu przetwarzaniu sygnałów, jest idealnym narzędziem dla inżynierów, techników i naukowców, którzy potrzebują niezawodnego urządzenia do generowania i analizy sygnałów w różnych aplikacjach. Siglent SDG2042X
Brak towaru
Zaawansowany generator funkcyjny z maksymalną częstotliwością wyjściową 30 MHz i dwoma kanałami wyjściowymi to niezastąpione narzędzie dla inżynierów i techników. Z częstotliwością próbkowania 150 MSa/s, pamięcią 16kpts oraz rozdzielczością pionową 16 bitów, urządzenie zapewnia wysoką precyzję i niezawodność. Wyposażony w interfejsy USB i LAN oraz opcjonalny GPIB, umożliwia łatwą integrację z systemami pomiarowymi i automatyzację zadań. Siglent SDG1032X
Brak towaru
ToolkitRC Q6AC to wszechstronna ładowarka modelarska, obsługująca do czterech akumulatorów jednocześnie, kompatybilna z typami ogniw LiPo, LiFe, Li-Ion, NiMH oraz Pb. Zapewnia moc do 400W przy zasilaniu sieciowym (AC) oraz do 1000W przy zasilaniu zewnętrznym (DC), a także oferuje szybkie ładowanie przez porty USB-C PD (65W) i USB-A Fast Charge (18W)
Brak towaru
Konwerter USB-UART z czterema izolowanymi portami UART z wbudowaną izolacją o wartości 1,5kV/3kV. Gwarantuje prędkości transmisji danych do 12 Mbps i możliwość pracy z systemami napięć 1,8 V lub 3,3 V po stronie UART. Jest wyposażony w złącze USB typu C i zdolny do pracy w szerokim zakresie temperatur od -40°C do +55°C. Electronic Prototypes EPED001A-10-STD
Brak towaru
Dick Hamlet, Joe Maybee