or Learn to love N.D.T. (Non Destructive Testing)
Links to formal solidity testing frameworks/projects. These projects aim to add a layer of semantic reasoning and verification to writing smart contracts. These are still in development and new methods are evolving.
https://github.com/ether-camp/ethereum-testing-reference <--A self contained simple Ethereum testing system for Solidity smart contracts.
https://monax.io/docs/tutorials/solidity/solidity_4_testing_solidity/ <--nice tiered testing strategies.
ethereum.github.io/browser-solidity <----- write solidity in your browser.
https://github.com/raineorshine/solgraph <---I like this: it's graphical ..plays nice with Studio IDE ..Generates a DOT graph that "visualizes function control flow of a Solidity contract and highlights potential security vulnerabilities". According to the dev, it doesn't yet handle large sol files.
Ethereum Studio IDE new Debugging and scenarios features.https://nogo10.gitbooks.io/ether-camp-live-studio-primer/content/debugging-new.html