　同製品は、モデルベース開発（MBD）で活用される「Simulink」のモデル検証を効率化するツール。新バージョンでは、従来のテスト対象を状態遷移モデルで設計してテストパターンを生成する機能に加え、Simulinkのテスト入力波形を効率的に設計する機能やテスト結果の自動判定機能、テスト管理機能などを備えた。

◎「組み込みソフトウェア品質」関連記事～事例、ツール、ソリューション、課題～など

» ソフトウェア品質は規則やテストではなく「ヒト」が作る

» ソフトウェア品質向上のキモは「行動」にあり

» 間違いだらけの組み込み系品質管理、面倒な品質管理を楽しむコツ

» PMBOK準拠の組み込みソフト品質管理プラットフォーム

» 上流工程の品質活動でソフトウェアの品質は向上するのか

⇒ 新着記事をチェックする

「ZIPC Tester Ver.3.0」の状態遷移モデルとテスト入力波形（シナリオモデル）

　また、テスト入力波形（シナリオ）設計に特化したエディタや、テスト入力値の組み合わせを自動生成する機能により、効率的なテスト設計に対応する。対象システムの状態遷移モデルからテストパターンを生成することで、網羅的なテストパターンを効率的に設計することもできる。テスト入力波形から状態遷移モデルへのリバースも可能で、テスト入力波形のカバレッジ（網羅率）を可視化できる。

　テスト資材やテスト結果の一元管理も可能だ。テスト結果の自動判定や波形比較ビューで、テスト結果の確認もしやすい。テストデータはExcel、CSV、TSVなどのフォーマットへインポート／エクスポートできる。

　複雑な制御を高品質で開発する自動車の制御システムなどでは、MathWorksの「MATLAB／Simulink」を活用したMBDにより開発効率や品質向上が図られている。しかし、モデルの検証方法は担当者に依存していることが多い。同製品は、モデル検証の担当者依存や担当者の負担を軽減する。

IoT製品開発の勘所、留意すべき15項目
情報処理推進機構は、IoT製品やサービスを開発するポイントを紹介した報告書「つながる世界の利用時の品質～IoT時代の安全と使いやすさを実現する設計～」を公開した。具体的な事例から課題を抽出・分類している。
テスト自動化ツール「TESSY」に新機能、RTRT対応に
イーソルトリニティは、組み込みソフトウェア単体テスト自動化ツール「TESSY」への新機能追加を発表した。最新バージョンは、「IBM Rational Test Realtime」で作成したテストケースが利用できる。
複数テスト同時実行や処理速度アップで、UIテスト実行時間が半分に
テクマトリックスがRanorexのUIテスト自動化ツール「Ranorex 6.1」を販売開始した。複数テストの自動実行などで所要時間を半減させたほか、Android 7（Nougat）とiOS 10にも対応している。
NECの高位合成ツール「CyberWorkBench」、台湾ファラデーに導入
NECの同社高位合成ツール「CyberWorkBench」が、台湾のファブレスICベンダーであるファラデー（Faraday Technology Corporation）に導入された。
サポート言語に「Fortran」を追加、静的解析機能をさらに強化
Synopsys（シノプシス）は、Fortranで開発されたソースコードの欠陥や異常を特定するための静的解析ツールを手掛けるForcheckからの技術資産買収を完了した。