NETs 今だから学ぶ基礎知識 組み込みソフトウエアの検証手法(2)モデル検査やレビューなど7つの手法を俯瞰(ふかん)  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法,およびソース・コード・ベースの開発手法を取り上げる。(進藤 智則=本誌)渡辺 政彦キャッツ取締役副社長 モデル・ベースの検証手法には,モデル検査,モデル解析,モデル・シミュレーションなどがある。

Journal

  • 日経エレクトロニクス

    日経エレクトロニクス (911), 143-147, 2005-10-24

    日経BP社

Codes

  • NII Article ID (NAID)
    40006904700
  • NII NACSIS-CAT ID (NCID)
    AN0018467X
  • Text Lang
    JPN
  • ISSN
    03851680
  • NDL Article ID
    7480887
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-751
  • Data Source
    NDL  Nikkei BP 
Page Top