萩原エレクトロニクスのソフトウェア静的検証サービスについて、動画を交えご紹介します!

静的検証とは ・・・プログラムを実行せずに、ドキュメントやソースコードなどのチェックによって誤りや脆弱性を検出するテスト手法

【サービス】
・豊富なソフトウェア受託開発の経験から、細かい制約事項も漏らす事なくチェック。高品質な検証サービスをご提供します。
・多くの知見と時間が必要となる検証作業を短期間で検証しサービスをご提供します。      
・お客様の傾向から診断レポートを発行。次回設計時にこのレポートを踏まえて設計いただくことで手戻りを減らし、効率化を実現します

【当社受託開発の特長】
・3つの特徴を活かし、お客様のパートナーとして開発をお手伝い致します。

特徴①:ソフトウェア開発実績から“気づきにくい”制約事項も漏れなくチェック



– 当社ではソフトウェアの受託サービスも行っておりマイコンマニュアルを熟知
 抜け漏れなく作業を実施

特徴➁:多くの車載ソフトウェアの知見を保有し勘所をつかんだ作業により短期間で対応可能



– 年間300件以上の車載ソフトウェア開発の経験を基に
 膨大なマニュアルから検証に関わる箇所を的確に見つけ、短期間で作業を実現

特徴➂:検証結果から設計へのフィードバックを実施。+αの付加価値を提供



– 複数種類のソフトウェアチェック作業が実施可能。
 最終的にはお客様の傾向分析から診断レポートを提出

本コラムに記載した特徴について、詳細をご説明した動画を下記リンクに掲載しております。
是非ご視聴ください!

■ご紹介動画

内容にご興味がございましたらお気軽に当社までご連絡ください。

CONTACT

お問い合わせはこちらまで