Wprowadzenie do testowania.pdf

(1361 KB) Pobierz
io-10-wyk
InŜynieria oprogramowania I
Wprowadzenie do testowania
BłaŜej Pietrzak
Blazej.Pietrzak@cs.put.poznan.pl
Testowanie to często niedoceniana technika weryfikacji i walidacji
oprogramowania. Zdarzają się przypadki, gdzie tworzony produkt nie jest w ogóle
sprawdzany pod kątem wad i oczekiwań klienta. Bywa równieŜ całkiem
odwrotnie, gdzie testowanie uwaŜane jest za jedyną technikę gwarantującą
jakość efektu końcowego. Dobrze jest więc spojrzeć ogólnie na proces weryfikacji
i walidacji i zastanowić się do czego tak naprawdę testowanie moŜna
wykorzystać. Mając to na uwadze proponuję Państwu – w ramach inŜynierii
oprogramowania - wykład wprowadzający do testowania.
1
47637208.1141.png
InŜynieria oprogramowania I
Plan wykładów
Zasadyskutecznegodziałania
Specyfikacjawymagań(przypadkiuŜycia)
Przeglądyartefaktów(inspekcjeFagana)
JęzykUML,cz.I
JęzykUML,cz.II
Metodyformalne(sieciPetriego)
Wzorceprojektowe
Zarządzaniekonfiguracją(CVS)
Wprowadzenie do testowania
Automatyzacjawykonywaniatestów
ProgramowanieEkstremalne
Ewolucjaoprogramowaniairefaktoryzacja
Wprowadzenie do testowania (2)
Omówiony tutaj materiał będzie punktem odniesienia dla
pozostałych wykładów dotyczących automatyzacji testowania oraz
refaktoryzacji, gdzie testowanie odgrywa kluczową rolę podczas
weryfikacji poprawności przekształceń refaktoryzacyjnych.
2
47637208.1252.png 47637208.1363.png 47637208.1474.png 47637208.001.png 47637208.112.png 47637208.223.png 47637208.334.png 47637208.445.png 47637208.556.png 47637208.657.png 47637208.668.png 47637208.679.png 47637208.690.png 47637208.701.png 47637208.712.png 47637208.723.png 47637208.734.png 47637208.745.png 47637208.756.png 47637208.767.png 47637208.778.png 47637208.789.png 47637208.800.png 47637208.811.png 47637208.822.png 47637208.833.png 47637208.844.png 47637208.855.png 47637208.866.png 47637208.877.png 47637208.888.png 47637208.899.png 47637208.910.png 47637208.921.png 47637208.932.png 47637208.943.png 47637208.954.png 47637208.965.png 47637208.976.png 47637208.987.png 47637208.998.png 47637208.1009.png 47637208.1020.png 47637208.1031.png 47637208.1042.png 47637208.1053.png 47637208.1064.png 47637208.1075.png 47637208.1086.png 47637208.1097.png 47637208.1108.png 47637208.1119.png 47637208.1130.png 47637208.1142.png 47637208.1153.png 47637208.1164.png 47637208.1175.png 47637208.1186.png 47637208.1197.png 47637208.1208.png 47637208.1219.png 47637208.1230.png 47637208.1241.png 47637208.1253.png 47637208.1264.png 47637208.1275.png 47637208.1286.png 47637208.1297.png 47637208.1308.png 47637208.1319.png 47637208.1330.png 47637208.1341.png 47637208.1352.png 47637208.1364.png 47637208.1375.png 47637208.1386.png 47637208.1397.png 47637208.1408.png 47637208.1419.png 47637208.1430.png 47637208.1441.png 47637208.1452.png 47637208.1463.png 47637208.1475.png 47637208.1486.png 47637208.1497.png 47637208.1508.png 47637208.1519.png 47637208.1530.png 47637208.1541.png 47637208.1552.png 47637208.1563.png 47637208.1574.png 47637208.002.png 47637208.013.png 47637208.024.png 47637208.035.png 47637208.046.png 47637208.057.png 47637208.068.png 47637208.079.png 47637208.090.png 47637208.101.png 47637208.113.png 47637208.124.png 47637208.135.png 47637208.146.png 47637208.157.png 47637208.168.png 47637208.179.png 47637208.190.png 47637208.201.png 47637208.212.png 47637208.224.png 47637208.235.png 47637208.246.png 47637208.257.png 47637208.268.png 47637208.279.png 47637208.290.png 47637208.301.png 47637208.312.png 47637208.323.png 47637208.335.png 47637208.346.png 47637208.357.png 47637208.368.png 47637208.379.png 47637208.390.png 47637208.401.png 47637208.412.png 47637208.423.png 47637208.434.png 47637208.446.png 47637208.457.png 47637208.468.png 47637208.479.png 47637208.490.png 47637208.501.png 47637208.512.png 47637208.523.png 47637208.534.png 47637208.545.png 47637208.557.png 47637208.568.png 47637208.579.png 47637208.590.png 47637208.601.png 47637208.612.png 47637208.623.png 47637208.634.png 47637208.645.png 47637208.656.png 47637208.658.png 47637208.659.png 47637208.660.png 47637208.661.png 47637208.662.png 47637208.663.png 47637208.664.png 47637208.665.png 47637208.666.png 47637208.667.png 47637208.669.png 47637208.670.png 47637208.671.png 47637208.672.png 47637208.673.png 47637208.674.png 47637208.675.png 47637208.676.png 47637208.677.png 47637208.678.png 47637208.680.png 47637208.681.png 47637208.682.png 47637208.683.png 47637208.684.png 47637208.685.png 47637208.686.png 47637208.687.png 47637208.688.png 47637208.689.png 47637208.691.png 47637208.692.png 47637208.693.png 47637208.694.png 47637208.695.png 47637208.696.png 47637208.697.png 47637208.698.png 47637208.699.png 47637208.700.png 47637208.702.png 47637208.703.png 47637208.704.png 47637208.705.png 47637208.706.png 47637208.707.png 47637208.708.png 47637208.709.png 47637208.710.png 47637208.711.png 47637208.713.png 47637208.714.png 47637208.715.png 47637208.716.png 47637208.717.png 47637208.718.png 47637208.719.png 47637208.720.png 47637208.721.png 47637208.722.png 47637208.724.png 47637208.725.png 47637208.726.png 47637208.727.png 47637208.728.png 47637208.729.png 47637208.730.png 47637208.731.png 47637208.732.png 47637208.733.png 47637208.735.png 47637208.736.png 47637208.737.png 47637208.738.png 47637208.739.png 47637208.740.png 47637208.741.png 47637208.742.png 47637208.743.png 47637208.744.png 47637208.746.png 47637208.747.png 47637208.748.png 47637208.749.png 47637208.750.png 47637208.751.png 47637208.752.png 47637208.753.png 47637208.754.png 47637208.755.png 47637208.757.png 47637208.758.png 47637208.759.png 47637208.760.png 47637208.761.png 47637208.762.png 47637208.763.png 47637208.764.png 47637208.765.png 47637208.766.png 47637208.768.png 47637208.769.png 47637208.770.png 47637208.771.png 47637208.772.png 47637208.773.png 47637208.774.png 47637208.775.png 47637208.776.png 47637208.777.png 47637208.779.png 47637208.780.png 47637208.781.png 47637208.782.png 47637208.783.png 47637208.784.png 47637208.785.png 47637208.786.png 47637208.787.png 47637208.788.png 47637208.790.png 47637208.791.png 47637208.792.png 47637208.793.png 47637208.794.png 47637208.795.png 47637208.796.png 47637208.797.png 47637208.798.png 47637208.799.png 47637208.801.png 47637208.802.png 47637208.803.png 47637208.804.png 47637208.805.png 47637208.806.png 47637208.807.png 47637208.808.png 47637208.809.png 47637208.810.png 47637208.812.png 47637208.813.png 47637208.814.png 47637208.815.png 47637208.816.png 47637208.817.png 47637208.818.png 47637208.819.png 47637208.820.png 47637208.821.png 47637208.823.png 47637208.824.png 47637208.825.png 47637208.826.png 47637208.827.png 47637208.828.png 47637208.829.png 47637208.830.png 47637208.831.png 47637208.832.png 47637208.834.png 47637208.835.png 47637208.836.png 47637208.837.png 47637208.838.png 47637208.839.png 47637208.840.png 47637208.841.png 47637208.842.png 47637208.843.png 47637208.845.png 47637208.846.png 47637208.847.png 47637208.848.png 47637208.849.png 47637208.850.png 47637208.851.png 47637208.852.png 47637208.853.png 47637208.854.png 47637208.856.png 47637208.857.png 47637208.858.png 47637208.859.png 47637208.860.png 47637208.861.png 47637208.862.png 47637208.863.png 47637208.864.png 47637208.865.png 47637208.867.png 47637208.868.png 47637208.869.png 47637208.870.png 47637208.871.png 47637208.872.png 47637208.873.png 47637208.874.png 47637208.875.png 47637208.876.png 47637208.878.png 47637208.879.png 47637208.880.png 47637208.881.png 47637208.882.png 47637208.883.png 47637208.884.png 47637208.885.png 47637208.886.png 47637208.887.png 47637208.889.png 47637208.890.png 47637208.891.png 47637208.892.png 47637208.893.png 47637208.894.png 47637208.895.png 47637208.896.png 47637208.897.png 47637208.898.png 47637208.900.png 47637208.901.png 47637208.902.png 47637208.903.png 47637208.904.png 47637208.905.png 47637208.906.png 47637208.907.png 47637208.908.png 47637208.909.png 47637208.911.png 47637208.912.png 47637208.913.png 47637208.914.png 47637208.915.png 47637208.916.png 47637208.917.png 47637208.918.png 47637208.919.png 47637208.920.png 47637208.922.png 47637208.923.png
InŜynieria oprogramowania I
Plan wykładu
• Weryfikacja i walidacja
• Testowanie oprogramowania
• Aksjomaty testowania
• Rodzaje testów
• Metoda czarnej skrzynki
• Metoda białej skrzynki
• Testowanie a debugowanie
• Inspekcje a testowanie
Wprowadzenie do testowania (3)
Plan wykładu wygląda następująco. Na początku dowiecie się
Państwo czym jest proces weryfikacji i walidacji oraz jakie są jego cele.
Przedstawione zostaną ponadto dwie najwaŜniejsze techniki weryfikacji i
walidacji. Omówione zostanie takŜe pojęcie testowania oprogramowania oraz
ograniczenia tejŜe techniki, co w konsekwencji doprowadzi do sformułowania
aksjomatów testowania. Dalej zapoznani zostaniecie z rodzajami testów oraz
metodą czarnej i białej skrzynki. Wreszcie na koniec omówione zostaną relacje
testowania z debugowaniem i inspekcjami kodu.
3
47637208.924.png 47637208.925.png 47637208.926.png 47637208.927.png 47637208.928.png 47637208.929.png 47637208.930.png 47637208.931.png 47637208.933.png 47637208.934.png 47637208.935.png 47637208.936.png 47637208.937.png 47637208.938.png 47637208.939.png 47637208.940.png 47637208.941.png 47637208.942.png 47637208.944.png 47637208.945.png 47637208.946.png 47637208.947.png 47637208.948.png 47637208.949.png 47637208.950.png 47637208.951.png 47637208.952.png 47637208.953.png 47637208.955.png 47637208.956.png 47637208.957.png 47637208.958.png 47637208.959.png 47637208.960.png 47637208.961.png 47637208.962.png 47637208.963.png 47637208.964.png 47637208.966.png 47637208.967.png 47637208.968.png 47637208.969.png 47637208.970.png 47637208.971.png 47637208.972.png 47637208.973.png 47637208.974.png 47637208.975.png 47637208.977.png 47637208.978.png 47637208.979.png 47637208.980.png 47637208.981.png 47637208.982.png 47637208.983.png 47637208.984.png 47637208.985.png 47637208.986.png 47637208.988.png 47637208.989.png 47637208.990.png 47637208.991.png 47637208.992.png 47637208.993.png 47637208.994.png 47637208.995.png 47637208.996.png 47637208.997.png 47637208.999.png 47637208.1000.png 47637208.1001.png 47637208.1002.png 47637208.1003.png 47637208.1004.png 47637208.1005.png 47637208.1006.png 47637208.1007.png 47637208.1008.png 47637208.1010.png 47637208.1011.png 47637208.1012.png 47637208.1013.png 47637208.1014.png 47637208.1015.png 47637208.1016.png 47637208.1017.png 47637208.1018.png 47637208.1019.png 47637208.1021.png 47637208.1022.png 47637208.1023.png 47637208.1024.png 47637208.1025.png 47637208.1026.png 47637208.1027.png 47637208.1028.png 47637208.1029.png 47637208.1030.png 47637208.1032.png 47637208.1033.png 47637208.1034.png 47637208.1035.png 47637208.1036.png 47637208.1037.png 47637208.1038.png 47637208.1039.png 47637208.1040.png 47637208.1041.png 47637208.1043.png 47637208.1044.png 47637208.1045.png 47637208.1046.png 47637208.1047.png 47637208.1048.png 47637208.1049.png 47637208.1050.png 47637208.1051.png 47637208.1052.png 47637208.1054.png 47637208.1055.png 47637208.1056.png 47637208.1057.png 47637208.1058.png 47637208.1059.png 47637208.1060.png 47637208.1061.png 47637208.1062.png 47637208.1063.png 47637208.1065.png 47637208.1066.png 47637208.1067.png 47637208.1068.png 47637208.1069.png 47637208.1070.png 47637208.1071.png 47637208.1072.png 47637208.1073.png 47637208.1074.png 47637208.1076.png 47637208.1077.png 47637208.1078.png 47637208.1079.png 47637208.1080.png 47637208.1081.png 47637208.1082.png 47637208.1083.png 47637208.1084.png 47637208.1085.png 47637208.1087.png 47637208.1088.png 47637208.1089.png 47637208.1090.png 47637208.1091.png 47637208.1092.png 47637208.1093.png 47637208.1094.png 47637208.1095.png 47637208.1096.png 47637208.1098.png 47637208.1099.png 47637208.1100.png 47637208.1101.png 47637208.1102.png 47637208.1103.png 47637208.1104.png 47637208.1105.png 47637208.1106.png 47637208.1107.png 47637208.1109.png 47637208.1110.png 47637208.1111.png 47637208.1112.png 47637208.1113.png 47637208.1114.png 47637208.1115.png 47637208.1116.png 47637208.1117.png 47637208.1118.png 47637208.1120.png 47637208.1121.png 47637208.1122.png 47637208.1123.png 47637208.1124.png 47637208.1125.png 47637208.1126.png 47637208.1127.png 47637208.1128.png 47637208.1129.png 47637208.1131.png 47637208.1132.png 47637208.1133.png 47637208.1134.png 47637208.1135.png 47637208.1136.png 47637208.1137.png 47637208.1138.png 47637208.1139.png 47637208.1140.png 47637208.1143.png 47637208.1144.png 47637208.1145.png 47637208.1146.png 47637208.1147.png 47637208.1148.png 47637208.1149.png 47637208.1150.png 47637208.1151.png 47637208.1152.png 47637208.1154.png 47637208.1155.png 47637208.1156.png 47637208.1157.png 47637208.1158.png 47637208.1159.png 47637208.1160.png 47637208.1161.png 47637208.1162.png 47637208.1163.png 47637208.1165.png 47637208.1166.png 47637208.1167.png 47637208.1168.png 47637208.1169.png 47637208.1170.png 47637208.1171.png 47637208.1172.png 47637208.1173.png 47637208.1174.png 47637208.1176.png 47637208.1177.png 47637208.1178.png 47637208.1179.png 47637208.1180.png 47637208.1181.png 47637208.1182.png 47637208.1183.png 47637208.1184.png 47637208.1185.png 47637208.1187.png 47637208.1188.png 47637208.1189.png 47637208.1190.png 47637208.1191.png 47637208.1192.png 47637208.1193.png 47637208.1194.png 47637208.1195.png 47637208.1196.png 47637208.1198.png 47637208.1199.png 47637208.1200.png 47637208.1201.png 47637208.1202.png 47637208.1203.png 47637208.1204.png 47637208.1205.png 47637208.1206.png 47637208.1207.png 47637208.1209.png 47637208.1210.png 47637208.1211.png 47637208.1212.png 47637208.1213.png 47637208.1214.png 47637208.1215.png 47637208.1216.png 47637208.1217.png 47637208.1218.png 47637208.1220.png 47637208.1221.png 47637208.1222.png 47637208.1223.png 47637208.1224.png 47637208.1225.png 47637208.1226.png 47637208.1227.png 47637208.1228.png 47637208.1229.png 47637208.1231.png 47637208.1232.png 47637208.1233.png 47637208.1234.png 47637208.1235.png 47637208.1236.png 47637208.1237.png 47637208.1238.png 47637208.1239.png 47637208.1240.png 47637208.1242.png 47637208.1243.png 47637208.1244.png 47637208.1245.png 47637208.1246.png 47637208.1247.png 47637208.1248.png 47637208.1249.png 47637208.1250.png 47637208.1251.png 47637208.1254.png 47637208.1255.png 47637208.1256.png 47637208.1257.png 47637208.1258.png 47637208.1259.png 47637208.1260.png 47637208.1261.png 47637208.1262.png 47637208.1263.png 47637208.1265.png 47637208.1266.png 47637208.1267.png 47637208.1268.png 47637208.1269.png 47637208.1270.png 47637208.1271.png 47637208.1272.png 47637208.1273.png 47637208.1274.png 47637208.1276.png 47637208.1277.png 47637208.1278.png 47637208.1279.png 47637208.1280.png 47637208.1281.png 47637208.1282.png 47637208.1283.png 47637208.1284.png 47637208.1285.png 47637208.1287.png 47637208.1288.png 47637208.1289.png 47637208.1290.png 47637208.1291.png 47637208.1292.png 47637208.1293.png 47637208.1294.png 47637208.1295.png 47637208.1296.png 47637208.1298.png 47637208.1299.png 47637208.1300.png 47637208.1301.png 47637208.1302.png 47637208.1303.png 47637208.1304.png 47637208.1305.png 47637208.1306.png 47637208.1307.png 47637208.1309.png 47637208.1310.png 47637208.1311.png 47637208.1312.png 47637208.1313.png 47637208.1314.png 47637208.1315.png 47637208.1316.png 47637208.1317.png 47637208.1318.png 47637208.1320.png 47637208.1321.png 47637208.1322.png 47637208.1323.png 47637208.1324.png 47637208.1325.png 47637208.1326.png 47637208.1327.png 47637208.1328.png 47637208.1329.png 47637208.1331.png 47637208.1332.png 47637208.1333.png 47637208.1334.png 47637208.1335.png 47637208.1336.png 47637208.1337.png 47637208.1338.png 47637208.1339.png 47637208.1340.png 47637208.1342.png 47637208.1343.png 47637208.1344.png 47637208.1345.png 47637208.1346.png 47637208.1347.png 47637208.1348.png 47637208.1349.png 47637208.1350.png 47637208.1351.png 47637208.1353.png 47637208.1354.png 47637208.1355.png 47637208.1356.png 47637208.1357.png 47637208.1358.png 47637208.1359.png 47637208.1360.png 47637208.1361.png 47637208.1362.png
InŜynieria oprogramowania I
Notoryczne błędy
• Zestrzelenie samolotu Airbus 320, 1988
– 290 zabitych
• Śmierć pacjentów chorych na raka, 1985-87
• Pentium floating point, 1994
– Koszt ~ 475 000 000$
• Rakieta Ariane 5, 1996
– Budowa ~ 7 000 000 000$, Straty ~ 500 000 000$
– Rakieta i jej cztery satelity nie były ubezpieczone
Wprowadzenie do testowania (4)
Dzięki postępowi technologicznemu wciąŜ rośnie złoŜoność
programów. Niestety za tym idą błędy, które kosztują coraz więcej i to nie tylko
pieniędzy. W lipcu 1988 roku krąŜownik USS Vincennes patrolował wody Zatoki
Perskiej egzekwując embargo nałoŜone przez Stany Zjednoczone na Iran. Został
zaatakowany około godziny 10:00 przez łodzie irańskie. Odpowiedział w ich
kierunku ogniem. W tym czasie nad nieoczekiwanym polem bitwy przelatywał
pasaŜerski samolot cywilny Airbus 320 wiozący 290 cywilów z lotniska Bandar
Abbas do Abu Dhabi. Na skutek błędu w systemie śledzenia obiektów
zainstalowanym na krąŜowniku USS Vincennes samolot ten został uznany za
irański samolot wojskowy F-14 i zestrzelony przez załogę statku. Zginęli wszyscy
pasaŜerowie samolotu Airbus – 290 osób.
Jako inny tragiczny przykład spowodowany błędem w
oprogramowaniu moŜe posłuŜyć przypadek śmierci pacjentów chorych na raka,
którzy otrzymali nadmierne dawki promieniowania. Therac-25, maszyna słuŜąca
do terapii raka, na skutek sytuacji wyścigu, czyli błędnej implementacji
współbieŜności zadań, podawała nadmierne dawki promieniowania chorym
pacjentom. Wielu z nich zmarło na skutek takiej „kuracji”, pozostali odnieśli trwały
uszczerbek na zdrowiu. Leczenie z wykorzystaniem tej maszyny było
prowadzone przez dwa lata zanim zauwaŜony został błąd.
4
47637208.1365.png 47637208.1366.png 47637208.1367.png 47637208.1368.png 47637208.1369.png 47637208.1370.png 47637208.1371.png 47637208.1372.png 47637208.1373.png 47637208.1374.png 47637208.1376.png 47637208.1377.png 47637208.1378.png 47637208.1379.png 47637208.1380.png 47637208.1381.png 47637208.1382.png 47637208.1383.png 47637208.1384.png 47637208.1385.png 47637208.1387.png 47637208.1388.png 47637208.1389.png 47637208.1390.png 47637208.1391.png 47637208.1392.png 47637208.1393.png 47637208.1394.png 47637208.1395.png 47637208.1396.png 47637208.1398.png 47637208.1399.png 47637208.1400.png 47637208.1401.png 47637208.1402.png 47637208.1403.png 47637208.1404.png 47637208.1405.png 47637208.1406.png 47637208.1407.png 47637208.1409.png 47637208.1410.png 47637208.1411.png 47637208.1412.png 47637208.1413.png 47637208.1414.png 47637208.1415.png 47637208.1416.png 47637208.1417.png 47637208.1418.png 47637208.1420.png 47637208.1421.png 47637208.1422.png 47637208.1423.png 47637208.1424.png 47637208.1425.png 47637208.1426.png 47637208.1427.png 47637208.1428.png 47637208.1429.png 47637208.1431.png 47637208.1432.png 47637208.1433.png 47637208.1434.png 47637208.1435.png 47637208.1436.png 47637208.1437.png 47637208.1438.png 47637208.1439.png 47637208.1440.png 47637208.1442.png 47637208.1443.png 47637208.1444.png 47637208.1445.png 47637208.1446.png 47637208.1447.png 47637208.1448.png 47637208.1449.png 47637208.1450.png 47637208.1451.png 47637208.1453.png 47637208.1454.png 47637208.1455.png 47637208.1456.png 47637208.1457.png 47637208.1458.png 47637208.1459.png 47637208.1460.png 47637208.1461.png 47637208.1462.png 47637208.1464.png 47637208.1465.png 47637208.1466.png 47637208.1467.png 47637208.1468.png 47637208.1469.png 47637208.1470.png 47637208.1471.png 47637208.1472.png 47637208.1473.png 47637208.1476.png 47637208.1477.png 47637208.1478.png 47637208.1479.png 47637208.1480.png 47637208.1481.png 47637208.1482.png 47637208.1483.png 47637208.1484.png 47637208.1485.png 47637208.1487.png 47637208.1488.png 47637208.1489.png 47637208.1490.png 47637208.1491.png 47637208.1492.png 47637208.1493.png 47637208.1494.png 47637208.1495.png 47637208.1496.png 47637208.1498.png 47637208.1499.png 47637208.1500.png 47637208.1501.png 47637208.1502.png 47637208.1503.png 47637208.1504.png 47637208.1505.png 47637208.1506.png 47637208.1507.png 47637208.1509.png 47637208.1510.png 47637208.1511.png 47637208.1512.png 47637208.1513.png 47637208.1514.png 47637208.1515.png 47637208.1516.png 47637208.1517.png 47637208.1518.png 47637208.1520.png 47637208.1521.png 47637208.1522.png 47637208.1523.png 47637208.1524.png 47637208.1525.png 47637208.1526.png 47637208.1527.png 47637208.1528.png 47637208.1529.png 47637208.1531.png 47637208.1532.png 47637208.1533.png 47637208.1534.png 47637208.1535.png 47637208.1536.png 47637208.1537.png 47637208.1538.png 47637208.1539.png 47637208.1540.png 47637208.1542.png 47637208.1543.png 47637208.1544.png 47637208.1545.png 47637208.1546.png 47637208.1547.png 47637208.1548.png 47637208.1549.png 47637208.1550.png 47637208.1551.png 47637208.1553.png 47637208.1554.png 47637208.1555.png 47637208.1556.png 47637208.1557.png 47637208.1558.png 47637208.1559.png 47637208.1560.png 47637208.1561.png 47637208.1562.png 47637208.1564.png 47637208.1565.png 47637208.1566.png 47637208.1567.png 47637208.1568.png 47637208.1569.png 47637208.1570.png 47637208.1571.png 47637208.1572.png 47637208.1573.png 47637208.1575.png 47637208.1576.png 47637208.1577.png 47637208.1578.png 47637208.1579.png 47637208.1580.png 47637208.1581.png 47637208.1582.png 47637208.1583.png 47637208.1584.png 47637208.003.png 47637208.004.png 47637208.005.png 47637208.006.png 47637208.007.png 47637208.008.png 47637208.009.png 47637208.010.png 47637208.011.png 47637208.012.png 47637208.014.png 47637208.015.png 47637208.016.png 47637208.017.png 47637208.018.png 47637208.019.png 47637208.020.png 47637208.021.png 47637208.022.png 47637208.023.png 47637208.025.png 47637208.026.png 47637208.027.png 47637208.028.png 47637208.029.png 47637208.030.png 47637208.031.png 47637208.032.png 47637208.033.png 47637208.034.png 47637208.036.png 47637208.037.png 47637208.038.png 47637208.039.png 47637208.040.png 47637208.041.png 47637208.042.png 47637208.043.png 47637208.044.png 47637208.045.png 47637208.047.png 47637208.048.png 47637208.049.png 47637208.050.png 47637208.051.png 47637208.052.png 47637208.053.png 47637208.054.png 47637208.055.png 47637208.056.png 47637208.058.png 47637208.059.png 47637208.060.png 47637208.061.png 47637208.062.png 47637208.063.png 47637208.064.png 47637208.065.png 47637208.066.png 47637208.067.png 47637208.069.png 47637208.070.png 47637208.071.png 47637208.072.png 47637208.073.png 47637208.074.png 47637208.075.png 47637208.076.png 47637208.077.png 47637208.078.png 47637208.080.png 47637208.081.png 47637208.082.png 47637208.083.png 47637208.084.png 47637208.085.png 47637208.086.png 47637208.087.png 47637208.088.png 47637208.089.png 47637208.091.png 47637208.092.png 47637208.093.png 47637208.094.png 47637208.095.png 47637208.096.png 47637208.097.png 47637208.098.png 47637208.099.png 47637208.100.png 47637208.102.png 47637208.103.png 47637208.104.png 47637208.105.png 47637208.106.png 47637208.107.png 47637208.108.png 47637208.109.png 47637208.110.png 47637208.111.png 47637208.114.png 47637208.115.png 47637208.116.png 47637208.117.png 47637208.118.png 47637208.119.png 47637208.120.png 47637208.121.png 47637208.122.png 47637208.123.png 47637208.125.png 47637208.126.png 47637208.127.png 47637208.128.png 47637208.129.png 47637208.130.png 47637208.131.png 47637208.132.png 47637208.133.png 47637208.134.png 47637208.136.png 47637208.137.png 47637208.138.png 47637208.139.png 47637208.140.png 47637208.141.png 47637208.142.png 47637208.143.png 47637208.144.png 47637208.145.png 47637208.147.png 47637208.148.png 47637208.149.png 47637208.150.png 47637208.151.png 47637208.152.png 47637208.153.png 47637208.154.png 47637208.155.png 47637208.156.png 47637208.158.png 47637208.159.png 47637208.160.png 47637208.161.png 47637208.162.png 47637208.163.png 47637208.164.png 47637208.165.png 47637208.166.png 47637208.167.png 47637208.169.png 47637208.170.png 47637208.171.png 47637208.172.png 47637208.173.png 47637208.174.png 47637208.175.png 47637208.176.png 47637208.177.png 47637208.178.png 47637208.180.png 47637208.181.png 47637208.182.png 47637208.183.png 47637208.184.png 47637208.185.png 47637208.186.png 47637208.187.png 47637208.188.png 47637208.189.png 47637208.191.png 47637208.192.png 47637208.193.png 47637208.194.png 47637208.195.png 47637208.196.png 47637208.197.png 47637208.198.png 47637208.199.png 47637208.200.png 47637208.202.png 47637208.203.png 47637208.204.png 47637208.205.png 47637208.206.png 47637208.207.png 47637208.208.png 47637208.209.png 47637208.210.png 47637208.211.png 47637208.213.png 47637208.214.png 47637208.215.png 47637208.216.png 47637208.217.png
InŜynieria oprogramowania I
Notoryczne błędy
• Zestrzelenie samolotu Airbus 320, 1988
– 290 zabitych
• Śmierć pacjentów chorych na raka, 1985-87
• Pentium floating point, 1994
– Koszt ~ 475 000 000$
• Rakieta Ariane 5, 1996
– Budowa ~ 7 000 000 000$, Straty ~ 500 000 000$
– Rakieta i jej cztery satelity nie były ubezpieczone
Wprowadzenie do testowania (5)
Od momentu wyprodukowania pierwszego mikroprocesora w 1971
roku, Intel stał się liderem na skalę światową w produkcji układów scalonych.
Większość sprzedawanych obecnie komputerów oparta jest na produktach tejŜe
firmy. JednakŜe mimo cięŜkiej pracy specjalistów z firmy Intel ich mikroprocesory
posiadały wiele błędów. Do najgłośniejszych z nich naleŜał błąd związany z
instrukcją FDIV w procesorze Pentium. Nieprawidłowe wpisy w tablicy
wyszukującej (ang. lookup table) wykorzystywanej przez algorytm SRT
odpowiedzialny za dzielenie liczb powodowały, Ŝe wynik ilorazu był błędny. W
tablicy tej przechowywane były pośrednie wyniki ilorazu liczb
zmiennoprzecinkowych. Pięć z 1066 wpisów nie było pobieranych w wyniku
błędu programistycznego. W momencie dostępu do którejkolwiek z tych pięciu
komórek przez jednostkę zmiennoprzecinkową (ang. Floating Point Unit, w
skrócie FPU) pobierano zero zamiast prawidłowej wartości. To powodowało, Ŝe
wynik dzielenia był nieprawidłowy. Błąd ten dotykał nie tylko samej instrukcji FDIV
choć tak go sklasyfikowano, ale takŜe pozostałych instrukcji korzystających z niej
i odwołujących się do tablicy wyszukiwawczej. Intel wymienił wszystkie „błędne
procesory”. Poza utratą reputacji, którą przyszło mu cięŜko odbudowywać, koszt
tego błędu oceniono na około czterysta siedemdziesiąt pięć milionów dolarów.
5
47637208.218.png 47637208.219.png 47637208.220.png 47637208.221.png 47637208.222.png 47637208.225.png 47637208.226.png 47637208.227.png 47637208.228.png 47637208.229.png 47637208.230.png 47637208.231.png 47637208.232.png 47637208.233.png 47637208.234.png 47637208.236.png 47637208.237.png 47637208.238.png 47637208.239.png 47637208.240.png 47637208.241.png 47637208.242.png 47637208.243.png 47637208.244.png 47637208.245.png 47637208.247.png 47637208.248.png 47637208.249.png 47637208.250.png 47637208.251.png 47637208.252.png 47637208.253.png 47637208.254.png 47637208.255.png 47637208.256.png 47637208.258.png 47637208.259.png 47637208.260.png 47637208.261.png 47637208.262.png 47637208.263.png 47637208.264.png 47637208.265.png 47637208.266.png 47637208.267.png 47637208.269.png 47637208.270.png 47637208.271.png 47637208.272.png 47637208.273.png 47637208.274.png 47637208.275.png 47637208.276.png 47637208.277.png 47637208.278.png 47637208.280.png 47637208.281.png 47637208.282.png 47637208.283.png 47637208.284.png 47637208.285.png 47637208.286.png 47637208.287.png 47637208.288.png 47637208.289.png 47637208.291.png 47637208.292.png 47637208.293.png 47637208.294.png 47637208.295.png 47637208.296.png 47637208.297.png 47637208.298.png 47637208.299.png 47637208.300.png 47637208.302.png 47637208.303.png 47637208.304.png 47637208.305.png 47637208.306.png 47637208.307.png 47637208.308.png 47637208.309.png 47637208.310.png 47637208.311.png 47637208.313.png 47637208.314.png 47637208.315.png 47637208.316.png 47637208.317.png 47637208.318.png 47637208.319.png 47637208.320.png 47637208.321.png 47637208.322.png 47637208.324.png 47637208.325.png 47637208.326.png 47637208.327.png 47637208.328.png 47637208.329.png 47637208.330.png 47637208.331.png 47637208.332.png 47637208.333.png 47637208.336.png 47637208.337.png 47637208.338.png 47637208.339.png 47637208.340.png 47637208.341.png 47637208.342.png 47637208.343.png 47637208.344.png 47637208.345.png 47637208.347.png 47637208.348.png 47637208.349.png 47637208.350.png 47637208.351.png 47637208.352.png 47637208.353.png 47637208.354.png 47637208.355.png 47637208.356.png 47637208.358.png 47637208.359.png 47637208.360.png 47637208.361.png 47637208.362.png 47637208.363.png 47637208.364.png 47637208.365.png 47637208.366.png 47637208.367.png 47637208.369.png 47637208.370.png 47637208.371.png 47637208.372.png 47637208.373.png 47637208.374.png 47637208.375.png 47637208.376.png 47637208.377.png 47637208.378.png 47637208.380.png 47637208.381.png 47637208.382.png 47637208.383.png 47637208.384.png 47637208.385.png 47637208.386.png 47637208.387.png 47637208.388.png 47637208.389.png 47637208.391.png 47637208.392.png 47637208.393.png 47637208.394.png 47637208.395.png 47637208.396.png 47637208.397.png 47637208.398.png 47637208.399.png 47637208.400.png 47637208.402.png 47637208.403.png 47637208.404.png 47637208.405.png 47637208.406.png 47637208.407.png 47637208.408.png 47637208.409.png 47637208.410.png 47637208.411.png 47637208.413.png 47637208.414.png 47637208.415.png 47637208.416.png 47637208.417.png 47637208.418.png 47637208.419.png 47637208.420.png 47637208.421.png 47637208.422.png 47637208.424.png 47637208.425.png 47637208.426.png 47637208.427.png 47637208.428.png 47637208.429.png 47637208.430.png 47637208.431.png 47637208.432.png 47637208.433.png 47637208.435.png 47637208.436.png 47637208.437.png 47637208.438.png 47637208.439.png 47637208.440.png 47637208.441.png 47637208.442.png 47637208.443.png 47637208.444.png 47637208.447.png 47637208.448.png 47637208.449.png 47637208.450.png 47637208.451.png 47637208.452.png 47637208.453.png 47637208.454.png 47637208.455.png 47637208.456.png 47637208.458.png 47637208.459.png 47637208.460.png 47637208.461.png 47637208.462.png 47637208.463.png 47637208.464.png 47637208.465.png 47637208.466.png 47637208.467.png 47637208.469.png 47637208.470.png 47637208.471.png 47637208.472.png 47637208.473.png 47637208.474.png 47637208.475.png 47637208.476.png 47637208.477.png 47637208.478.png 47637208.480.png 47637208.481.png 47637208.482.png 47637208.483.png 47637208.484.png 47637208.485.png 47637208.486.png 47637208.487.png 47637208.488.png 47637208.489.png 47637208.491.png 47637208.492.png 47637208.493.png 47637208.494.png 47637208.495.png 47637208.496.png 47637208.497.png 47637208.498.png 47637208.499.png 47637208.500.png 47637208.502.png 47637208.503.png 47637208.504.png 47637208.505.png 47637208.506.png 47637208.507.png 47637208.508.png 47637208.509.png 47637208.510.png 47637208.511.png 47637208.513.png 47637208.514.png 47637208.515.png 47637208.516.png 47637208.517.png 47637208.518.png 47637208.519.png 47637208.520.png 47637208.521.png 47637208.522.png 47637208.524.png 47637208.525.png 47637208.526.png 47637208.527.png 47637208.528.png 47637208.529.png 47637208.530.png 47637208.531.png 47637208.532.png 47637208.533.png 47637208.535.png 47637208.536.png 47637208.537.png 47637208.538.png 47637208.539.png 47637208.540.png 47637208.541.png 47637208.542.png 47637208.543.png 47637208.544.png 47637208.546.png 47637208.547.png 47637208.548.png 47637208.549.png 47637208.550.png 47637208.551.png 47637208.552.png 47637208.553.png 47637208.554.png 47637208.555.png 47637208.558.png 47637208.559.png 47637208.560.png 47637208.561.png 47637208.562.png 47637208.563.png 47637208.564.png 47637208.565.png 47637208.566.png 47637208.567.png 47637208.569.png 47637208.570.png 47637208.571.png 47637208.572.png 47637208.573.png 47637208.574.png 47637208.575.png 47637208.576.png 47637208.577.png 47637208.578.png 47637208.580.png 47637208.581.png 47637208.582.png 47637208.583.png 47637208.584.png 47637208.585.png 47637208.586.png 47637208.587.png 47637208.588.png 47637208.589.png 47637208.591.png 47637208.592.png 47637208.593.png 47637208.594.png 47637208.595.png 47637208.596.png 47637208.597.png 47637208.598.png 47637208.599.png 47637208.600.png 47637208.602.png 47637208.603.png 47637208.604.png 47637208.605.png 47637208.606.png 47637208.607.png 47637208.608.png 47637208.609.png 47637208.610.png 47637208.611.png 47637208.613.png 47637208.614.png 47637208.615.png 47637208.616.png 47637208.617.png 47637208.618.png 47637208.619.png 47637208.620.png 47637208.621.png 47637208.622.png 47637208.624.png 47637208.625.png 47637208.626.png 47637208.627.png 47637208.628.png 47637208.629.png 47637208.630.png 47637208.631.png 47637208.632.png 47637208.633.png 47637208.635.png 47637208.636.png 47637208.637.png 47637208.638.png 47637208.639.png 47637208.640.png 47637208.641.png 47637208.642.png 47637208.643.png 47637208.644.png 47637208.646.png 47637208.647.png 47637208.648.png 47637208.649.png 47637208.650.png 47637208.651.png 47637208.652.png 47637208.653.png 47637208.654.png 47637208.655.png
Zgłoś jeśli naruszono regulamin