InfoQ Homepage Debugging Content on InfoQ
-
Developing Provably-Correct Software Using Formal Methods
Computer-checked models can be used to prove that core communications and state management in a software program are 100% logically correct. Such models can also be used to generate 100% correct source code. The usage of formal methods can reduce costs and time to market and help to deliver highly reliable software products.
-
Vorlon.js Released, Aims to Help Developers Remotely Test and Debug JavaScript Code
Microsoft has released Vorlon.js, a remote debugging tool for JavaScript. Announcing the tool in a MSDN blog post, creator David Catuhe described Vorlon.js as "a small web server you can run from your local machine, or install on a server for your team to access, that serves the Vorlon.js dashboard and communicates with the remote devices."
-
Facebook Stetho: Debugging Any Android App with Chrome DevTools
Facebook has open sourced Stetho, an Android debugging bridge enabling developers to debug their apps using Chrome DevTools.
-
Reveal 1.5 Released, Adding 35 New Features Including Auto-Layout Support
Itty Bitty apps last week released (http://revealapp.com/features/#debug) version 1.5 of their iOS layout debugging app Reveal; which features 35 new features and a refreshed user interface.
-
New Device Mode in Google Chrome
In an upcoming Chrome release, Google upgraded DevTools with a new “Device Mode” to enable streamlined device display emulation, media query inspection, and a new network throttling tool. These tools make it easier for developers to emulate various devices and situations that their web page will encounter in the wild.
-
Debugging iOS File Corruption at Facebook
Facebook engineers Slobodan Predolac and Nicolas Spielberg have recently described how they "solved a long-term mobile debugging problem and reduced the crash rate ... by more than 50 percent." In the process, they show general useful techniques and a few Facebook tools that can help with large, rapidly evolving codebases.
-
JavaScript Error Recorder Lets Users Report Bugs in Browser
Bogomil Shopov and Robert Nyman have announced The Usersnap Console Recorder, a browsable JavaScript error- and XHR-logs recorder that is free to use for FOSS projects.
-
GapDebug, Mobile Debugging Tool for PhoneGap and Cordova, Enters Public Beta
Genuitec has announced a public beta for GapDebug, a free debugger for hybrid mobile apps built on top of the Cordova/PhoneGap SDK. GapDebug integrates versions of the Safari Webkit Inspector and Chrome Dev Tools to offer an integrated debugging experience on OS X and Windows.
-
Android++ with Zero Hardware Restrictions, MSBuild, LLVM, GCC, Integrated GDB Debugging
The recently released Android++ in closed beta enables you to build Android apps using Visual Studio with support for zero hardware restrictions, MSBuild, LLVM, GCC in addition to integrated GDB debugging.
-
Introducing Rodney Viana’s WinDbg Extension for .NET Debugging
When a .NET application fails in production the developer is often left with just a memory dump. Since Visual Studio cannot handle dumps, you have to instead look at a tool called WinDbg. Though powerful, these can be difficult to use so developers occasionally create their own extensions. Once such developer is Rodney Viana, who has just released netext 1.6.1 as an open source project.
-
AnyPresence Soups up Enterprise MBaaS Platform- Part 1 of 2
Mobile Backend as a Service provider AnyPresence continues to hone their chops. Launching the fifth update to their self-titled platform geared for the enterprise. Co-founder Rich Mendis provides some insights for InfoQ readers…
-
Mission Control and Flight Recorder on HotSpot JVM
Since the Java 7 Update 40 release, Mission Control and Flight Recorder are shipped with the JDK. Mission Control is the starting place for monitoring, management and troubleshooting, while Flight Recorder is the facility to collect and evaluate profiling data. Both tools have been available for JRockit and are now finally ported to HotSpot.
-
NDepend 5 Can Chart Code Trends
Patrick Smacchia has recently announced NDepend 5.0, the latest version of his .NET code analyzer coming with a number of enhancements: support for VS 2013, trend monitoring, new dashboard and a major UI facelift.
-
Improved Debugging with Visual Studio 2013
Visual Studio 2013 provides several enhancements related to debugging and also includes diagnostics tools to accurately measure the parameters in .NET, JavaScript and Windows Store apps.
-
Debug iOS Applications with Reveal
Similar to Firebug for HTML pages, Reveal lets developers debug iOS user interfaces. It connects to running applications and offers the possibility to modify various UI parameters without rewriting code or rebuilding and redeploying the application.