新技術:NEC、組込みソフト設計の正しさを検証するツールを開発

この記事をtweetする このエントリーをはてなブックマークに追加


新技術:NEC、組込みソフト設計の正しさを検証するツールを開発


掲載日:2005/06/29


News

 日本電気株式会社は、北陸先端科学技術大学院大学情報科学研究科と共同で、“形式的手法”に基づいて組み込みソフトウエア設計の正しさを検証するツールを、開発した。なお“形式的手法”は、数学や論理学を活用してソフトウエアの正しさを確認する技術。

 今回開発された検証ツールは、UML記法に対応しており、特殊なスキルが必要な“形式的手法”の記述方法などを用いずに、UML記法で記述した設計の検証を行ない、その結果をUMLの表現で確認することができる。また、検証がうまくいかなかった場合の確認作業、検証結果の検索などの機能に加え、システム状態を再現することで検証作業を効率化する機能、UML設計と検証項目とを体系的に関連付けて管理する機能など、検証に必要な各種の機能が提供される。これらの機能により、検証する際の環境設定の作業負担を軽減し、効率的な検証作業が可能となる。オープンな開発プラットフォーム「eclipse」上で動作し、高い汎用性を実現している。

 同ツールにより、開発対象の組み込みソフトウエアが、さまざまな動作条件時に意図した通りの振る舞いをするか、意図しない振る舞いをしないかなどを、設計段階から網羅的に確認することができる。これにより、ソフトウエア設計上の問題の最大6〜7割を設計段階で検出可能となり、組み込みソフトウエアの品質向上を実現することができる。さらに、手戻り作業を削減できるため、テスト工数や全体の開発コストの削減も可能となる。


出荷日・発売日 −−−
価格 −−−

関連キーワード

  ※製品ニュースに関するお問合せ : 企業サイトへ


  ※関連キーワードのリンクは自動で行っているため、適切でない可能性があります。ご了承ください。


図解でわかりやすいIT技術の解説記事2000本
ITセミナー400件、IT製品情報1000件以上!

キーマンズネットは、アイティメディア株式会社が運営する「企業向けIT関連情報サービス」です。会社で導入するIT関連製品の検討・選定にお役立ていただける情報サービスです。情報量・登録料ともに無料です。安心してご利用下さい。

「開発環境/BaaS」関連の情報を、チョイスしてお届けします

※キーマンズネット内の「開発環境/BaaS」関連情報をランダムに表示しています。

「開発環境/BaaS」関連の製品

モバイルアプリ開発/運用プラットフォーム 『AppPot』 【NCデザイン&コンサルティング】 脱ExcelやiPad対応、事例で分かる業務アプリ開発の4大課題解決法 【セールスフォース・ドットコム】 Ethereumも自在に展開、Azure活用で迅速なブロックチェーン開発 【日本マイクロソフト】 クラウド開発基盤 Web Aviator(PaaS) 【キヤノンITソリューションズ】 Magic xpa Application Platform 【マジックソフトウェア・ジャパン】
開発環境/BaaS 開発環境/BaaS 開発環境/BaaS 開発環境/BaaS 開発環境/BaaS
企業向けモバイルアプリ開発を支援するプラットフォーム。アプリごとのサーバーサイドの開発が不要になり、開発工数を30%〜70%削減できる。 脱ExcelやiPad対応、事例で分かる業務アプリ開発の「4大課題」解決法 Azureでブロックチェーン開発、スマートコントラクト基盤も迅速・低コスト展開 クラウドやオンプレミスで稼働させるWebアプリケーションの開発、検証、本稼働を迅速に行えるクラウド開発基盤。クラウド&標準技術&GUIツールでスピード開発を実現。 クライアント/サーバ、Web、RIA、iOS/Androidなど様々な形態やデバイスのアプリケーションをワンソース・マルチユースで統合開発・実行できるプラットフォーム。

「開発」関連 製品レポート一覧

このページの先頭へ


Myリストへ 印刷用ページへ

この記事をtweetする このエントリーをはてなブックマークに追加


掲載されておりますサービス内容・料金などは掲載日時点のものです。変更となる場合がございますのでご了承下さい。


20010997


IT・IT製品TOP > 開発 > 開発環境/BaaS > 開発環境/BaaSのITニュース > ニュース詳細

このページの先頭へ

キーマンズネットとは

ページトップへ