-
Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!lub
lin.pl!uw.edu.pl!newsgate.cistron.nl!newsgate.news.xs4all.nl!news.tele.dk!news.
tele.dk!small.news.tele.dk!feed118.news.tele.dk!postnews.google.com!e16g2000pri
.googlegroups.com!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Test porównawczy języków programowania
Date: Thu, 20 Jan 2011 09:46:11 -0800 (PST)
Organization: http://groups.google.com
Lines: 88
Message-ID: <1...@e...googlegroups.com>
References: <1...@3...googlegroups.com>
<1...@i...googlegroups.com>
<n...@4...com>
<ig760o$nni$1@inews.gazeta.pl>
<7...@4...com> <igea6t$fca$1@news.onet.pl>
<9...@d...googlegroups.com>
<igf0o6$p8v$1@news.onet.pl>
<7...@n...googlegroups.com>
<igfcnh$eu$1@news.onet.pl>
<6...@l...googlegroups.com>
<igfkqd$t5m$1@news.onet.pl> <igg4g4$kie$1@inews.gazeta.pl>
<igh3lk$r55$1@news.onet.pl> <ih6o2v$1bp$1@news.onet.pl>
<ih6pdt$6e9$1@news.onet.pl> <ih6rep$e02$1@news.onet.pl>
<ih6sn9$ij2$1@news.onet.pl> <ih7ji3$5af$1@news.onet.pl>
<ih9jlt$ce$1@news.onet.pl>
NNTP-Posting-Host: 195.11.67.225
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1295545572 5609 127.0.0.1 (20 Jan 2011 17:46:12 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 20 Jan 2011 17:46:12 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: e16g2000pri.googlegroups.com; posting-host=195.11.67.225;
posting-account=jr5y-woAAAAWidgVjrSJ6j8m650CTb-v
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US) AppleWebKit/534.10
(KHTML, like Gecko) Chrome/8.0.552.237 Safari/534.10,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:188351
[ ukryj nagłówki ]On Jan 20, 3:17 pm, "Przemek O." <p...@o...eu> wrote:
>
> Jeśli by przyjąć że certyfikat wytwórcy implikuje certyfikat dla
> produktu, nie mamy takiej gwarancji. Można założyć brak złej woli
> wytwórcy, ale może się zdarzyć problem/błąd nie wykryty w procesie
> testowania.
A błąd nie wykryty w procesie testowania przez certyfikujące
laboratorium nie może się zdarzyć? Według mnie szanse wykrycia błędu w
oprogramowaniu przy testowaniu laboratoryjnym są znacznie mniejsze niż
przy podobnym nakładzie środków przy testowaniu przez QA. Bo dział QA
testuje tylko produkty tej firmy, być może jest zespół, który testuje
tylko dany produkt, dodatkowo mają wskazówki od developerów gdzie
należy szukać błędów i mają możliwość testowania produktu we
wszystkich stadiach produkcji.
Jeśli chodzi o błędy polegające na tym, że w bardzo specyficznych
sytuacjach, przy specyficznej konfiguracji, przy specyficznych danych
wejściowych pojawiających się w specyficznych relacjach czasowych
program się wysypuje, to testy laboratoryjne mają bardzo słabe szanse
na ich wyłapanie, bo są w stanie przebadać jedynie bardzo wąskie
wycinki całkowitej przestrzeni zdarzeń.
> W pierwszym przypadku można mieć nadzieje, że jednostka certyfikująca
> wyłapie ten problem i unikniemy poważnych konsekwencji (już nawet nie
> dla wytwórcy, ale dla użytkownika lub pacjenta), w drugim przypadku może
> się to skończyć bardzo źle. I pierwszy zmarły będzie efektem błędu.
W obydwu przypadkach można mieć nadzieję, i w obydwu może się to
skończyć bardzo źle.
> Dla mnie w całej sprawie jest dziwne to, że zakłada się, że programista
> / wytwórca nieposiadający certyfikatu nie wytwarza oprogramowania wg
> określonych standardów.
Zakłada się, że jeden wytwarza, a inny nie wytwarza.
> Przecież nikt nie da tworzyć oprogramowania
> osobom bez wiedzy w danym kierunku i nie posadzi pierwszej lepszej osoby
> przed klawiaturą.
Ktoś tego programistę od Theraca posadził.
> Certyfikowanie oprogramowania ma jedynie na celu potwierdzenie jego
> zgodności z wymaganiami, ustawą itd itp, lub potwierdzeniem poprawnego
> działania w zakresie przeprowadzonych badań klinicznych.
>
> Przepraszam jednocześnie, że operuję terminami z zakresu medycznego, ale
> właśnie tym się zajmuje i dla mnie certyfikacja oprogramowania łącznie z
> badaniami klinicznymi to codzienność. I to sprawdzająca się w praktyce.
No więc skoro się tym zajmujesz, to napisz: czy w innych (niż
oprogramowanie) aspektach produkcji aparatury medycznej również nie ma
wymagań certyfikacji osób projektujących tę aparaturę?
> No tak, ale i tak ten dom musi przechodzić odbiór techniczny,
> sprawdzenie straży pożarnej i innych. Czyli jest kontrola.
No i owszem, różne rzeczy są testowane, ale inne rzeczy nie są.
Zamiast tego wymaga sie odpowiednich uprawnień od projektantów i
wykonawców.
> Nie sprawdza się tak jak piszesz obliczeń, ale i każdy programista /
> zespół stosuje testowanie niezależnie od posiadania lub nieposiadania
> certyfikatów.
Ale szansa na to, że w programie będą błędy, które nie zostaną
wychwycone przez testy, jest bardzo mocno zależna od doświadczenia i
umiejętności programistów.
Następne wpisy z tego wątku
- 20.01.11 18:39 Wojciech Jaczewski
- 20.01.11 18:48 Wojciech Jaczewski
- 20.01.11 18:54 Andrzej Jarzabek
- 20.01.11 19:21 Andrzej Jarzabek
- 20.01.11 19:39 Andrzej Jarzabek
- 20.01.11 20:34 Andrzej Jarzabek
- 20.01.11 20:35 Stachu 'Dozzie' K.
- 20.01.11 20:47 Andrzej Jarzabek
- 20.01.11 22:25 Stachu 'Dozzie' K.
- 20.01.11 22:48 Andrzej Jarzabek
- 20.01.11 23:14 Michoo
- 20.01.11 23:22 Andrzej Jarzabek
- 20.01.11 23:30 Stachu 'Dozzie' K.
- 21.01.11 09:48 Tomasz Kaczanowski
- 21.01.11 10:23 Tomasz Kaczanowski
Najnowsze wątki z tej grupy
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
Najnowsze wątki
- 2025-08-06 Gdynia => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-08-06 Białystok => Inżynier oprogramowania .Net <=
- 2025-08-06 "[...] sejmowe wystąpienie posłanki Klaudii Jachiry, która zakończyła je słowami ,,Sława Ukrainie"."
- 2025-08-05 "Chiny przekraczają w wydobyciu 4 mld ton węgla, Indie i USA ponad 1 mld, a Rosja 500 mln ton [...]"
- 2025-08-05 Panuje się 181 159,42 zł./mies. na posła w 2026r.
- 2025-08-05 "Chiny przekraczają w wydobyciu 4 mld ton węgla, Indie i USA ponad 1 mld, a Rosja 500 mln ton [...]"
- 2025-08-05 Czy cos fi przechodzi przez trafo separujące?
- 2025-08-05 kajaki i promile
- 2025-08-05 Re: Tesla jest bezpieczna, wczoraj spaliła się doszczętnie na Ursynowie i nikomu się nic nie stało
- 2025-08-05 Gdynia => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-08-05 Re: Atak na lekarza w Oławie. Policja zatrzymała sprawcę na lotnisku Polska Agencja Prasowa 4 sierpnia 2025, 12:16 FACEBOOK X E-MAIL KOPIUJ LINK W szpitalu w Oławie 37-letni pacjent zaatakował lekarza, po tym, jak ten odmówił mu wypisania długoterminowego
- 2025-08-05 B2B i książka przychodów i rozchodów
- 2025-08-04 Re: Atak na lekarza w Oławie. Policja zatrzymała sprawcę na lotnisku Polska Agencja Prasowa 4 sierpnia 2025, 12:16 FACEBOOK X E-MAIL KOPIUJ LINK W szpitalu w Oławie 37-letni pacjent zaatakował lekarza, po tym, jak ten odmówił mu wypisania długoterminowego
- 2025-08-04 Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- 2025-08-04 Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML