ITmedia総合  >  キーワード一覧  > 

  • 関連の記事

「静的解析」最新記事一覧

特選ブックレットガイド:
【まとめ読み】組み込み/IoT機器開発で使えるWindows OS(後編)
CoreとCore Proエディションの違いやクラウド連携活用について紹介。(2016/9/21)

特選ブックレットガイド:
【まとめ読み】組み込み/IoT機器開発で使えるWindows OS(前編)
「Windows Embedded/IoT」の導入メリットとは?(2016/9/20)

Dev Basics/Keyword:
BuckleScript(OCaml→JavaScriptコンパイラ)
BuckleScriptはJavaScriptコードを生成するOCamlコンパイラ。OCamlで型安全なプログラミングを行い、そこから可読性の高いJavaScriptコードを生成できる。(2016/9/16)

Dev Basics/Keyword:
OCaml(関数型言語)
OCamlは記述性が高く、型安全なプログラミングを実現する関数型言語であり、静的型付けと強力な型推論、バリアント型などがその特徴として挙げられる。(2016/9/15)

MathWorks Simulink Design Optimization:
設計空間の探索をサポートする感度解析ツールを追加
MathWorksは、「Simulink Design Optimization」に設計空間の探索をサポートする感度解析ツールが追加されたことを発表した。(2016/9/15)

マルウェアを実行させない対策手法、パロアルトネットワークスが強化
パロアルトネットワークスは、エンドポイント向け対策製品を機能強化した。次世代ファイアウォールと最新の脅威情報サービスを組み合わせることで、対策効果を高めるという。(2016/9/14)

特集:次期Visual Studioの全貌を探る:
Visual Studio 15 Preview 4とC# 7の新機能
次期Visual Studioでは、開発者が快適に作業できるような改善や新機能追加が行われている。本稿ではIDEとC# 7でどのような改善が行われているかを見てみよう。(2016/9/2)

Visual Studioを強力なNode.js開発環境に:
マイクロソフト、「Node.js Tools 1.2 for Visual Studio」を公開
マイクロソフトは、「Visual Studio」をNode.js開発環境として使えるようにするオープンソースプラグインの最新版「Node.js Tools 1.2 for Visual Studio」を公開した。(2016/8/2)

エイチアイ exbeans UI Conductor:
Automotive Grade Linuxの加盟メンバーに対してHMIツールを提供
エイチアイは、The Linux Foundationのプロジェクト「Automotive Grade Linux」の加盟メンバーに対して、同社の組み込み機器向けUI開発環境「exbeans UI Conductor」の試用ライセンスを提供する。(2016/7/28)

特選ブックレットガイド:
ソフトウェア開発現場の不安を解消する「リファクタリング」
あなたのソフトウェア資産、そのまま安心して使い続けられますか?(2016/7/25)

Microchip Technology PIC32MM:
消費電力とコストを抑えたCIP内蔵の32ビットMCUファミリー
マイクロチップ・テクノロジーは、CIPを採用した32ビットPIC32マイクロコントローラー「PIC32MM」ファミリーを発表した。(2016/7/25)

ゴールドマン・サックス、マネーフォワードのサービス開発の在り方とは:
「ソフトウェア品質向上の”変”2016初夏〜FinTech、IoTを見据えた”テスト自動化の勘所”」セミナーリポート(前編)
ITサービスをリリース・改善するスピードが、ビジネス差別化の要件となっている今、サービス開発の在り方にも変革が求められている。では具体的に、どのような変革が必要なのか? @IT編集部が6月に主催したセミナー「ソフトウェア品質向上の”変”2016初夏」からそのポイントを紹介する。(2016/8/18)

Synopsys Coverity:
車載ソフトウェア開発支援機能を強化――静的コード解析ツール新版
シノプシスは、静的コード解析ツール「Coverity」の最新バージョン「Coverity 8.5」の提供開始を発表した。(2016/7/20)

MISRA C 2012サポートなど、静的コード解析ツール「Coverity」に新バージョン
日本シノプシスが静的コード解析ツール「Coverity」の最新バージョン「Coverity 8.5」を発表した。「MISRA C 2012」を完全サポート、セキュリティ解析機能も強化した。(2016/7/12)

CRI・ミドルウェア かるイイ音:
ワンチップマイコンで動く音声再生ミドルウェア、シャープ「ヘルシオ」に採用
CRI・ミドルウェアは、同社の音声ミドルウェア「かるイイ音」が、シャープのヘルシー調理家電「ヘルシオ」の音声発話に採用されたことを発表した。(2016/7/12)

セキュリティ・テクノロジー・マップ(4):
サンドボックス/アンチウイルス――マルウェアを「検知」「防御」する技術の基礎
社内システムにおけるセキュリティ技術の基本をおさらいする本連載。第4回では、ネットワークや端末上でマルウェアを検知、防御する技術を紹介します。(2016/7/7)

Androidセキュリティ技術の最前線(5):
「Androidアプリのプライバシー情報取得」、どう監視する?
Androidアプリのセキュリティ対策技術について解説する本連載。第5回は、広告目的で利用者の情報を取得しようとするアプリの挙動を監視する技術を紹介する。(2016/7/5)

いま求められるソフトウェア静的解析・動的解析 第2回:
いま求められるソフトウェア静的解析・動的解析 第2回:「根拠ある作業」のため「ソフトウェア解析」ができること
動的解析とは動作しているソフトウェアの動作を計測・測定することですが、大切なのは「その結果をどう利用するか」です。勘に頼った作業ではなく「根拠ある」作業のため、動的解析がどう利用できるのか解説します。(2016/6/20)

ミラクル・リナックス:
ルネサス「RZ/Gシリーズ」専用Linux OSの供給を今夏より開始
ミラクル・リナックスは、ルネサス エレクトロニクス「RZ/Gシリーズ」向け専用Linux OSの供給を今夏より開始すると発表。チューニングやカスタマイズ、最長15年の長期サポートも提供する。(2016/6/13)

米シノプシスに聞く:
IoTデバイスのセキュリティを高める「UL CAP」とは
IoTシステムで使用される「ネットワークデバイス」の品質向上に向けた取り組みについて、米シノプシス ソフトウェアサプライチェーンマネジメント ソフトウェアインテグリティグループ グローバルマネジャー Joe Jarzombek氏に聞いた。(2016/6/17)

Androidセキュリティ技術の最前線(4):
Androidアプリマーケットを守る「不正アプリ抽出技術」総解説
Android端末のセキュリティ対策技術について解説する本連載。第4回は、アプリを流通させるための大規模なプラットフォームである「マーケット」の現状と、マーケットの分析から見えてくるセキュリティ・プライバシーの課題やその対策について解説する。(2016/6/7)

京都マイクロコンピュータ SOLID:
リアルタイムOSと開発環境を一体化したソフトウェア開発プラットフォーム
京都マイクロコンピュータは、組み込み用マイクロプロセッサ向け開発環境とリアルタイムOSを統合した一体型ソフトウェア開発プラットフォーム「SOLID」を発表した。(2016/6/3)

RTOSとClangコンパイラを一体化、準備から解析までの組み込み開発プラットフォーム
京都マイクロコンピュータが、組み込み用開発ツール群とRTOSを統合したソフトウェア開発プラットフォーム「SOLID」を発表。開発準備からデバッグまでを快適にこなせるツールとして訴求する。(2016/6/2)

セキュリティ・アディッショナルタイム(7):
「IoT機器のセキュリティ」実現に向けた各社のアプローチとは
先日開催された「Japan IT Week」の中で大きな比重を占めたテーマが「セキュリティ」、それもさまざまなものがつながるIoTの世界のセキュリティだ。IoTをめぐる脅威が指摘されるようになって久しいが、具体的にどのような対策が可能なのだろうか? セミナーや展示からそのヒントを探る。(2016/6/1)

メルマガバックナンバー:
モノづくり総合版 メールマガジン 2016/05/26
「EE Times Japan」「EDN Japan」「MONOist」編集部が毎週木曜日にお届けしている『モノづくり総合版 メールマガジン』の内容をご紹介!(メルマガ配信日:2016年5月26日)(2016/5/27)

企業動向:
京都マイクロコンピュータ、100%出資子会社を設立
京都マイクロコンピュータ(KMC)は100%出資子会社として、株式会社KMGを2016年4月1日に設立したことを発表した。(2016/5/25)

日本ノーベル Quality Commander:
カーナビとスマホの連携操作を1台のロボットで! テスト自動化システム新版
日本ノーベルは、カーナビやスマホといった組み込み機器のソフトウェアテストを自動化する「Quality Commanderシリーズ」の最新版、「Quality Commander 7」の販売を2016年7月1日から開始する。(2016/5/23)

いま求められるソフトウェア静的解析・動的解析 第1回:
組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。(2016/5/20)

特選ブックレットガイド:
【連載まとめ読み】「mbed」を使ってARMマイコン開発を始めよう!
環境構築からデバイスの使いこなしまで、マイコン開発のイロハを解説。(2016/5/19)

アドバンテック ARMスターターキット:
「10分でARMの世界へ」――ARMアーキテクチャでの製品開発を支援する開発キット
アドバンテックは、ハードウェア設定からアプリケーション検証開始までわずか10分で実施できる、組み込み開発者向け「ARMスターターキット」を発表した。(2016/5/19)

イノテック SX-8030:
Xeon E3/第6世代Coreプロセッサ搭載の組み込み向け小型CPUボード
イノテックは、インテルのXeon E3/第6世代Coreプロセッサファミリーを搭載した小型サイズのCPUボード「SX-8030」を開発したことを発表した。(2016/5/18)

イーソル eSOL MBP:
「Simulink」を利用してCソースコードや制御アルゴリズムの並列化を実現
イーソルは、マルチ・メニーコアハードウェア環境向けのソフトウェア開発を支援する、モデルベース並列化ツール「eSOL MBP(仮称)」のプロトタイプを開発したことを発表した。(2016/5/12)

テクマトリックス C++test/Parasoft DTP:
C/C++対応テストツールとソフト開発・テスト管理基盤の新版をリリース
テクマトリックスは、ParasoftのC/C++言語対応テストツール「C++test」とソフトウェア開発・テスト管理プラットフォーム「Parasoft DTP」の新バージョンを発表した。(2016/5/9)

Androidセキュリティ技術の最前線(3):
不正Androidアプリの大量生産はどうすれば防げるのか
Androidアプリをめぐるセキュリティ対策技術について解説する本連載。第3回は、不正アプリが生み出される仕組みとそれを妨害するための対策について解説する。(2016/4/27)

キヤノンITSがマルウェア解析サービス、ランサムウェアなど被害増加も
マルウェアの特徴や感染時の復旧のアドバイスなどを提供する。(2016/4/27)

PR:高品質と開発スピードの "二兎を得る" ソフトウェアテストへの新アプローチ
ソフトウェア開発における理想は「速度を落とさず高品質な開発」だが、その実現は困難だ。有効な施策は「早期バグの検出と効率的なテスト実施」「客観的な定量分析」であり、これらの実現を容易にするのがテクマトリックスの「C++test」と「Parasoft DTP」だ。(2016/4/20)

PR:なぜ組み込み開発には有償ツールなのか?IARシステムズに聞く市場変化とツールの進化
オープンソースの多様化や半導体メーカー提供の無償ツールの充実もありながら、有償(商用)ツールメーカーへの顧客ニーズは高まっているという声がある。「IAR Embedded Workbench 」を提供するIARシステムズ株式会社によれば、その背景には「組み込み開発ソフトウェアに求められる要件の変化」と「ツールの進化」が存在するという。(2016/4/20)

人工知能が99%の脅威を入り口で検出し、セキュリティ対策全体のコストを削減:
PR:PCセキュリティにも訪れる“人工知能”の時代
シグネチャベースの対策では侵入を防げない―――そんな事実を前に、事後対策への注目がにわかに高まっている。だが、事前の防止策は本当に“限界”を迎えているのだろうか? 人工知能を活用して未知の脅威を高い精度で検出する新たなエンドポイントセキュリティ製品を、デルが提供している。(2016/4/13)

Lattice Semiconductor Lattice Diamond:
ラティス製FPGAの性能を強化するFPGA用設計ツール
ラティスセミコンダクターは、FPGA用設計ツール「Lattice Diamond」のバージョン3.7を公開した。(2016/3/28)

MathWorks MATLAB/Simulink:
モデルベース開発環境の最新版「Release 2016a」登場
MathWorks Japanは、同社モデルベース開発環境「MATLAB/Simulink」の最新版「Release 2016a」を発表した。(2016/3/28)

Androidセキュリティ技術の最前線(2):
Androidアプリの「マルウェア判定」「脆弱性検知」技術
Android端末のセキュリティ対策技術について解説する本連載。第2回はアプリの配布パッケージの概要と、アプリが「マルウェアでないか」および「脆弱性がないか」を判定する技術を紹介する。(2016/3/28)

「3つのテーマ」で強化された「MATLAB/Simulink 2016a」
MathWorks Japanがモデルベース開発環境「MATLAB/Simulink」の最新版「Release 2016a」を発表した。新ツールの搭載などで「シンプル」「完全」「高速」を推進している。(2016/3/22)

モルフォ PhotoSolid:
累計搭載本数15億! 主力スマホに選ばれる画像処理ソフトウェア
モルフォは、同社の画像処理ソフトウェアの搭載本数の累計が2016年1月末時点で15億ライセンスを突破したことを発表。今後もさらなる事業拡大を計画しているという。(2016/3/16)

特選ブックレットガイド:
「状態遷移表」を使うと高品質な開発が可能に!
組み込みソフトウェア開発の課題解決に「状態遷移表」を活用しよう。(2016/3/11)

スイッチサイエンス Rapiro:
ロボット制御教育に最適な「Rapiro」の基板CADデータを無償公開
スイッチサイエンスは、ロボットキット「Rapiro(ラピロ)」に付属する2種類の基板のCADデータと「Rapiro用Raspberry Pi 2 Model B対応アタッチメント」のSTLデータを無償公開した。(2016/3/4)

マイクロソフト Windows 10 IoT Core:
IoTデバイス向けOSのラズパイ3対応を表明
米Microsoftは、IoTデイバイス向けOS「Windows 10 IoT Core」のRaspberry Pi 3対応を表明した。(2016/3/4)

アールエスコンポーネンツ Raspberry Pi:
従来比で50%性能アップした64bit対応「Raspberry Pi」発売へ
アールエスコンポーネンツは「Raspberry Pi 3 Model B」の取り扱いを近日より開始すると発表した。(2016/3/1)

ARM DS-5 Development Studio:
MISRAのツールを「DS-5」に統合、安全性・信頼性の必要なARM搭載製品の開発に
ARMはソフトウェア開発ツール「ARM DS-5 Development Studio」に、コーディングガイドライン「MISRA」のツールを統合。安全の確保が必要となるARM搭載製品に最適なソフトウェア開発プラットフォームとして提供していく。(2016/2/26)

IARシステムズ EWARM-RS:
「IAR Embedded Workbench」をルネサスのIoT機器向け設計プラットフォームに提供
IARシステムズは、ルネサス エレクトロニクスのIoT機器向け設計基盤「Renesas Synergyプラットフォーム」に向け、同社統合開発環境「IAR Embedded Workbench」を「EWARM-RS」の名称で提供する。(2016/2/26)

「サンドボックス」にまつわる疑問を解く【最終回】
「サンドボックス万能説」を揺るがす3つの課題、その解決策とは?
今までのサンドボックス製品が抱えていた課題は、製品の進化や他製品との連係によって解消が進む可能性がある。具体的な解決策を見ていこう。(2016/2/24)



7月6日に米国等で、遅れて22日に日本でも配信を開始したスマホ向け位置情報ゲーム。街でスマホを持つ人がすべてポケモンGOプレイヤーに見えてしまうくらいの大ブームとなっているが、この盛り上がりがどれだけ継続するのか、この次に来る動きにも注目したい。

Oculus Riftに続く形で各社から次々と発表されたVRゴーグル。まだマニア向けという印象だが、ゲーム用途を中心に実用段階に進んでおり、決定打になるようなコンテンツが出てくれば、一気に普及が進む可能性もある。

ソフトバンクが買収を発表した半導体企業。既にスマホ市場では圧倒的なリーダーだが、今後IoTの時代が到来することで、ネットにつながるデバイスが爆発的に増加することが予測されており、そこでもスマホ同様のシェアを押さえられるのなら、確かにその成長性には期待が持てる。