Analysis

Articles

Testing code Hybrid Verification: Mixing Formal Methods and Testing

The ability to verify contracts either statically or dynamically, coupled with recent advances in proof technology, has opened up a new and promising approach to verification. Critical code can be proved with formal methods, and less critical code can be verified using traditional testing, with a clear separation at the interfaces between the two.

Ben Brosgol's picture Ben Brosgol
Application logs Who’s Using Your App? Examine Logs for Testing Insight

When testing an application, have you ever thought to yourself, "I wonder who uses this"? Examining the app's logs can give you some idea. Logs are helpful for testers because they provide real feedback and insight into an application as it’s being used, as well as information that describes or can even help solve bugs. Here's how to use them to inform your testing.

Josh Grant's picture Josh Grant
computer connected to everything IoT, Mobile, and Tech Curve Disillusionment: Moving beyond the Hype

The hype around the Internet of Things is at its peak. Should you bother learning the skills developers and testers require in this new field, or will it soon become just another trend that's fallen out of favor? Jon Hagar makes a strong case for why the IoT will be relevant even after the clamor dies down, and why its associated skills will serve you well no matter what.

Jon Hagar's picture Jon Hagar
Big data Big Data’s Relationship with Business Intelligence and Data Warehousing

You’ve probably heard the buzz about big data and business intelligence data warehouses. Both deal with collecting information for analysis, but how are they different? When should you use one or the other? This article explains these two data solutions in a user-friendly way with real-world examples.

Nels Hoenig's picture Nels Hoenig

StickyMinds is a TechWell community.

Through conferences, training, consulting, and online resources, TechWell helps you develop and deliver great software every day.