LDRA ツールスイート

 

LDRA ツールスイートの構成

 
 

スタンダード準拠

 
 
 
Register
 
LDRA Zero Defect Software Development

C Standards C++ Standards Ada Standards
MISRA-C:1998
JSF++ AV
SPARK Ada subset
MISRA-C:2004
High Integrity C++*
Ravenscar Profile
CERT C
MISRA-C++:2008
 
HIS
LM Train Control Program  
JPL    
GJB    


何を期待できるか?

スタンダードの目的として肝に銘じたいのは、スタンダードではソースコードとコメントの共通フォーマットを仕様化し、エラーを未然に防ぐこと、検出を容易にすること。見た目だけではなく、どのようにコードが書かれるべきかの詳細です。もちろん、プログラミングスタンダードへ一貫して順守することが大切なことであって、単にプログラミングスタンダードを作るだけで埃がかぶるのではしかたがない。コードに対してルールを適応しないのなら、スタンダードは意味を成しません.

では、スタンダードから何が得られるの?
MISRA-C++:2008

もともとスタンダードへの順守は、セーフティ・クリティカルなアプリケーションソフトウエアを提供する企業で行われてきました。ソフトウエアの欠陥が人命に関わるならば、開発者はそのソフトウエアが100%意図どおりに機能することを証明しなければなりません。航空、軍需、防衛、原子力発電所などが、これに相当することは容易に判断できますが、自動車や医療機器開発企業も、同様の信頼性が求められます.

"しかしながら、ソフトウエア・コントロールに対する依存はこれまでになく増加しており、高度に洗練されたソフトウエア開発プロセスを取っていない、セーフティ・クリティカルなビジネスではない分野でも、その開発するアプリケーションの本質として、高信頼性・安全性に対する解析やテストを導入しなくてはならないことに気付きはじめています。"

The Cert C Secure Coding Standardさらなる情報がご必要ですか?

参考資料のご案内 Programming Standards: Bane or Benefit?

この資料は、複数のプログラミングスタンダードを取り上げ、どのようにエラーがチェックされるかに加え、企業がスタンダードを採用することで得られる効果についての考察です。そして、プログラミングスタンダードを一部の企業、組織が採用しない理由、その場合の損失について紹介しています。 (ダウンロードには登録が必要です).

* The High-Integrity C++ Coding Standard: © The Programming Research Group


 

 

 

 
     
HomeAbout UsProductsServicesDownloadsMedia CentreContact Us