新着情報
採用情報
日本語
|
English
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組み込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Salutem(サルテム)
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
動作タイミング解析ツール
Timing-Suite T1(ティーワン)
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
実機連携 組込みソフト自動テストシステム
リアルタイムファンクションテスター
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
モデル中核開発事業
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
セキュリティサービス
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
機能安全開発効率化支援
Salutem導入支援サービス
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
先進品質技術ソリューション事業(SAQT)
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
QEMUを使った仮想検証環境構築サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Salutem
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
動作タイミング解析ツール
Timing-Suite T1(ティーワン)
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
実機連携 組込みソフト自動テストシステム
リアルタイムファンクションテスター
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
モデル中核開発事業
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
セキュリティサービス
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
機能安全開発効率化支援
Salutem導入支援サービス
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
先進品質技術ソリューション事業(SAQT)
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
GAIO CLUB
HOME
>
GAIO CLUB
カテゴリー
すべて表示する
ガイオ用語集
静的解析/コンパイラ技術
MBD実践ステップアップガイド
MBDてさぐり奮戦記
技術情報
GAIO CLUB 特集
ガイオ用語集
【第7回】ガイオ用語集「GPU」
GPU(Graphics Processing Unit)は、コンピュータの画像や動画の表示などを担う部品のことです。コンピュータ内の他の部品と連携し、スムーズな画面表示や高速なデータ処理を可能にします。
詳しくはこちら
静的解析/コンパイラ技術
【第10回】スタックフレーム
前回は、静的変数や関数をどのようにメモリ上に配置し、初期化するのかの話をしました。今回は引数やオート変数がどこに配置されるのかという話です。
詳しくはこちら
ガイオ用語集
【第6回】ガイオ用語集「ブラックボックステスト」
ブラックボックステストとは、テスト対象となるシステムやアプリケーションなどを、内部のプログラムの構造や動作原理を考慮せずにテストして品質を評価する方法です。テスト対象を見えない箱として扱い、入力と出力の整合性を確認します。
詳しくはこちら
ガイオ用語集
【第5回】ガイオ用語集「ホワイトボックステスト」
ホワイトボックステストは、ソフトウェアの内部構造やコードを見ながら行うテストのことです。開発者がソフトウェアの動作をしっかりと理解し、正しい実装がされているかどうかを検証するために行われます。対象となるソフトウェアの内部構造やアルゴリズムを理解していることが前提となるため、主にソフトウェアの開発者が行うテスト方法です。
詳しくはこちら
ガイオ用語集
【第4回】ガイオ用語集「コードレビュー」
コードレビューとは、プログラムの品質向上のための重要な手法の一つです。ソースコード(プログラムコード)の記述者とは別の人が、仕様を把握した上でソースコードを検査し、バグの発見や修正、最適化を行います。コードレビューは、バグの検知だけでなくより良いコードの書き方を提案する場にもなっています。
詳しくはこちら
静的解析/コンパイラ技術
【第9回】メモリマップ
OSの無い環境でC言語プログラムを動かすときは、マイコンのメモリを意識する必要があります。今回は、メモリとCソースプログラムの関係についての話です。
詳しくはこちら
MBD実践ステップアップガイド
【第10回】システムテスト
結合テストは、複数の制御モジュールをベースソフトウェアに搭載して、制御モデルが制御仕様通りの動作をすることを確認することのほか、モジュール間のインターフェースの整合性や制御干渉の有無をテストします。
詳しくはこちら
ガイオ用語集
【第3回】ガイオ用語集「GitHub」
Gitというバージョン管理システムを元にして作られた、オンラインのオープンソース開発プラットフォームのことです。エンジニアはGitHubにアカウント登録することで、誰でもGitHub上で開発プロジェクトを公開でき、興味を持った世界中のエンジニアからフィードバックを得ることや、公開されたオープンソースライブラリの開発に自由に参加することができます。
詳しくはこちら
ガイオ用語集
【第2回】ガイオ用語集「UML」
UMLとは、Unified Modeling Language(統一モデリング言語)の略称で、ソフトウェア開発において使われるモデリング言語の一つです。
詳しくはこちら
静的解析/コンパイラ技術
【第8回】CコンパイラとCPUの関係
今回から、Cコンパイラのお話をします。と言っても、コンパイラ内部の話ではありません。コンパイラが生成するコードや、そのコードが動く時の話です。
詳しくはこちら
静的解析/コンパイラ技術
【第7回】理解しづらいコーディングガイドラインとは? ~注意が必要な演算やライブラリ~
判り難いガイドライン紹介の最後に、注意が必要な演算やライブラリに関するお話をします。
詳しくはこちら
ガイオ用語集
【第1回】ガイオ用語集「単体テスト」
単体テストとは…ソフトウェア開発において非常に重要な工程の一つであり、1つの機能やモジュールを単独でテストすることです。単体テストを行うことで、モジュール内で発生する問題を事前に検出でき、修正することができます。
詳しくはこちら
« 前へ
1
2
3
4
…
9
次へ »
人気のコラム
C言語コーディングガイドラインについて、いくつかの理解し難いルールとそれに関わるお話をしたいと思います。
シミュレータによる製品開発のメリットについては多く語られていますが、目的に応じたシミュレータの選択や使い方について正しく理解していないと、思ったような成果を得ることができません。ここでは、xILSの構成と利用上の注意点について簡単に説明を行います。
単体テストとは…ソフトウェア開発において非常に重要な工程の一つであり、1つの機能やモジュールを単独でテストすることです。単体テストを行うことで、モジュール内で発生する問題を事前に検出でき、修正することができます。
最新のコラム
静的解析/コンパイラ技術
今回も、CWE Top 25 の脆弱性に関するコーディング例を考えます。
静的解析/コンパイラ技術
引き続き、CWE Top 25 の脆弱性からコーディング例を考えます。
静的解析/コンパイラ技術
CWE Top 25 の脆弱性からコーディング例を考えてみます。
静的解析/コンパイラ技術
前回、CWEが提供するCERT CガイドラインのVIEWのお話をしましたが、Top 25に現れる脆弱性とCERT C他のコーディングガイドラインの対応付けをしてみます。
静的解析/コンパイラ技術
CWEでは、脆弱性の種別・分類の共通基準を提供しています。ということで、前回集めた過去5年間のTop 25について見てみます。
静的解析/コンパイラ技術
今回から、セキュリティに関するお話をしようと思います。と言っても、セキュリティの専門家ではないので、脆弱性とコーディングルール・静的解析に関わる話になります。
静的解析/コンパイラ技術
デバッガを使用してC言語プログラムをデバッグする時には、コンパイルする時にデバッグオプションを使用する必要があります。今回のお話は、デバッグについてです。
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)