新着情報
採用情報
日本語
|
English
|
中文
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組み込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
MCD -モデル中核開発事業-
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
IS&S
-サイバーセキュリティ 向け エンジニアリング支援-
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
QEMUを使った仮想検証環境構築サービス
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
MCD -モデル中核開発事業-
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
IS&S -サイバーセキュリティ 向け エンジニアリング支援-
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
GAIO CLUB
HOME
>
GAIO CLUB
カテゴリー
すべて表示する
Google Test
ガイオ用語集
静的解析/コンパイラ技術
MBD実践ステップアップガイド
MBDてさぐり奮戦記
技術情報
GAIO CLUB 特集
MBDてさぐり奮戦記
【第2回】プログラム言語としてのMATLAB Simulink
MATLAB Simulinkの分析を進めると、モデル図は記述により可読性が大きく変わるので、分かりやすいモデル図の記述方法が検討課題となりました。今回はこれらの概要を説明いたします。
詳しくはこちら
技術情報
変わりゆく組み込みソフトウェア開発 組み込み開発のモダン化に向けたガイオ・テクノロジーの取り組み
「Leading Edge Testing Environment Market」と題して、開催されたガイオバーチャルマーケット。ここで登壇したのは、プロジェクトマネージャーの藤原康弘。藤原氏は、モダンアプリケーション開発ネイティブな製品提供に向けた取り組みについて発表しました。(提供元:ログミー株式会社)
詳しくはこちら
MBDてさぐり奮戦記
【第1回】連載概要
今回から連載スタートする「MBDてさぐり奮戦記」の概要についてご紹介いたします。
詳しくはこちら
技術情報
6/2(水)開催 ガイオプライベートセミナー「xILS市場の現在と将来」マツダ株式会社様 招待講演レポート
ガイオプライベートセミナーにおいて、マツダ株式会社 統合制御システム開発本部 首席研究員の末冨隆雅様よりxILSなどの検証の視点から自動車制御システムのモデルベース開発の現状と将来についてご発表頂きました。本ページでは、その概略をお伝えします。
詳しくはこちら
技術情報
単体テストを実施して単体品質を向上するための課題
本ページでは、「仮想検証」とは何か、仮想検証を実施するメリット、仮想検証の事例等について説明します。また、仮想検証に用いられるツールとして「QEMU」と呼ばれるツールについて、その特徴やメリットを説明します。
詳しくはこちら
技術情報
モデルベース開発におけるモデルとコードの比較検証と課題
本特集では、モデルベース開発開発において、制御仕様として作成したMATLAB/Simulinkモデルからマイコンへ実装するコードを生成した場合に必要となる、モデル/コード間の比較検証と、その方法や課題について解説します。
詳しくはこちら
技術情報
要素分析による単体テストの標準化と定着運用
本特集では、「単体テスト」をプロセス化し、定着運用させる際の大きな課題の1つである、単体テストデータ設計の標準化について取り上げます。
詳しくはこちら
GAIO CLUB 特集
マルチECUシミュレーションによる車両システム検証 複数のECUによるFlexRay検証システムの構築例
GAIO CLUB【2007/5月号】本特集では、現在の自動車ソフト検証の主流であるHILS装置によるソフト検証工程を大きく変えるSILSについて、複数のECUによるFlexRay車両制御システムを例にとって解説します。
詳しくはこちら
GAIO CLUB 特集
組込みソフト品質を改善する基本検証「単体テスト」の重要性と C1カバレッジに対応した「カバレッジマスターwinAMS」
GAIO CLUB【2006/12月号】本特集では、2006年12月末にバージョンアップされる、ガイオの単体テストツール「カバレッジマスターwinAMS v2.2」でサポートさたC1カバレッジ機能を取り上げ、テストデータ作成手法や効率的な単体テスト実施方法について解説致します。
詳しくはこちら
GAIO CLUB 特集
組込みソフトウェア品質の向上とテストツールの関わり
GAIO CLUB【2006/10月号】本特集では、株式会社豆蔵のシニアコンサルタント大西建児氏にご寄稿いただき、組込みソフト開発業界全体の課題意識と、ソフト品質の向上を目的としたテスト体制、テストツール導入のポイントについて解説いたします。
詳しくはこちら
GAIO CLUB 特集
車両運動をリアルに再現するシミュレータ「CarSim」と連携 マイコンシミュレータ& MATLAB/Simulink を使用したSIL-S環境
GAIO CLUB【2006/6月号】本特集では、複雑化する自動車ECUの組込みソフトの検証手法として主流になりつつある、ECUソフト開発のシミュレーション環境について解説します。
詳しくはこちら
GAIO CLUB 特集
潜在化するバグを未然に防ぐ「モジュール単体テスト」とテストデータ作成機能を追加した「カバレッジマスター Ver.2」
GAIO CLUB【2006/2月号】本特集では、近年、組み込みソフトの品質改善手法として注目されている「モジュール単体テスト」について、その効果や課題、効率的なテスト実施方法について解説します。
詳しくはこちら
« 前へ
1
…
4
5
6
7
8
…
10
次へ »
人気のコラム
OSの無い環境でC言語プログラムを動かすときは、マイコンのメモリを意識する必要があります。今回は、メモリとCソースプログラムの関係についての話です。
複数のタスクが並列動作する場合、競合に注意する必要があります。シングルタスクであっても割り込み処理との競合があります。
本特集では、モデルベース開発開発において、制御仕様として作成したMATLAB/Simulinkモデルからマイコンへ実装するコードを生成した場合に必要となる、モデル/コード間の比較検証と、その方法や課題について解説します。
最新のコラム
技術情報
ソフトウェアテストにおけるMC/DCカバレッジ測定方法について、具体的なテストケースを通じて解説します。
Google Test
今回は、LCOVとQTEのカバレッジを比べてみます。前回少し触れたLCOVのブランチカバレッジについても説明します。
Google Test
今回は、g++と関連するコマンドを使用してカバレッジを確認してみます。使用するのは、前回と同じGoogle Mockを使用したC言語プログラムのテスト環境です。
Google Test
Google Mock使用例の最後に、C言語プログラムのテストで使ってみようと思います。前回までに使用したプログラムをC言語に書き換え、Google Mock使ってテストします。
Google Test
前回は、Google Mockで子関数の戻り値をあらかじめ決めた後にテストを実施してみました。Google Mockの感じをつかんだので、今回はGoogle Mockでどんなことができるのか、いくつか見て行こうと思います。
Google Test
Google Mockは、単体テストの対象関数が使用している子関数の代理関数とその関数の振る舞いを定義する環境を提供します。今回は簡単な例を見ながらGoogle Mockの使い方を見てみます。
Google Test
単体テストをする際、対象関数の動作確認のために、その関数が使用する(読む)変数に値を入れておく必要があります。関数の動作結果は前回お話ししたアサーションによって確認しますが、繰り返しテストをする際に異なる値を設定したい時はどうするのでしょうか。また、致命的なエラーが起きた時にテストを中止する方法はあるでしょうか。今回は、Google Testを使ってテストドライバーを書く時の、そんな話です。
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)