文献

J-GLOBAL ID：201002244470757999   整理番号：10A0979428

64bit版モデル検査器とモデル検査Webシステム

著者 (2件)： 篠崎孝一 (関西電力 総合技術研 電力技術研) ,  早水公二 (メルコ・パワー・システムズ)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 27th  ページ： ROMBUNNO.1B-4  発行年： 2010年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 形式手法の1つであるモデル検査は,産業界からソフトウェア開発の品質向上に有効な手法として注目されている。しかし,研究・評価用のモデル検査器が公開されているだけで,インストールや状態爆発への対応が必要であり,様々なユーザの検証ニーズや制約条件に対応できるサービスとしては考えられていない。そこでモデル検査の利便性を上げる取り組みとして,誰もがWebサイトから直接,強力なモデル検査器を利用できるシステムを開発中である。システムはメモリ空間を拡張するために64bit用に新たに開発したモデル検査器を,産業技術総合研究所連携検証施設「さつき」の大容量メモリ高速演算クラスタ上で実行することで,状態爆発の回避を考慮している。(著者抄録)

シソーラス用語： *モデル検査 ,  *Web【情報システム】 ,  形式的手法【計算機】 ,  *ソフトウェア開発 ,  改変 ,  アクセシビリティ ,  多重処理
準シソーラス用語： Webサイト ,  クラスタコンピューティング ,  状態爆発問題 ,  品質向上

分類 (3件)： 計算理論  (JB02000A) ,  その他の情報処理  (JE15050M) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： モデル検査 ,  Webシステム