Shoeisha Technology Media

CodeZine(コードジン)

特集ページ一覧

著者情報

  • 古城 仁士(株式会社 東芝)(コジョウ マサシ)

     2015年度第10期生としてトップエスイーを受講。現業務では監視制御システムWeb化のためのフレームワーク開発に従事しており、リアルタイム性が強く信頼性の必要なWebアプリケーションを効率的に開発・テストする方法に関心がある。

執筆記事

  • 2017/08/23

    Webベース監視制御システムにおける状態同期の信頼性評価とその検証

     社会人エンジニア向けの教育プログラム「トップエスイー」での講義や制作結果などからエンジニアの皆さんに対して有用な情報をお届けするコーナーです。今回も、受講生による修了制作での取り組みを紹介します。監視制御を行うWebアプリケーションに対し、Spinを用いてモデル検査を行った結果、開発環境でのテストでは検出できなかった問題点が見つかり品質向上に貢献できたという内容です。モデル検査自体は古くから行われていて、分野によっては広く使用されていますが、一般には導入コストがかかることもあって、普及している...

1件中1~1件を表示
戻る


All contents copyright © 2005-2019 Shoeisha Co., Ltd. All rights reserved. ver.1.5