"Re: I have a question about proving code correctness"

Posted by: Frans Boumas blog, on 20 Jan 2012 | View original | Bookmarked: 0 time(s)

Recently I received an email with the following contents: I recently started working at a startup. I'm learning lots of cool stuff, including unit testing, but as a math major something kinda nagged at me about them. I don't know if I could write a unit test that I really trust all that much. It's better than manually poking my code to be sure, but I felt there might be a better way. Fast forward to an article posted in ycombinator which gave me the knowledge that there are actually people who...

Category: Debugger | Other Posts: View all posts by this blogger | Report as irrelevant | View bloggers stats | Views: 1363 | Hits: 37

Similar Posts

  • $.fadeTo/fadeOut() operations on Table Rows in IE fail more
  • Telerik Extensions for ASP.NET MVC Troubleshooting more
  • Introducing RadScrollablePanel for Windows Forms more
  • Oredev Wrap-Up more
  • Commitments more
  • MSDN Guidance on ASP.NET MVC vs WebForms and its Impact on my EF + ASP.NET Work more
  • Interviewing Javier Lozano 7 Nov 2009 (tonight) at 8pm PST more
  • Introducing SharePoint 2010 Training at U2U more
  • Welcome the WebUI Test Studio v2.0! more
  • Designer v Xaml v Code more

News Categories

.NET | Agile | Ajax | Architecture | ASP.NET | BizTalk | C# | Certification | Data | DataGrid | DataSet | Debugger | DotNetNuke | Events | GridView | IIS | Indigo | JavaScript | Mobile | Mono | Patterns and Practices | Performance | Podcast | Refactor | Regex | Security | Sharepoint | Silverlight | Smart Client Applications | Software | SQL | VB.NET | Visual Studio | W3 | WCF | WinFx | WPF | WSE | XAML | XLinq | XML | XSD