テストケースのコーディングが不要！ Test Case Editor

単体テストの最大の課題とは？

単体テストが必要であることは認識している。でも時間がないので現実は… という開発現場は少なくないと思います。

単体テスト工程における最大の課題はテストケースのコーディング作業とされ、ツールを使用しない場合、 そのコーディングの量はテスト対象のソースコードの 3～5 倍とも言われています。

テストケース、スタブのコーディングが不要！

C++testの最新バージョンではソースコードを記述せずにテストケースを作成できる「Test Case Editor」が新たに搭載されました。

Test Case Editorを使うと、コーディングを行うことなく、テストケースとスタブを作成することができます。またテストケースの入力値／期待値、スタブの振る舞いなども独自のGUIから設定することが可能です。

さらに、テストケースのメンテナンスもGUI上で行うことができるため、テスト対象が変更される度にテストケースのコードを修正するといった煩雑な作業から開発者を解放します。

高機能なスタブ

Test Case Editorを利用することで、コーディングを行うことなく高機能なスタブを作成することが可能です。 例えば、渡された引数に応じた戻り値を設定するなど、複雑な振る舞いをGUI上で容易に組み込むことができます。

条件に応じて、オリジナル関数をそのまま呼び出す／スタブの処理を実行するを切り分けることもできます。 これにより、標準関数の処理が失敗した場合などの異常系の動作検証を簡単に行うことができます。

TÜV SÜDによる認証

C++testは、第三者試験認証機関であるTÜV SÜD社よりISO 26262（自動車の機能安全についての国際規格）、IEC 61508（機能安全の国際規格）に準拠したテストツールとして認証を取得しております。最新のC++test 9.6においても、認証を再取得いたしました。
テストツールが認証を取得していない場合、ユーザーは規格の要求に応じて、第三者試験認証機関に認証を依頼し、認証を取得するための時間や費用が必要になります。C++testは認証のためのコストを削減します。

無償体験版をお試しください

これらの機能は、無償体験版にてご確認いただけます。
まだC++testをご利用いただいていない方は、この機会にぜひお試しください。
C++testの機能概要、稼働環境は以下をご覧ください。

・単体テスト
・コーディングルールチェック
・フロー解析
・実行時メモリエラー検出／アプリケーション実行時カバレッジ
・最新の稼働環境

※本文中に記載されている製品名、および社名はそれぞれ各社の商標または登録商標です。

C++test 体験版ダウンロードは ↓ こちら ↓です。

C++test 新バージョン リリース！

C言語／C++言語対応テストツール 「Parasoft C++test 9.5.4」をリリースいたしました。
多くのお客様からご要望をいただいておりましたIAR Compiler for RXをはじめ、サポート環境を拡充しております。

IAR Compiler for RXのサポート

機能安全規格への取り組みが広がる中、TÜV SÜDより認証された開発ツールへの関心が高まっています。

IARシステムズ社のルネサス RX用 IAR Embedded Workbench は、IEC 61508およびISO 26262に基づき認証された機能安全バージョンがリリースされており、今後ニーズが高まっていくことが予想されます。

こうした状況の中、C++test 9.5.4では、IAR Compiler for RXを正式サポートいたしました。

C++testは、ルネサス RX用 IAR Embedded Workbench のプロジェクトをインポートできるため、簡単に静的解析、単体テストを実施することができます。

サポート環境の拡充

IAR Compiler for RXのほか、以下がサポート環境に加わりました。

＜IDE＞
・Microsoft Visual Studio 2013
・Eclipse 4.3 Kepler

＜コンパイラ＞
・Microsoft Visual C++ 2013(12.0)
・GNU gcc/g++ 4.8.x、4.9.x
・Renesas HEW M16C/R8C C Compiler
・Green Hills MULTI C/C++ Compiler for PowerPC
・Green Hills MULTI C/C++ Compiler for INTEGRITY on PowerPC
・Texas Instruments CCS ARM C/C++ Compiler
・ARM C/C++ Compiler for uVision

最新の稼働環境一覧については、こちらをご覧ください。

※C++testはインストールしたホストマシンだけではなく、マイコンベンダーが提供するシミュレーターや、実機（ターゲット機）でも単体テスト、カバレッジ計測が可能です。 また、クロスコンパイラを使用した静的解析も行うことができます。

稼働環境一覧に含まれていないマイコンについては、個別でのご相談も承っておりますので、ぜひお問い合わせください。

C++testの機能概要は以下をご覧ください。

・単体テスト
  http://www.techmatrix.co.jp/quality/ctest/unittest/index.html
・コーディングルールチェック
  http://www.techmatrix.co.jp/quality/ctest/staticanalysis/index.html
・フロー解析
  http://www.techmatrix.co.jp/quality/ctest/bugdetective/index.html
・実行時メモリエラー検出
  http://www.techmatrix.co.jp/quality/ctest/memoryanalysis/index.html

無償体験版をお試しください

ほかにも、「Parasoft C++test 9.5.4」では、MISRA C 2012をはじめとする約80個のコーディングルール追加や、ISO 26262対応で要求される「関数カバレッジ」の対応等、さまざまな機能拡張が行われています。

これらの機能は、無償体験版にてご確認いただけます。

まだC++testをご利用いただいていない方は、この機会にぜひお試しください。

※本文中に記載されている製品名、および社名はそれぞれ各社の商標または登録商標です。

最新版のC++test 9.5.4体験版ダウンロードは ↓ こちら ↓です。

C++test事例セミナー「より高品質なソフトウェア開発を目指せ！事例から学ぶ品質確保！」開催レポート

2/25に秋葉原UDXギャラリーネクストにて開催されました
「より高品質なソフトウェア開発を目指せ！事例から学ぶ品質確保！」
事例セミナーは多くのお客様にご来場いただき、盛況のうちに終了いたしました。

遠方からもご足労いただき、誠にありがとうございました。

ご都合により来場いただけなかった方で、セミナー内容にご興味のある方は、
こちらまで、お気軽にお問い合わせください。


会場の様子

=============================================================================

東芝機械株式会社

青野 竜二様（写真上）

頴川 裕一様（写真下）

産業用機械やロボットの安全性能を証明する

『機能安全国際規格IEC 61508』の認証取得までのプロセスとツールの活用

一般に「3年はかかる」と言われるIEC 61508認証(SIL3)の取得を、わずか「約1年半」で取得するという興味深い内容でした。認証取得を実現した企業だからこそ、お話しできる経験を交えた貴重な講演内容でした。

=============================================================================

名古屋大学大学院情報科学研究科附属　組込みシステム研究センター（NCES）

鴫原 一人様

「ET AWARD 2013オートモティブ／交通システム部門　優秀賞」を受賞した

『AUTOSAR仕様の車載制御システム向けリアルタイムOS』開発における

品質向上への取り組み

今回、ご講演いただいた『車載制御向けリアルタイムOS』は、昨年11月に行われたエンベデッドテクノロジー展の「ET AWARD 2013 オートモティブ部門」にて優秀賞」を受賞されています。

さすが研究者と言わせる講演内容で、カバレッジ計測ツールの仕組みに触れるような深い内容でした。

=============================================================================

テクマトリックスではそれぞれの事例に合わせたツールのデモを実施。

今回の事例では、弊社の取り扱うParasoft社製テストツールC++testが活用されていました。
それぞれの事例で利用された機能の紹介のほか、ターゲット機での単体テストも実演しました。

今回、ご紹介させていただいた事例については、テクマトリックスサイトでもご紹介中です。

▼C++test導入事例
　東芝機械株式会社様
　名古屋大学大学院情報科学研究科附属　組込みシステム研究センター

他にも多くの事例をご紹介中です。ツールご検討の際には是非、ご参考ください。

また、今回の事例でご紹介させていただいたParasoft社製テストツールC++testについての
詳しい情報、無償体験版ダウンロードはこちら↓です。

　

2014年2月25日開催 事例セミナー受付開始！

─◆紹介事例◆─

【1】機能安全国際規格IEC 61508(SIL3)の認証取得をされた『東芝機械株式会社』様

【2】AUTOSAR仕様の車載制御システム向けリアルタイムOSを開発されている

『名古屋大学　大学院情報科学研究科附属　組込みシステム研究センター』様

【参加お申し込みはこちら】

https://www.techmatrix.co.jp/secure/form/inquiry.asp?id=QU00000448&parm1=parablog

企業は常に新しい製品・サービスを、いち早く市場に投入することにしのぎを削っています。近年、その製品・サービスにとって重要な役割を果たすソフトウェアの需要はますます増加しており、ソフトウェアの大規模・複雑化が進む一方で、短期間で効率的に高い信頼性・安全性を確保することは、常に大きな課題となっています。

中でも、自動車や産業機械、医療機器をはじめとした、高い安全性が要求される機器に搭載されるソフトウェアには、安全規格（ISO 26262、IEC 61508、IEC 62304など）への準拠といった、より高品質なソフトウェア開発が必要とされています。
これらの業界におけるソフトウェア品質確保に対する意識は極めて高く、その取り組みは、他の組み込み業界においても非常に有効であると言われています。

そこで今回は、IEC 61508(SIL3)の認証取得をされた「東芝機械株式会社」様とAUTOSAR仕様の車載制御システム向けリアルタイムOSを開発されている「名古屋大学　大学院情報科学研究科　附属組込みシステム研究センター」様をお招きし、テストツールC++testを活用した品質向上施策を、ご紹介いただきます。

高品質なソフトウェア開発を目指す全ての組込み開発関係者のみなさま、必見の内容となっておりますので、この機会に是非、ご参加ください！


【参加お申し込みはこちら】
https://www.techmatrix.co.jp/secure/form/inquiry.asp?id=QU00000448&parm1=parablog


　─◆C++testユーザーの活用事例◆──────────────────────
【東芝機械様】
　http://www.techmatrix.co.jp/casestudy/toshibamachine/index.html
【名古屋大学 大学院情報科学研究科　附属組込みシステム研究センター様】
　http://www.techmatrix.co.jp/casestudy/nagoyauni/index.html
　──────────────────────────────────────

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
◆セミナー概要
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

【講演内容】
　■産業用機械やロボットの安全性能を証明する『機能安全国際規格IEC 61508』の
　　認証取得までのプロセスとツールの活用

　【講師】
　　　東芝機械株式会社 制御システム事業部 制御システム技術部ハードウェア開発担当
　　　グループマネージャー　青野 竜二様
　【概要】
　　　一般に「3年はかかる」と言われるIEC 61508認証(SIL3)の取得を、いかにして
　　　「約1年半」で実現したのか。取得までのプロセスと、C++testによる「コンセプト
　　　認証の作業軽減」「テストの自動化・効率化」などの活用事例をご紹介いただきます。


　■「ET AWARD 2013オートモティブ／交通システム部門　優秀賞」を受賞した
　　『AUTOSAR仕様の車載制御システム向けリアルタイムOS』開発における品質向上への
　　取り組み

　【講師】
　　　名古屋大学　大学院情報科学研究科附属　組込みシステム研究センター
　　　研究員　鴫原 一人様
　【概要】
　　　ISO26262に準拠する検証プロセスにおいて重要な「MC/DCの計測」をどのように
　　　実施したのか、そのポイントやC++testの活用法について、ご紹介いただきます。


　■テクマトリックスの製品とサービスのご案内

　※内容は、変更する場合がございます。あらかじめご了承ください。

【開催日程】2014年2月25日(火)13:30～17:00 (開場：13:10)

【会場】秋葉原UDXギャラリーネクスト4F NEXT-3
東京都千代田区外神田4-14-1
http://udx.jp/next/access.html

【参費用】無料

【定員】70名(定員になり次第締め切らせていただきます。)
　　　　※同一部署からのご参加は、2名様までとさせていただきます。
　　　　※ご同業の方の参加はご遠慮いただいております。

【申込方法】下記お申し込み受付ページからお申し込みください。
　https://www.techmatrix.co.jp/secure/form/inquiry.asp?id=QU00000448&parm1=parablog


【詳細】　http://www.techmatrix.co.jp/i/qu/20140225/

-------------------------------------
■講演者プロフィール
-------------------------------------
　東芝機械株式会社 制御システム事業部 制御システム技術部ハードウェア開発担当
　グループマネージャー　青野 竜二様

• １９９４年東芝機械入社
• 現在、制御システム事業部にて当社製機械用コントローラの開発に従事。
• 主な成果：超高速サーボ電流制御ＬＳＩの開発、プラットフォームコントローラＶ５０の開発、汎用安全ユニットの開発と認証取得など
• 資格：日本電気機器工業会（ＮＥＣＡ）セーフティアセッサ、
• エンベデッドシステムスペシャリスト（情報処理技術者）等

--------------


　名古屋大学　大学院情報科学研究科　附属組込みシステム研究センター
　研究員　鴫原 一人様

• 業務系システム開発、制御系ソフトウェア開発等に従事後、名古屋大学でマルチプロセッサ対応リアルタイムOSの研究開発に従事。 
• 現在は、AUTOSAR仕様に準拠したソフトウェアの研究開発に従事。
• 情報処理学会、日本ソフトウェア科学会各会員。