Testowanie systemów wbudowanych i krytycznych dla bezpieczeństwa Bogdan Bereza Wersja (33)

Transkrypt

1 Testowanie systemów wbudowanych i krytycznych dla bezpieczeństwa Bogdan Bereza Wersja (33)

2 1. Wbudowane 2. Krytyczne 3. Czasu rzeczywistego 2 (33)

3 Chmura Agile Biznes ISTQB 3 (33)

4 1. Testowanie systemów wbudowanych 4 (33)

5 Testowanie programu na platformach testowych 5 (33)

6 Projektowanie aplikacji pod kątem możliwości testowania, również na środowisku docelowym 6 (33)

7 ASIC FPGA Równoległe projektowanie, tworzenie i testowanie: sprzętu i aplikacji Komputer na obwodzie drukowanym PROM ICE 7 (33)

8 Stosowanie języków niskopoziomowych, które wymagają od programistów dużej staranności i unikania błędów 8 (33)

9 Ze względu na ograniczoną dostępność testów w środowisku docelowym: staranie, by jak najwięcej przetestować w środowiskach symulowanych 9 (33)

10 Pełny nadzór, co jest testowane i w jakim środowisku 10 (33)

11 Ze względu na ograniczoną dostępność testów w środowisku docelowym: bardzo dokładne planowanie 11 (33)

12 ANALIZATOR LOGICZNY OSCYLOSKOP GENERATOR SYGNAŁÓW ICE JTAG Używanie narzędzi, programistycznych i sprzętowych, umożliwiających bardzo dokładny oraz niskopoziomowy nadzór nad przebiegiem testów oraz ich wynikami 12 (33)

13 Bliskie związki testowania z debugowaniem, na dobre (współpraca) i złe (możliwa rywalizacja o dostęp do środowiska) 13 (33)

14 Nowość testowanie zdalne przez łącze internetowe 14 (33)

15 Sterowniki GPIB dla wszystkich urządzeń GPIB Program do rezerwacji i nadzoru dostępu Program nadzorujący wykonywanie testów GPIB GPIB 15 (33)

16 2. Testy systemów czasu rzeczywistego 16 (33)

17 Testy szybkości oraz czasowej przewidywalności nie tylko aplikacji, lecz również platformy sprzętowej i systemu operacyjnego Aye, aye, prawa mocniej, szczury! 10 o w lewo za 6 ms! Czego on chce? 17 (33)

18 Długotrwałe testy stabilności 18 (33)

19 Deadlock Mars Patfinder: priority inversion Resource starvation Testowanie poprawności implementacji wymagań czasowych Race conditions 19 (33)

20 Testowanie niezawodności (MTBF) maksimum Liczba awarii Odrzucić Zbyt źle OK Przerwać Wszystkie Liczba wykonanych testów 20 (33)

21 3. Testowanie systemów krytycznych dla bezpieczeństwa 21 (33)

22 Normy warto je poznać IEC EN Parts 1 to 3 is a core Functional Safety standard, applied widely to all types of safety critical E/E/PS and to systems with a safety function incorporating E/E/PS. UK Defense Standard Issue 2 US RTCA DO-178B North American Avionics Software US RTCA DO-254 North American Avionics Hardware EUROCAE ED-12B European Airborne Flight Safety Systems IEC Medical Device Software IEC 61513, Nuclear power plants Instrumentation and control for systems important to safety General requirements for systems, based on EN IEC 62061, Safety of machinery - Functional safety of safety-related electrical, electronic and programmable electronic control systems, based on EN ISO , -2 Safety of machinery - Safety-related parts of control systems. Non-technology dependent standard for control system safety of machinery. EN 50128, Railway Industry Specific EN 50129, Railway Industry Specific NASA Safety Critical Guidelines ISO Tractors and Machinery for Agriculture and Forestry -- Safety- Related Parts of Control Systems ISO Road Vehicles Functional Safety 22 (33)

23 Nacisk norm na zapobieganie 23 (33)

24 SIL a testowanie 24 (33)

25 Całościowa analiza bezpieczeństwa nie tylko miary niezawodności komponentów IT 25 (33)

26 Wymóg testów statycznych 26 (33)

27 Wymogi miar pokrycia testowego 27 (33)

28 Inne wymogi wobec testowania 28 (33)

29 Wymogi wobec narzędzi stosowanych do testowania 29 (33)

30 Wymogi wobec narzędzi stosowanych do testowania 30 (33)

31 wymagania.org.pl 31 (33)

32 Turniej Inżynierii Wymagań 4-5 marca 2015 re-challenge.pl 32 (33)

33 Skype: bogdan.f.bereza victo.eu blogomocja.blogspot.com qualitology.blogspot.com Twitter: BogdanFBereza Facebook: bogdan.bereza.9 linkedin.com/in/bogdanbereza Testowanie systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne-test.html Inżynieria wymagań dla systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne-re.html Zasady i standardy tworzenia systemów krytycznych dla bezpieczeństwa - victo.eu/kursy/krytyczne.html 33 (33)