サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

ソフトウェアモデル検査とテストケース生成の統合

橋本 祐介,中島 震

詳細情報

タイトル ソフトウェアモデル検査とテストケース生成の統合
著者 橋本 祐介
著者 中島 震
シリーズ名 特集 ソフトウェア工学
出版地(国名コード) JP
別タイトル Combining Software Model Checking and Test Case Generation
出版年(W3CDTF) 2012-02
件名(キーワード) ソフトウェアモデル検査
件名(キーワード) モジュラ検証
件名(キーワード) 近似
件名(キーワード) カバレッジ
件名(キーワード) テストケース生成
件名(キーワード) software model checking
件名(キーワード) modular verification
件名(キーワード) approximation
件名(キーワード) coverage
件名(キーワード) test case generation
NDLC ZM13
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(URI形式) https://iss.ndl.go.jp/books/R100000002-I000009254284-00
掲載誌情報(ISSN形式) 18827837
掲載誌情報(ISSN-L形式) 18827837
掲載誌名 情報処理学会論文誌 論文誌ジャーナル
掲載巻 53
掲載号 2
掲載ページ 548-556
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで