2 Why We Need Model-Based Testing

Systems with Finite Models 65
using NModel;
using NModel.Attributes;
using NModel.Execution;
namespace NewsReader
{
static class NewsReaderUI
{
// Types for each state variable
enum Page { Topics, Messages };
enum Style { WithText, TitlesOnly };
enum Sort { ByFirst, ByMostRecent };
// State variables, initial state
static Page page = Page.Topics;
static Style style = Style.WithText;
static Sort sort = Sort.ByMostRecent;
// Actions: enabling condition, then action method
static bool SelectMessagesEnabled()
{
return (page == Page.Topics);
}
[Action]
static void SelectMessages()
{
page = Page.Messages;
}
static bool SelectTopicsEnabled()
{
return (page == Page.Messages);
}
[Action]
static void SelectTopics()
{
page = Page.Topics;
}
// to be continued ...
Figure 5.4. Web-based newsreader: model program (part 1).
more free ebooks download links at:
http://www.ebook-x.com