devkiller

Stories kicked by devkiller

Pex - Software Cracker?(monstersgotmy.net)

submitted by birdchestbirdchest(595) 3 years, 4 months ago

I started thinking more about what Pex does, it generates tests for your code. It also generates meaningful values for your methods to get the most code coverage. So could Pex be used to generate a password for software, or find holes in lincese key generators? read more...

add a comment |category: |Views: 457

tags: another

Verifying code and testing with Pex(blog.maartenballiauw.be)

submitted by maartenbamaartenba(5845) 3 years, 4 months ago

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: |Views: 249

tags: another

How To: Strongly typed values for your TextBoxes(dotnetblogger.com)

submitted by rockinthesixstringrockinthesixstring(255) 3 years, 4 months ago

I found this article in my venture to be able to efficiently convert textbox values with re-usable code. This article is courtesy of Vladimir Enchev ... article found at the Telerik Blogs Very often you need to parse/convert TextBox Text property value to some other type however I’ve never seen any universal approach for this so far… and I’m offering you one :) read more...

add a comment |category: |Views: 6

tags: another