2 Why We Need Model-Based Testing

174 Modeling Systems with Structured State
}
static bool IsUser(string user)
{ return version.ContainsKey(user); }
static bool CanStep(string user)
{ return IsUser(user) && !CommitPending(user); }
static Set Users()
{ return version.Keys; }
The CommitPending method says whether a given user is waiting for a Commit
action to respond.
The IsUser method determines whether the string given as its argument has
appeared in at least one Synchronize action.
The CanStep method says whether the client actions Commit, Resolve, Edit, and
Revert can be taken. This is true if the user has performed at least one checkout
action and is not waiting for a pending commit action.
Synchronize action
The Synchronize action brings a client’s view of the repository up to date with
respect to the server. The practical effect of this is to set the version number of the
client to be equal to the repository’s revision number.
partial static class User
{
static bool SynchronizeEnabled(string user)
{
return !CommitPending(user);
}
[Action]
static void Synchronize(string user)
{
int newVersion = Repository.currentRevision;
if (IsUser(user))
{
IdentifyConflicts(user, version[user]);
version = version.Override(user, newVersion);
}
else
more free ebooks download links at:
http://www.ebook-x.com