On Fri, Jul 17, 2009 at 9:24 PM, Nicholas Geti <[email protected]> wrote: > > I once studied a book on printed circuit analysis and it included > mathematical algorithms that reduced first pass chip logic into its minimal > equivalent logic. One of the algorithms was the Finite State Machine. It was > all very interesting.
Engineers amongst us might have studied Thévenin's electrical theorem (I certainly did, and I studied software engineering). Basically this splits analogue electrical components into simplified 'black boxes' that can be analysed mathematically to study a circuits operation. http://en.wikipedia.org/wiki/Th%C3%A9venin%27s_theorem Similar ideas can be used to analyse software. Microsoft Research released a tool (for .net obviously) called Pex a while that I've been meaning to investigate: http://research.microsoft.com/en-us/projects/Pex/ "Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage. Pex performs a systematic analysis, hunting for boundary conditions, exceptions and assertion failures, which you can debug right away. Pex enables Parameterized Unit Testing, an extension of Unit Testing that reduces test maintenance costs." Sounds pretty cool eh? I don't see why a similar tool can't be made for Fox. -- Paul _______________________________________________ Post Messages to: [email protected] Subscription Maintenance: http://leafe.com/mailman/listinfo/profox OT-free version of this list: http://leafe.com/mailman/listinfo/profoxtech Searchable Archive: http://leafe.com/archives/search/profox This message: http://leafe.com/archives/byMID/profox/[email protected] ** All postings, unless explicitly stated otherwise, are the opinions of the author, and do not constitute legal or medical advice. This statement is added to the messages for those lawyers who are too stupid to see the obvious.
