-
Data: 2019-08-30 14:49:10
Temat: Re: Jak to robią w NASA
Od: Mateusz Viste <m...@w...tell> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Fri, 30 Aug 2019 08:06:33 +0000, Queequeg wrote:
> 2. All loops must have a fixed upper-bound. It must be trivially
> possible for a checking tool to prove statically that a preset
> upper-bound on the number of iterations of a loop cannot be exceeded. If
> the loop-bound cannot be proven statically, the rule is considered
> violated.
>
> Zgadzam się.
Czekaj czekaj, ale większość programów to jedna niekończąca się pętla.
for (;;) {
wait_input();
do_job();
}
Czy ja czegoś nie rozumiem, czy ta reguła zabrania takich konstrukcji? A
jeśli zabrania, to jak inaczej? Przecież goto też zabraniają. :)
> 3. Do not use dynamic memory allocation after initialization.
>
> Znów... zależy od konkretnego zastosowania. MISRA C zresztą mówi to
> samo. Widzę w tym logikę, ale nie chciałbym tak pisać :(
Logika jest - ale chyba tylko w lotach kosmicznych albo innych
przemysłowych dziedzinach, gdzie nic nie ma prawa się nie udać. W
praktyce program graficzny będzie alokował pamięć zależnie od tego,
jakich rozmiarów dostał plik graficzny do załadowania. Jak user ma mało
pamięci to i tak może sobie pomalować w 640x480, a przy większych
bitmapach dostanie zonk.
> 7. The return value of non-void functions must be checked by each
> calling function, and the validity of parameters must be checked inside
> each function.
>
> Tu znów odbijamy się od tego, czy to są sztywne zasady, które trzeba
> stosować, czy zbiór sugestii.
if (printf("Hello") != 5) NO_I_CO_MAM_ZROBIC();
Ciekawe jaki mają procent zachorowań na depresję wśród programistów. :)
Mateusz
Następne wpisy z tego wątku
- 30.08.19 19:20 Adam Klobukowski
- 30.08.19 19:21 Wojciech Muła
- 31.08.19 22:14 M.M.
- 31.08.19 22:54 M.M.
- 31.08.19 23:15 M.M.
- 01.09.19 10:01 AK
- 01.09.19 10:05 AK
- 01.09.19 19:17 Queequeg
- 01.09.19 19:21 Queequeg
- 01.09.19 19:23 Queequeg
- 01.09.19 22:55 Maciej Sobczak
- 02.09.19 08:30 AK
- 02.09.19 14:16 Maciej Sobczak
- 02.09.19 21:33 AK
- 03.09.19 09:42 M.M.
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=
- 2024-05-17 Bieruń => Administrator i wdrożeniowiec Lotus Notes/Domino <=