オーバーヘッド って何なんだ！！！？
～ソフトの動的解析に付きまとう余計な処理時間を何とかしたい～
ソフトウェアの検証を考えるうえでゼッタイ避けては通れないオーバーヘッドについて、組込み機器をアレコレいじってきたエンジニアが、とりあえず思いの丈をまとめてみました。
続きを読む
カテゴリー: カバレッジ
ホワイトペーパー「ストレスフリーな動的カバレッジ計測手法」
近年、「機能安全」といった規格準拠の開発プロセスが望まれる中、組込みソフトウェアのカバレッジ分析の効率化に注目が集まっています。現場の負担を減らす動的カバレッジ計測手法にも、テストコードのオーバーヘッドなど、いくつかの課題があります。「動的テストツール DT10」による、さらなる効率化を実現するための課題解決のアプローチとは？
ダウンロード
動的カバレッジテストにおけるDT10運用のコツ
DT10で容易に動的なカバレッジが計測できるものの、どのようにデータを活用するか？チーム運用をすればよいのか？が課題となります。今回はDT10のカバレッジテストの運用についてご紹介します。
続きを読む
カバレッジを始めよう！#3～関数カバレッジとコールカバレッジ～
今回の記事では、「関数カバレッジ」と「コールカバレッジ」をご紹介します。これらのカバレッジは、主に統合テストフェーズで計測されるカバレッジです。統合テストフェーズでは、統合した関数やモジュールが、正常に動作するのか確認するテストを行います。そこで使用される「関数カバレッジ」と「コールカバレッジ」とは、どのような基準なのかご紹介します。
続きを読む
カバレッジを始めよう！#2 ～より強力なカバレッジ基準「ブランチカバレッジ」「MC/DC」～
前回の記事「カバレッジを始めよう！①～カバレッジって何？～」では、
コードカバレッジにおいて基本的な「ステートメントカバレッジ」についてご紹介をしました。
今回は、さらに強度の強いカバレッジ基準「ブランチカバレッジ」「MC/DC」についてご紹介します …
カバレッジを始めよう！#1 ～カバレッジって何？～
ソフトウェアのテストを行うにあたり、「カバレッジ」は重要な指標です。
年々その重要性は高まり、ソフトウェアテストにおいて、「カバレッジ」を計測している企業が増加しています。
今回は、基本的な「カバレッジ」の考え方をご紹介します …
ホワイトペーパー「知っておきたいMC/DCの計測アルゴリズム」
MC/DCは、ISO 26262規格において、極めて高い品質保証を求められるテストに用いられるカバレッジです。MC/DCの計測アルゴリズムについて、具体例とあわせて解説します。
ダウンロード
ホワイトペーパー「機能安全規格準拠の統合テスト手法のご提案」
ISO 26262規格準拠のソフトウェア開発における開発者の課題解決、及びISO 26262で推奨される実機動的テストにおいて、「DT10 Automotive Edition」で実現可能となる規格準拠の統合テスト手法を解説します。
ダウンロード
