Article View: pl.comp.programming
Article #215567Re: Ada Tutorial - w Instytucie Lotnictwa
From: Maciej Sobczak
Date: Tue, 14 May 2019 07:55
Date: Tue, 14 May 2019 07:55
37 lines
5001 bytes
5001 bytes
> > Tylko nie pisz, że "gdyby zatrudnili porządnych programistów....", > > bo to jest argument od czapy. > > Nie od czapy, ale sedno sprawy. > Jak w każdym rzemiośle oprócz materiału, narzędzi, maszyn itp.. > o końcowej jakości produktu *w dużej mierze* decyduje właśnie dobry > fachowiec. I tu jest właśnie różnica pomiędzy systemami krytycznymi a "normalnymi", gdzie obowiązują reguły rzemieślnicze (używam tego słowa w pozytywnym sensie "craftmanship", żeby nie było). Jeżeli masz firmę, która robi cokolwiek niekrytycznego, to od jakości programistów zależy jakość produktu tak samo, jak od jakości jakiegokolwiek innego rzemieślnika zależy jakość tego co tworzy. Tu jest pełna zgoda. Co więcej, od ich jakości zależy nawet to, jak bardzo możesz odpuścić temat weryfikacji. W idealnym przypadku możesz w ogóle nie robić żadnej weryfikacji, bo produkt będzie po prostu dobry i po prostu odniesie sukces. Tak samo, jak Linux odniósł sukces, chociaż jądro Linuksa w ogóle nie ma unit testów. Powtórzę na wszelki wypadek: jądro Linuksa nie ma unit testów. I najwyraźniej nie jest to żaden problem. Natomiast jak robisz system krytyczny, to podlegasz regulacjom, standardom i certyfikacjom. I ciekawostka jest taka, że np. w branży lotniczej standardy jakości nie obejmują bezpośrednio rekrutacji. Tzn. rekrutacja jest pod lupą w takim samym stopniu, jak np. zakup długopisów albo żarówek. Czyli w myśl tych standardów jakość produktu nie bierze się z genialności kodera klepiącego kod (jak ktoś się uważa za genialnego, to niech sobie Linuksa poklepie, z pożytkiem dla wszystkich). Jakość bierze się z *weryfikacji* a nie z klepania. Właściwie to w zgodzie ze standardami (!) można by generować kod losowo tak długo aż przejdzie weryfikację. Dlatego kod napisany przez genialnego programistę sam w sobie jest *bezwartościowy*. Słyszałem określenie "there is no quality built in" w odniesieniu do naklepanego poza procesem kodu i to dobrze określa obowiązujący stan umysłu. Jakość bierze się z weryfikacji a nie z klepania kodu. I jeśli jakości nie ma, to znaczy tylko tyle, że weryfikacja była słaba. Dlatego mądre internetowe stwierdzenia "gdyby zatrudnili dobrych programistów" po każdym upublicznionym fakapie, w którym zginęli ludzie, są od czapy. To nie ta branża. > To, że branża IT Tak. Zgadzam się. Tylko że IT i systemy krytyczne to są odrębne branże. No chyba że zaczniemy je integrować i na siłę stosować metody jednej w drugiej. Ale zgadnijcie dlaczego Google odpuścił temat autonomicznych pojazdów... Przecież nie z powodu jakości programistów. > A w IT? nawet uC? > Dwa lata po studiach to już Experienced Senior Developer ;) Tak. Jest takie zjawisko. I na razie nie widać, żeby to się miało odwrócić. -- Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID:
<da41dda0-50a5-46a4-ac05-2e9649d7ae76@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!takemy.news.telefonica.de!telefonica.de!weretis.net!feeder7.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!c48no2165620qtc.0!news-out.google.com!b26ni594qtp.1!nntp.google.com!c48no2165617qtc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<c1760262-b4a3-44fe-a99e-2fa16be86820@googlegroups.com> <btKtE.25850$wd2.16727@fx24.fr7> <9537dd39-0164-41a6-803b-393b77b4a701@googlegroups.com> <qasr5t$7i2$1@dont-email.me> <0eb77d44-3b22-41cb-8339-2346fe0b6c4d@googlegroups.com> <qav4vb$87q$1@dont-email.me> <dccdf13d-3ee3-4cf0-a99e-da8828579160@googlegroups.com> <qb1kr4$nqn$1@dont-email.me> <c5cd80a1-d0a2-4fc5-810d-30ff996a9d03@googlegroups.com> <qb4hnr$eqn$1@dont-email.me> <3e300e66-45f8-4df2-ae7e-6a95a687bd1a@googlegroups.com> <qbb69q$ef6$1@gioia.aioe.org>Show Full Headers
Complete Article Headers
X-Received: by 2002:a0c:c16c:: with SMTP id i41mr27302943qvh.183.1557820517738; Tue, 14 May 2019 00:55:17 -0700 (PDT) X-Received: by 2002:ac8:1a1a:: with SMTP id v26mr617434qtj.270.1557820517574; Tue, 14 May 2019 00:55:17 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!takemy.news.telefonica.de!telefonica.de!weretis.net!feeder7.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!c48no2165620qtc.0!news-out.google.com!b26ni594qtp.1!nntp.google.com!c48no2165617qtc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Tue, 14 May 2019 00:55:17 -0700 (PDT) In-Reply-To: <qbb69q$ef6$1@gioia.aioe.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.245.24; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 194.9.245.24 References: <c1760262-b4a3-44fe-a99e-2fa16be86820@googlegroups.com> <btKtE.25850$wd2.16727@fx24.fr7> <9537dd39-0164-41a6-803b-393b77b4a701@googlegroups.com> <qasr5t$7i2$1@dont-email.me> <0eb77d44-3b22-41cb-8339-2346fe0b6c4d@googlegroups.com> <qav4vb$87q$1@dont-email.me> <dccdf13d-3ee3-4cf0-a99e-da8828579160@googlegroups.com> <qb1kr4$nqn$1@dont-email.me> <c5cd80a1-d0a2-4fc5-810d-30ff996a9d03@googlegroups.com> <qb4hnr$eqn$1@dont-email.me> <3e300e66-45f8-4df2-ae7e-6a95a687bd1a@googlegroups.com> <qbb69q$ef6$1@gioia.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <da41dda0-50a5-46a4-ac05-2e9649d7ae76@googlegroups.com> Subject: Re: Ada Tutorial - w Instytucie Lotnictwa From: Maciej Sobczak <see.my.homepage@gmail.com> Injection-Date: Tue, 14 May 2019 07:55:17 +0000 Lines: 74 X-Received-Bytes: 5504 X-Received-Body-CRC: 1045990446 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit