正常でない順序で操作されると、決めた状態へ落ちない
起動が終わる前に停止の操作が入ると、どちらも完了しないまま制御が待ち続けます。確かめる組み合わせを決めておかなければ見えないままです。
GENZ, Inc.
組込みソフトウェア向け
組込みソフトウェアの
組込みソフトウェア向け
組込みソフトウェアのソフトウェアテスト
出荷後に不具合を直す手段は、回収か全台へのアップデート配信しか残りません。決めた条件、設定、仕向けのもとで動くかを出荷前に確かめます。
支援事例
支援実績5,000件以上
組込みソフトウェアでよくある不具合
組込みソフトウェアの不具合には、出荷後の現場でしか姿を見せないものが少なくありません。同じ状況を作り直せない申告も多く、見取り図がなければ個別の偶然として処理されるだけです。
正常でない
電源や通信が切れたあと、設定と記録が元に戻らない
切れた瞬間の処理の進み具合で、残るものが変わります。決めた保護動作や復帰が確かめられていないことも少なくありません。
仕向けを1つ足したあと、既存の製品の表示が変わる
出荷先が1つ増えると、条件の差は仕向け同士の掛け算で増えます。分岐を1か所足すだけで、関係ない既存の仕向けが壊れます。見直す枠は工程にありません。
部品や基盤の版が上がっただけで、既存の動作が変わる
部品・基盤の版が供給側の都合で上がると、内部のタイミングがずれて間に合っていた処理が間に合わなくなります。提供元が見るのは土台までです。
短時間の確認では出ず、長く動かすと現れる事象が残る
内部の資源が解放されないまま使い切られると、数日動かし続けた末に操作を受け付けなくなります。出荷前の短い確認では現れません。
残存した不具合により生じる問題
出荷後に見つかった不具合は、購入者の手元で止められず、書き換えもできません。対応の重さは、出荷前にどこまで確かめたかを示せるかで決まります。
静的テスト（レビュー）でおさえるべき観点
静的テスト（レビュー）は、設計書などの文書が製品の実態と合っているかを対照する確認です。状態の遷移や設定と仕向け、入力の範囲、接続の取り決めや動作の記録という5つの観点で照らし合わせます。
状態遷移の網羅性
状態と動作モードの区分と遷移の条件を、仕様へ照合
状態遷移に未定義の組み合わせが残ると、挙動が実装の都合で決まり、合否基準を置けません。だからこそ、遷移の抜け漏れを先に洗い出すことが、その後の確認作業全体の土台になります。
確認する資料
- 状態遷移定義書
- 動作モード一覧
- 遷移条件仕様書
設定と仕向けの整合
設定と仕向けの組み合わせを、実際の出荷計画へ照合
設定と仕向けは国・言語・電源条件や販売先ごとの機能の有無から成り、出荷計画との一致を照合します。計画にある出荷先の設定が文書にないと、その組み合わせが確認対象から抜け落ちます。
確認する資料
- 設定項目仕様書
- 仕向け一覧表
- 出荷計画書
入力範囲と異常時対応
入力の範囲と異常時の扱いを、機器側の仕様へ照合
入力には信号ごとに範囲と分解能が定められており、ハードウェア設計部門の入力仕様と一致するかを照合します。範囲外の値への扱いが文書にない製品は、異常時の応答が実装者ごとの判断に委ねられています。
確認する資料
- 入力仕様書
- 信号範囲一覧
- 異常時対応規定
接続仕様との整合
接続の相手との授受の取り決めを、実際の構成へ照合
上位システムや他社機器との接続では、取り決めが文書にあり、実際の相手を網羅しているかを確かめます。口頭だけに残る接続は相手側の版が上がると気づかず壊れるため、文書の版の一致まで確かめます。
確認する資料
- 接続仕様書
- 授受項目一覧
- 構成一覧表
記録項目と保持期間
動作の記録の項目と上限時の扱いを、運用の実態へ照合
動作の記録は、出荷後の申告を切り分ける現場の手がかりになります。残す内容と保持期間、取り出し方や上限時の扱いが文書で定められているか照合し、残す範囲は出荷後に困る現場の声から逆算して決めます。
確認する資料
- 記録項目定義書
- 保持期間規定
- 上限時対応手順
- 運用手順書
動的テストの設計・実行のポイント
機能・設定・状態・接続相手の掛け合わせは全数を確かめられません。同値分割法・境界値分析などで絞り込み、ケースへ起こします。
STEP 01
禁止順序と状態遷移状態遷移テストで禁止された順序や電源断を再現する
どう確かめるか
状態の移り変わりを、禁止の順序まで含めて確かめる
運転中に受け付けない操作や電源断後の崩れは、異常な順序や電源断を意図的に起こして確かめます。表にない遷移ほど市場で最初に踏まれます。
- 01運転中に受け付けない操作の組み合わせを表に洗い出す
- 02電源断や通信断を意図的に起こし復帰後の状態を確認する
- 03表にない遷移が生じていないかを期待結果と照らして判定する
OUTPUT禁止遷移の確認結果
STEP 02
入力と閾値の境界値同値分割法と境界値分析で入力や上限の境目を選ぶ
どう確かめるか
入力の範囲と、閾値や記録の上限の境目を確かめる
同値分割法では同じ扱いの値から代表値で判定を見、境界値分析では閾値の直上・直下を選びます。判定の誤りは境目へ集中するため、機種ごとの境目を割り出してケースへ起こします。
- 01入力の値を同値分割法で代表値ごとの区分に分類する
- 02閾値の直上・直下を境界値分析で選び判定を確かめる
- 03記録の上限に達する境目でも扱いが仕様どおりかを確認する
OUTPUT境界値の確認結果
STEP 03
機能・設定・仕向けの組合せデシジョンテーブルテストで組み合わせと結果を確認する
どう確かめるか
機能と設定と仕向けの組み合わせを、整理して確かめる
デシジョンテーブルテストでは、条件と取りうる値、起きる振る舞いを表へ並べ、列ごとに判定と出力を照らします。ある仕向けで操作できないはずの機能が別の仕向けで操作できる事象が出ます。
- 01機能と設定と仕向けの組み合わせを一つの表に整理する
- 02デシジョンテーブルテストで条件と期待する振る舞いを照合する
- 03ある仕向けだけで許される操作が他へ漏れていないかを確かめる
OUTPUT組み合わせと結果の対応表
STEP 04
長時間稼働と版更新の回帰連続稼働と版更新後の回帰テストで振る舞いを確かめる
どう確かめるか
長時間の連続稼働と、版更新のあとの回帰を確かめる
連続運転や通信の切断・再接続で動かし、再接続後に状態を取り戻せない崩れを確かめます。版更新後は回帰テストで既存の振る舞いを確かめ、設計書に残らない機種は更新前の動きを測って残します。
- 01長時間の連続稼働と通信の切断・再接続を想定して動かす
- 02再接続後に状態を正しく取り戻せているかを確認する
- 03版更新後は回帰テストで既存の振る舞いが保たれるかを確かめる
OUTPUT長時間稼働の確認記録
私たちGENZが、このようなソフトウェアテストを代行します
固定費を抱えない人日単位のアサイン、監査にも使える独立した検証の記録、育成期間なしに活かせる専門ノウハウなど、第三者へのアウトソースには複数のメリットがあります。
OUTSOURCING RATIONALE
THIRD-PARTY VERIFICATION
01
必要な時に必要な分だけ
人日単位のアサインで固定費を抱えず、繁忙期に増減できます。
02
独立した視点で品質を底上げ
独立した検証で偏りを排し、監査に使える客観的な記録を残せます。
03
専門ノウハウを即戦力で
JSTQB認定エンジニアが在籍し、対象領域固有の検証知見を育成期間なしに活用できます。
専門知識を持ったテストエンジニアが、第三者の視点でテストするメリット
- 開発の内部では見えない不具合を出荷前に検出できる
- 機能や設定や仕向けまで組み合わせて確認範囲を広げられる
- 固定費を抱えずに人日単位で出荷前の確認を差し込める
- 出荷判断の場に出せる独立した検証記録と未確認範囲が残る
5,000件以上の実績で、確認範囲を設計する検証
受託開発にも部品・基盤提供にも、設定・仕向けの組み合わせで実際の接続相手を含めた振る舞いの確認は含まれません。その残りを、5,000件以上の実績とISO 27001認証のもと、出荷する側に立つ第三者として担います。
組込みの場面に沿って確認観点を設計
観点は20年の経験から製品の動きに沿って起こし、電源断からの復帰も確かめます。設計書になければ、実際の動きから範囲を起こします。
長時間の連続稼働を、自社内の体制で確認
数日間の連続稼働で出る応答の低下は、短い確認では出ません。負荷・性能テストは自社で行い、出荷直前は発売日から逆算して段取ります。
スマートフォンのアプリを多端末検証
連携アプリは、ある端末でつながる接続が別の端末で受け付けられません。対応範囲の端末とOS版数ごとに外さず確かめます。
確認済みと未確認を分けた報告
結果は確認済みと未確認に分けたテストサマリレポートにまとめ、不具合には再現手順を添えます。出荷の判断にお使いいただけます。
ご相談から納品までの流れ
機能や設定や仕向け、動作モードや接続相手の構成を伺い、確かめる範囲と優先順位を整理します。
確かめる範囲と優先順位をヒアリング
機能や設定や仕向け、発売日への影響を確認します。
機能・設定・仕向けに基づくテスト設計
不具合が生じた際の影響で優先順位を付け、範囲と工数を整理します。
テストを実施し発見事項を随時共有
合意した範囲を実行し、判断待ちの事項をその都度共有します。
報告書を納品し是正後の再確認へ
結果と証跡、未確認の範囲を納品し、再確認の進め方を整理します。
支援実績5,000件以上
確かめる範囲と優先順位を、GENZに相談する
ご相談では、機能と仕向け、動作モード、接続相手の構成から確かめる範囲の輪郭を整理します。必須と残す部分の線引きを発売日から逆算し、人日の見通しと根拠までお渡しします。