Verifying code and testing with Pex

blog.maartenballiauw.be — Earlier this week, Katrien posted an update on the list of Belgian TechDays 2009 speakers. This post featured a summary on all sessions, of which one was titled “Pex – Automated White Box Testing for .NET”. Here’s the abstract: “Pex is an automated white box testing tool for .NET. Pex systematically tries to cover every reachable branch in a program by monitoring execution traces, and using a constraint solver to produce new test cases with different behavior. Pex can be applied to any existing .NET assembly without any pre-existing test suite. Pex will try to find counterexamples for all assertion statements in the code. Pex can be guided by hand-written parameterized unit tests, which are API usage scenarios with assertions. The result of the analysis is a test suite which can be persisted as unit tests in source code. The generated unit tests integrate with Visual Studio Team Test as well as other test frameworks. By construction, Pex produces small unit test suites with high code and assertion coverage, and reported failures always come with a test case that reproduces the issue. At Microsoft, this technique has proven highly effective in testing even an extremely well-tested component.” After reading the second sentence in this abstract, I was thinking: “SWEET! Let’s try!”. So here goes… read more...

add a comment | category: Unit Testing | Views: 176

BlogEngine.NET Christmas update

published 20 days, 20 hours ago, submitted by Marwan 21 days, 5 hours ago

blog.madskristensen.dk — Some exiting things have been going on with BlogEngine.NET lately... read more...

add a comment | category: ASP.NET | Views: 336

ASP.Net MVC - Upgrading From Preview 5 to Beta

submitted by TroyMG 2 months, 22 days ago

squaredroot.com — For those who, like me, have been following along with each preview push at the CodePlex project, I found a list of changes made between Preview 5 and Beta buried at the bottom of the Release Notes document as well as Microsoft's recommended upgrade path from Preview 5 to Beta. read more...

add a comment | category: ASP.NET | Views: 40

jQuery for ASP.NET MVC unleashed!

published 5 months, 13 days ago, submitted by GOEran 5 months, 13 days ago

blog.goeran.no — jQuery plugins for the ASP.NET MVC framework read more...

1 comment | category: AJAX | Views: 517

Howto use jQuery with asp.net mvc preview 4’s AjaxHelper

published 5 months, 16 days ago, submitted by alley 5 months, 17 days ago

chrisvandesteeg.nl — Working on jQuery4mvc preview 4, one of the first things I ofcourse wanted to do was to replace the ASP.NET Ajax library that’s used by the AjaxHelper. Unfortunately the AjaxHelper itself is sealed, so atm we can’t (easily) change how the AjaxHelper generates its links. So what I did is create a javascript library that uses the same methodnames as the MicrosoftMvcAjax version. read more...

1 comment | category: ASP.NET | Views: 263

ASP.NET MVC preview release 4 - part 1

weblogs.asp.net — The ASP.NET MVC team is in the final stages of finishing up a new "Preview 4" release that they hope to ship later this week. The Preview 3 release focused on finishing up a lot of the underlying core APIs and extensibility points in ASP.NET MVC. Starting with Preview 4 this week you'll start to see more and more higher level features begin to appear that build on top of the core foundation and add nice productivity. There are a bunch of new features and capabilities in this new build - so much in fact that I decided I needed two posts to cover them all. This first post will cover the new Caching, Error Handling and Security features in Preview 4, as well as some testing improvements it brings. My next post will cover the new AJAX features being added with this release as well. read more...

2 comments | category: ASP.NET | Views: 244

Comments Security Hole in BlogEngine.NET 1.4

jvance.com — Jarrett describes the steps to reproduce a security hole in BlogEngine.NET for deleting and approving comments. He also provides the source code for a quick fix. read more...

4 comments | category: ASP.NET | Views: 141

MVC Routing Security Hole

published 5 months, 29 days ago, submitted by TroyMG 5 months, 30 days ago

squaredroot.com — Stephen Walther's latest MVC tip introduced me to the MVC framework's ability to pass server variables into actions as parameters. Unfortunately using this feature is a very bad idea and could jeopardize the security of your application. Take a look at a code sample you might find surprising. read more...

add a comment | category: ASP.NET | Views: 202