気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント44件
- 注目コメント
- 新着コメント
fortrand
脆弱性対策にも使えそう。出典が2006年なことは注意。命がかかわらなくてもお金が関わってたらこれくらいしてほしい。あとこれ思い出した。https://twitter.com/DaiiusJmst/status/886826085014413313
z1h4784
スペースシャトルをRustで開発しろとか、ちょっとは考えてから発言しろよ。将来はともかく今は無理だろ。この手の「イケてるエンジニア」を排除することも命に関わるシステムを開発する上で重要なこと
vanbraam
ここに書かれてる事も重要だと思うが,人間の理解力だけに頼らないで,形式的検証(formal verification)とかhard real-time OSの様な計算機科学の成果の活用を考える方が重要だと思う
kazutanaka
ググれば見つかるオリジナルには各ルールの詳細な根拠と末尾に意図が書かれている。リソース制約があるミッションクリティカルなCコードという前提条件なら、再帰、ジャンプ、動的メモリ割当の禁止はもっとも。
z1h4784
スペースシャトルをRustで開発しろとか、ちょっとは考えてから発言しろよ。将来はともかく今は無理だろ。この手の「イケてるエンジニア」を排除することも命に関わるシステムを開発する上で重要なこと
Yoshiya
GIGAZINEは食い物ネタだけしとけばいいと改めて感じた記事である。（goto使うなとか戻り値が無い関数はvoidとか関数ポインタは使わないとかエラーチェックを厳密になんて、命に関係無いじゃん。要は可読性が重要なだけ）
AyeBee_TY
GIGAZINEがめずらしくプログラミングの話題を取り上げてると思ったら恐ろしくないようがない上に何も目新しいことを言ってなかった上に無意味な画像でかさまししてて内容がぜんぜん無かった。悲しい。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
命に関わるコードを書く時の10個のルール
ミス一つで命に関わったり数年の努力が失われたりするような重大なコードを書く場合、どのような点に気... ミス一つで命に関わったり数年の努力が失われたりするような重大なコードを書く場合、どのような点に気を使うべきなのかを、NASAで働くコンピューター技術者のGerard J. Holzmannさんが「The Power of 10」としてまとめています。 The Power of 10: Rules for Developing Safety-Critical Code - Wikipedia https://en.wikipedia.org/wiki/The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code 1. Gotoや再帰など複雑なフローは避ける By atsunori kohsaki 2. 暴走を阻止するため、全てのループに回数上限を設定する By Woplu 3. ヒープ領域のメモリを割り当てない これは、使用済みメモリが
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
2018/04/30 リンク