InfoQ ホームページ デバッグ に関するすべてのコンテンツ
-
ソフトウェアを効果的にデバッグするには
InfoQでは今回，“Code Reading”と“Code Quality”の著者であるDiomidis Spinellis氏にインタビューして，ソフトウェアエラーの検出と修正，ソフトウェアデバッグの原則，デバッグの効率を改善する方法，デバッグが簡単なコードの書き方，エラーの防止と対処のためにマネージャがなすべきことなどを聞いた。
-
Android Studio 2.0がホットコードスワッピングをサポート
Android Studio 2.0がカナリアチャネルに登場した。今回のリリースで注目される改良点は，開発手順がさらに合理化されたことだ。コードのスワッピングやビルドの高速化，エミュレータの速度向上，GPUプロファイラとデバッガ，複数タイプのテストの同時実行などが可能になっている。
-
-
形式的手法を用いた正当性立証可能なソフトウェアの���発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。
-
IntelliJ IDEA 14登場
JetBrainsは，スケジュールより1ヶ月前倒しでIntelliJ IDEA 14をリリースした。今回のリリースには，新しい逆コンパイラ，デバッガの改良，エディタの拡張，Android Wear/TVサポート，多数のJavaScriptフレームワークのサポートなどを含む，数多くの革新的機能が導入されている。
-
Facebookが行ったiOSファイル破損バグ対応
FacebookのエンジニアであるSlobodan Predolac，Nicolas Spielberg両氏は先日，"モバイルアプリ長期的なデバッグ問題を解決し，クラッシュ率を50%以上低減した"方法について解説した。その中で氏らは，大規模で急速に進化するコードベースを支援することが可能な，汎用性のある技術といくつかのFacebookのツールを紹介している。
-
Google Chromeの新しい"Device Mode"
近くリリースされるChromeでGoogleは，DevToolsをアップグレードして，効率的なデバイスディスプレイのエミュレーション，メディアクエリインスペクション，ネットワークエミュレーションツールなどが利用可能な，新しい"Device Mode"を追加した。これらのツールを使うことによって，開発するWebページが利用現場で直面する，さまざまなデバイス状況のエミュレーションが可能になる。
-
Android++リリース - ゼロ・ハードウェア・リストリクション，MSBuild, LLVM, GCC, GDB統合デバッグ
先日リリースされたAndroid++のクローズドベータでは，Androidアプリの開発をVisual Studioを使って，ゼロ・ハードウェア・リストリクション, MSBuild, LLVM, GCC，さらにはGDB統合デバッグといったサポートの下で行うことができる。
-
Rodney Viana氏の.NETデバッグ用WinDbgエクステンション
.NETアプリケーションの実行が失敗したとき，多くの場合はメモリダンプが残るだけである。Visual Studioではメモリダンプを扱えないので，代わりにWinDbgというツールを使わなければならない。このとき合わせて使用されるのがSOS.dllやPsscor4.dllといった，.NET固有の詳細情報を取得するエクステンションだ。これらはパワフルではあるが使用が難しいので，時には開発者自身がエクステンションを作ることもある。そのような開発者のひとり，Rodney Viana氏がnetext 1.6.1をオープンソースプロジェクトとしてリリースした。
-
2.0リリースでクラウドへと向かうEclipse Code Recommender
Eclipse Code Recommenders 2.0がリリースされた。リコメンデーションを拡張し，他ユーザのスニペットを取得する新しいクラウドソーシング機構に加えて，開発途中ながらJavaDocの"関連項目"コールの記述を動的ドキュメントによってアノテートするテクノロジも備えている。詳細は本文で確認してほしい。
-
NDepend5がコードのトレンド表示を可能に
Patrick Smacchia氏は先日，NDepend 5.0を発表した。VS201３サポート，トレンド監視，新しいダッシュボード，UIの大規模な改修など，数多くの機能拡張が加えられた.NETコードアナライザの最新バージョンである。
-
HotSpot JVMで動作するMission ControlとFlight Recorder
Java 7 Update 40以降のリリースには，JDKにMission ControlとFlight Recorderが同梱されている。Mission Controlはモニタ，管理，トラブル対応といった作業の出発点であり，Flight Recorderはプロファイリングデータの収集や評価を行う機能である。いずれもJRockitが提供していたツールが，今回ついにHotSpotに移植されたものだ。
-
PowerShell Tools for Visual Studioがエディタ，デバッガエクステンション，プロジェクトシステムをサポート
構文強調表示やインテリセンス，コードフォールディングなどの機能を備えた，PowerShell Tools for Visual Studioがリリースされた。関数ナビゲーションやスクリプトのアウトプット，さらにブレークポイントやローカル変数，スタックフレーム，プロジェクトシステムなどもサポートする。
-
dotPeek 1.1リリース - 逆コンパイルをサポート，ナビゲーション改良，ブックマークを追加
先日リリースされたdotPeek 1.1は逆コンパイルのサポートに加えて，ナビゲーションの改良，ブックマーク，非同期メソッド，ラムダおよびLINQ式，番号付きブックマークなどを備えている。
-
Visual Studio 2013におけるデバッギング改善
Visual Studio 2013ではデバッギング関連が強化されており、.NETやJavaScript、Windows Storeアプリのパラメータを正確に評価するための診断ツールも含まれる。