Su Llewellyn

Subscribe to Su Llewellyn: eMailAlertsEmail Alerts
Get Su Llewellyn: homepageHomepage mobileMobile rssRSS facebookFacebook twitterTwitter linkedinLinkedIn


Top Stories by Su Llewellyn

If you are developer who writes code to test software, you might want to consider using Spec Explorer. Spec Explorer is a model-based testing tool available for free through Microsoft Research that you use to model the software you're testing and create test harnesses and test case suites (http://research.microsoft.com/SpecExplorer/). Note: Spec Explorer is available for academic use and for noncommercial evaluation. To obtain a copy, please send e-mail to [email protected] containing your name and affiliation. Microsoft Research will forward you a download link. Why use a model-based test approach? There are a number of reasons. The first, and perhaps the most important reason, is using it to automate the process of creating test cases. In addition, models you create with Spec Explorer are also specifications (you'll see why further on). Thus, another reason... (more)