public void Post() { //Condition number smaller three will be checked AFTER method call addOne() var ocls = "context HowToUseIt::addOne() post NumberLowerThree: self.number < 3"; OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, false); var program = new Program(); Assert.IsTrue(program.countToTen()); }
public void ValuesTypes() { //Checking the value of the integer variable number from class HowToUseIt var ocls = "context HowToUseIt::addOne() post NumberLowerThree: self.number < 3"; OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, false); var program = new Program(); Assert.IsTrue(program.countToTen()); }
public void Debugger() { var ocls = "context HowToUseIt::addOne() post NumberLowerThree: self.number < 3"; //For calling the debugger the third parameter from AddConstraints(...) has to be true //and UnitTest has to run in debug OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, true, false); var program = new Program(); Assert.IsTrue(program.countToTen()); }
public void Lists2() { //Checking each student is older than 10 var ocls = "context ResearchProject::amountStudents() pre OlderThan10: self.Students->forAll(s | s.Age > 10)"; OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, false); var program = new Program(); program.addStudentsToProject(); Assert.IsTrue(program.singleObjectTest()); }
public void Lists() { //Checking if there is an object in a list of objects thats age is greater than 20 var ocls = "context ResearchProject::amountStudents() pre OlderThan20: self.Students->exists(s | s.Age > 20)"; OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, false); var program = new Program(); program.addStudentsToProject(); Assert.IsTrue(program.singleObjectTest()); }
public void Objects() { //Checking if the value of an variable from an object is greater 40 var ocls = "context ResearchProject::amountStudents() pre responsibleProf: self.Responsible.Age <= 40"; OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, false); var program = new Program(); program.addStudentsToProject(); Assert.IsTrue(program.singleObjectTest()); }
public void OwnErrorMessage() { var ocls = "context HowToUseIt::addOne() post NumberLowerThree: self.number < 3"; //For a custom error message the fourth parameter from AddConstraints(...) has to be true //and in CodeGenerator.cs the custom code has to be added into this if-condition: if (" + _customMethod + @") OclTestProvider.AddConstraints(new[] { "HowTo" }, ocls, false, true); var program = new Program(); Assert.IsTrue(program.countToTen()); }
// [Fact] private static void RunAspectTests() { const string ocls = @" context Machine::set_Capacity() pre CapacityBigger10: self.Capacity.Max(10) > 10 "; OclTestProvider.AddConstraints(new[] { "Designer" }, ocls); Console.WriteLine("Execute Planning program..."); var planner = new Planner(); planner.Plan(); }