The Power of 10: Rules for Developing Safety-Critical Code - Wikipedia
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software.[1] The rules are intended to eliminate certain C coding practices that make code difficult to review or statically analyze. These rules are a complement to the MISRA C guidelines and have been incorporated into the greater set of JPL coding standards.[2] The ten rules are:[1] Avoid co
Eclipseで使える静的テストツール - @IT
Eclipseプラグインで提供されるテストツールが充実してきた。本連載では、システム開発の現場に有効なテストツールを紹介し、統合開発ツールにEclipseを選択する開発におけるテストの効率化、ソフトウェア品質の向上のヒントを提供する。（編集部） 静的解析ツールは、プログラムに対して、機械的にチェックを行うことにより、文法スタイルの誤りやパターン化されたバグを検出します。今回はCheckstyle、PMD、FindBugsプラグインを紹介します。 静的解析ツールの特長 皆さんは過去に、自分が書いたソースコードに潜在的な問題がないか、複数のプログラマーが参加する形式でレビューをしてもらった経験をお持ちでしょうか？ 実施した長時間のレビューにもかかわらず、ほとんどの指摘がコーディング規約違反や、文法スタイルに関する誤りについてだったことはないでしょうか。 本来コードレビューは、仕様が正しく実装さ
Indian Hill Style Manual (ver. 6.1 + japanese translation)
Indian Hill Style Manual (ver. 6.1 + japanese translation) プログラム言語にはたいていいくらかの自由度があって、 同じ動作をするプログラムをいろいろに書けたりします。 たとえば C の場合は空白をどのようにいれるかとか、 ブレース (日本では中カッコとよばれる { } のこと) をどこに書くかとかが よく問題になります。 これらをめちゃめちゃにやると言語仕様上は問題がなくても、 読みにくくなるので、なるべく reasonable な規約を一貫して用いるべきです。 Indian Hill Style Manual は C 言語のスタイルについての標準的 (いやむしろ古典的というべきかもしれぬが) な規約を記述した文書です。 邦訳をみたことがないので、私(豊田英司) と2名で訳してみました。 cstyle-ja.htm: Japanes
Ｃプログラミング診断室
はじめに 開院準備 昔むかし／ レベル差／ 教育／ ネットワーク／ 情報集め／ 隠すことについて／ プログラムコンテスト／ ドキュメント／ 楽するように／ 手抜きと下手の違い／ 開院 第１部 外来 第１章 普通の初心者 最初から充実した(!?)プログラムが登場 関数を短くし、コメントを改善する 上手になる秘訣／ プログラムの紹介／ 何だ、このプログラムは!!／ 短くするには／ コメントについて／ 無駄な努力をやめよう／ 名前／ 気になる個所／ 修正プログラム／ 課題／ まとめ 第２章 これでもプロ 売りものであるにもかかわらず、超きたない！ 構造的な欠陥の指摘〜引数、ポインタの活用 プログラムの紹介／ 「超」基本的問題点／ 関数分解／ 構造的欠陥／ 引数を使おう／ ポインタ／ その他／ まとめ（修正プログラム） 第３章 上司が問題 まさに驚異的なプログラムの見本というべき 内容の修正から、
GNU coding standards - GNU Project - Free Software Foundation
Free Software Foundation last updated August 02, 2025 This manual (standards) is available in the following formats: HTML (372K bytes) - entirely on one web page. HTML - with one web page per node. HTML compressed (92K gzipped characters) - entirely on one web page. HTML compressed (112K gzipped tar file) - with one web page per node. Info document (80K bytes gzipped tar file). ASCII text (236K by
MISRA
MISRA provides world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA is a collaboration between manufacturers, component suppliers, engineering consultancies and academics which seeks to research and promote best practice in developing safety- and security-related electronic systems and other software-intensive ap
報告書・成果物（2018年度）：IPA 独立行政法人 情報処理推進機構
2018年度 | 2017年度 | 2016年度 | 2015年度 | 2014年度 | 2013年度 | 2012年度 | 2011年度 | 2010年度 2009年度 | 2008年度 ※ダウンロードファイルのお取り扱いについては注意事項をお読みください。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Charming Python: Functional programming in Python, Part 3
Mozilla — 利益ではなく、ユーザーのためのインターネット
Microsoft Learn: Build skills that open doors in your career
Microsoft Learn: Build skills that open doors in your career
GNU コーディング規約
Uwyn - C++ coding standard
Atlas C++ Coding Standard Specification
CodingStandard.Com