public BoundsCheck3(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc3", "sacs_boundsCheck", "DataWriter.write",
"Check for violation of string bounds",
"Check that a string bound violation is not accepted", null)
{
this.bce = bce;
}
public BoundsCheck13(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc13", "sacs_boundsCheck", "DataWriter.write",
"Check for correct structs array bounds",
"Check that struct arrays smaller than their specified size are not accepted", null)
{
this.bce = bce;
}
public BoundsCheck7(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc7", "sacs_boundsCheck", "DataWriter.write",
"Check for sequence of string elements that are out of bounds",
"Check that a sequence of string does NOT contain an element that is out of bounds", null)
{
this.bce = bce;
}
public BoundsCheck8(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc8", "sacs_boundsCheck", "DataWriter.write",
"Check for null pointer sequence of octet",
"Check that a null pointer sequence of octet is NOT accepted", null)
{
this.bce = bce;
}
public BoundsCheck11(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc11", "sacs_boundsCheck", "DataWriter.write",
"Check for correct null pointer structs",
"Check that null pointer structs are not accepted", null)
{
this.bce = bce;
}
public static void Main(string[] args)
{
BoundsCheckEntities bce = new BoundsCheckEntities();
Test.Framework.TestSuite suite = new Test.Framework.TestSuite();
suite.AddMilestone("Test start");
suite.AddTest(new test.sacs.BoundsCheck0(bce));
suite.AddTest(new test.sacs.BoundsCheck1(bce));
suite.AddTest(new test.sacs.BoundsCheck2(bce));
suite.AddTest(new test.sacs.BoundsCheck3(bce));
suite.AddTest(new test.sacs.BoundsCheck4(bce));
suite.AddTest(new test.sacs.BoundsCheck5(bce));
suite.AddTest(new test.sacs.BoundsCheck6(bce));
suite.AddTest(new test.sacs.BoundsCheck7(bce));
suite.AddTest(new test.sacs.BoundsCheck8(bce));
suite.AddTest(new test.sacs.BoundsCheck9(bce));
suite.AddTest(new test.sacs.BoundsCheck10(bce));
suite.AddTest(new test.sacs.BoundsCheck11(bce));
suite.AddTest(new test.sacs.BoundsCheck12(bce));
suite.AddTest(new test.sacs.BoundsCheck13(bce));
suite.AddTest(new test.sacs.BoundsCheck14(bce));
suite.AddTest(new test.sacs.BoundsCheck15(bce));
suite.AddTest(new test.sacs.BoundsCheck16(bce));
suite.AddTest(new test.sacs.BoundsCheck17(bce));
suite.AddTest(new test.sacs.BoundsCheck999(bce));
suite.AddMilestone("Test end");
suite.RunTests();
suite.PrintReport();
}
public static void Main(string[] args)
{
BoundsCheckEntities bce = new BoundsCheckEntities();
Test.Framework.TestSuite suite = new Test.Framework.TestSuite();
suite.AddMilestone("Test start");
suite.AddTest(new test.sacs.BoundsCheck0(bce));
suite.AddTest(new test.sacs.BoundsCheck1(bce));
suite.AddTest(new test.sacs.BoundsCheck2(bce));
suite.AddTest(new test.sacs.BoundsCheck3(bce));
suite.AddTest(new test.sacs.BoundsCheck4(bce));
suite.AddTest(new test.sacs.BoundsCheck5(bce));
suite.AddTest(new test.sacs.BoundsCheck6(bce));
suite.AddTest(new test.sacs.BoundsCheck7(bce));
suite.AddTest(new test.sacs.BoundsCheck8(bce));
suite.AddTest(new test.sacs.BoundsCheck9(bce));
suite.AddTest(new test.sacs.BoundsCheck10(bce));
suite.AddTest(new test.sacs.BoundsCheck11(bce));
suite.AddTest(new test.sacs.BoundsCheck12(bce));
suite.AddTest(new test.sacs.BoundsCheck13(bce));
suite.AddTest(new test.sacs.BoundsCheck14(bce));
suite.AddTest(new test.sacs.BoundsCheck15(bce));
suite.AddTest(new test.sacs.BoundsCheck16(bce));
suite.AddTest(new test.sacs.BoundsCheck17(bce));
suite.AddTest(new test.sacs.BoundsCheck999(bce));
suite.AddMilestone("Test end");
suite.RunTests();
suite.PrintReport();
}
public BoundsCheck999(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc999", "sacs_boundsCheck", "de-init",
"de-init all entities",
"Check that de-initialization is successful", null)
{
this.bce = bce;
}
public BoundsCheck15(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc15", "sacs_boundsCheck", "DataWriter.write",
"Check for correct structs array bounds",
"Check that struct arrays equal to their specified size are accepted", null)
{
this.bce = bce;
}
public BoundsCheck3(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc3", "sacs_boundsCheck", "DataWriter.write",
"Check for violation of string bounds",
"Check that a string bound violation is not accepted", null)
{
this.bce = bce;
}
public BoundsCheck9(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc9", "sacs_boundsCheck", "DataWriter.write",
"Check that unbounded sequence of octet",
"Check that an unbounded sequence of octet does NOT violate any bounds", null)
{
this.bce = bce;
}
public BoundsCheck8(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc8", "sacs_boundsCheck", "DataWriter.write",
"Check for null pointer sequence of octet",
"Check that a null pointer sequence of octet is NOT accepted", null)
{
this.bce = bce;
}
public BoundsCheck6(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc6", "sacs_boundsCheck", "DataWriter.write",
"Check for sequence of string elements that are null",
"Check that a sequence of string does NOT contain a null pointer", null)
{
this.bce = bce;
}
public BoundsCheck2(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc2", "sacs_boundsCheck", "DataWriter.write",
"Check unbounded string",
"Check that an unbounded string does NOT violate any bounds", null)
{
this.bce = bce;
}
public BoundsCheck5(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc5", "sacs_boundsCheck", "DataWriter.write",
"Check for violation of sequence of string bounds",
"Check that a sequence of string bound violation is NOT accepted", null)
{
this.bce = bce;
}
public BoundsCheck10(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc10", "sacs_boundsCheck", "init",
"Initialize some more test entities",
"test entities are initialized successfully", null)
{
this.bce = bce;
}
public BoundsCheck6(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc6", "sacs_boundsCheck", "DataWriter.write",
"Check for sequence of string elements that are null",
"Check that a sequence of string does NOT contain a null pointer", null)
{
this.bce = bce;
}
public BoundsCheck17(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc17", "sacs_boundsCheck", "DataWriter.write",
"Check for correct sequence of structs bounds",
"Check that sequences of structs bigger than their specified bounds are NOT accepted", null)
{
this.bce = bce;
}
public BoundsCheck16(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc16", "sacs_boundsCheck", "DataWriter.write",
"Check for correct sequence of structs bounds",
"Check that sequences of structs smaller than their specified bounds are accepted", null)
{
this.bce = bce;
}
public BoundsCheck2(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc2", "sacs_boundsCheck", "DataWriter.write",
"Check unbounded string",
"Check that an unbounded string does NOT violate any bounds", null)
{
this.bce = bce;
}
public BoundsCheck15(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc15", "sacs_boundsCheck", "DataWriter.write",
"Check for correct structs array bounds",
"Check that struct arrays equal to their specified size are accepted", null)
{
this.bce = bce;
}
public BoundsCheck999(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc999", "sacs_boundsCheck", "de-init",
"de-init all entities",
"Check that de-initialization is successful", null)
{
this.bce = bce;
}
public BoundsCheck7(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc7", "sacs_boundsCheck", "DataWriter.write",
"Check for sequence of string elements that are out of bounds",
"Check that a sequence of string does NOT contain an element that is out of bounds", null)
{
this.bce = bce;
}
public BoundsCheck0(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc0", "sacs_boundsCheck", "init",
"Initialize the test entities",
"test entities are initialized successfully", null)
{
this.bce = bce;
}
public BoundsCheck9(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc9", "sacs_boundsCheck", "DataWriter.write",
"Check that unbounded sequence of octet",
"Check that an unbounded sequence of octet does NOT violate any bounds", null)
{
this.bce = bce;
}
public BoundsCheck11(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc11", "sacs_boundsCheck", "DataWriter.write",
"Check for correct null pointer structs",
"Check that null pointer structs are not accepted", null)
{
this.bce = bce;
}
public BoundsCheck14(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc14", "sacs_boundsCheck", "DataWriter.write",
"Check for correct structs array bounds",
"Check that struct arrays bigger than their specified size are not accepted", null)
{
this.bce = bce;
}
public BoundsCheck5(BoundsCheckEntities bce) :
base("sacs_boundsCheck_tc5", "sacs_boundsCheck", "DataWriter.write",
"Check for violation of sequence of string bounds",
"Check that a sequence of string bound violation is NOT accepted", null)
{
this.bce = bce;
}
