SEARCH
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Prev | Current Page 212 | Next

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

"Model-Based Software Testing and Analysis with C#"


Any of the following .NET-provided types may be used for state variables and
action parameters: bool, byte, char, double, float, int, long, short, string as well
as any enum type defined by the model program.
In addition to these built-in types, you may also use the structured types and
collection types described in the rest of this chapter and the object types that we will
introduce later in Chapter 15.2
10.3 Compound values
Extending our model program with strings and integers doesn??™t change the way we
do state comparison. Just as in the previous chapters, two states are equal if their
variables contain the same values. The string data type is compatible with this kind
of equality: two strings are equal if they contain the same characters. Whether the
two strings share the same location in memory doesn??™t matter when asking if they
are equal. This kind of equality is called structural equality. It is the kind of equality
that matters for state comparison.
1 For the purposes of this chapter we use the term model program to mean a model program
written in C# source, compiled into a .NET assembly and loaded as a LibraryModelProgram
data type. The NModel package allows extenders to implement other kinds of model programs
that need not rely on .NET types for internal state.
2 The modeling framework provides an interface called IAbstractValue for extending the range
of types permitted in model programs.


Pages:
200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224
hotel jelenia góra Russian bride Free English grammar and study guid powiekszenia wielkoformatowe counter strike 1.6