Java tutorial
package com.crawljax.plugins.testilizer.generated.claroline_EXND; import java.io.IOException; import java.util.ArrayList; import java.util.Arrays; import java.util.HashSet; import java.util.Set; import java.util.concurrent.TimeUnit; import org.junit.*; import static org.junit.Assert.*; import org.openqa.selenium.*; import org.openqa.selenium.firefox.FirefoxDriver; import org.openqa.selenium.firefox.FirefoxProfile; import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; import com.crawljax.forms.RandomInputValueGenerator; import com.crawljax.util.DomUtils; /* * Generated @ Fri Apr 18 05:52:45 PDT 2014 */ public class GeneratedTestCase12 { private WebDriver driver; private String url; private boolean acceptNextAlert = true; private StringBuffer verificationErrors = new StringBuffer(); private DOMElement element; private DOMElement parentElement; private ArrayList<DOMElement> childrenElements = new ArrayList<DOMElement>(); private String DOM = null; boolean getCoverageReport = false; @Before public void setUp() throws Exception { // Setting the JavaScript code coverage switch getCoverageReport = com.crawljax.plugins.testilizer.Testilizer.getCoverageReport(); if (getCoverageReport) driver = new FirefoxDriver(getProfile()); else driver = new FirefoxDriver(); url = "http://localhost:8888/claroline-1.11.7/index.php?logout=true"; driver.manage().timeouts().implicitlyWait(30, TimeUnit.SECONDS); } public static FirefoxProfile getProfile() { FirefoxProfile profile = new FirefoxProfile(); profile.setPreference("network.proxy.http", "localhost"); profile.setPreference("network.proxy.http_port", 3128); profile.setPreference("network.proxy.type", 1); /* use proxy for everything, including localhost */ profile.setPreference("network.proxy.no_proxies_on", ""); return profile; } @After public void tearDown() throws Exception { if (getCoverageReport) ((JavascriptExecutor) driver).executeScript( " if (window.jscoverage_report) {return jscoverage_report('CodeCoverageReport');}"); driver.quit(); String verificationErrorString = verificationErrors.toString(); if (!"".equals(verificationErrorString)) { fail(verificationErrorString); } } /* * Test Cases */ @Test public void method12() { driver.get(url); //From state 0 to state 1 //Eventable{eventType=click, identification=cssSelector button[type="submit"], element=Element{node=[BUTTON: null], tag=BUTTON, text=Enter, attributes={tabindex=3, type=submit}}, source=StateVertexImpl{id=0, name=index}, target=StateVertexImpl{id=1, name=state1}} mutateDOMTree(0); checkState0_OriginalAssertions(); checkState0_ReusedAssertions(); checkState0_GeneratedAssertions(); checkState0_LearnedAssertions(); checkState0_AllAssertions(); checkState0_RandAssertions1(); checkState0_RandAssertions2(); checkState0_RandAssertions3(); checkState0_RandAssertions4(); checkState0_RandAssertions5(); driver.findElement(By.id("login")).clear(); driver.findElement(By.id("login")).sendKeys("nainy"); driver.findElement(By.id("password")).clear(); driver.findElement(By.id("password")).sendKeys("nainy"); driver.findElement(By.cssSelector("button[type=\"submit\"]")).click(); //From state 1 to state 2 //Eventable{eventType=click, identification=text Platform administration, element=Element{node=[A: null], tag=A, text=Platform administration, attributes={href=/claroline-1.11.7/claroline/admin/, target=_top}}, source=StateVertexImpl{id=1, name=state1}, target=StateVertexImpl{id=2, name=state2}} mutateDOMTree(1); checkState1_OriginalAssertions(); checkState1_ReusedAssertions(); checkState1_GeneratedAssertions(); checkState1_LearnedAssertions(); checkState1_AllAssertions(); checkState1_RandAssertions1(); checkState1_RandAssertions2(); checkState1_RandAssertions3(); checkState1_RandAssertions4(); checkState1_RandAssertions5(); driver.findElement(By.linkText("Platform administration")).click(); //From state 2 to state 107 //Eventable{eventType=click, identification=text Modules, element=Element{node=[A: null], tag=A, text=Modules, attributes={href=module/module_list.php}}, source=StateVertexImpl{id=2, name=state2}, target=StateVertexImpl{id=107, name=state107}} mutateDOMTree(2); checkState2_OriginalAssertions(); checkState2_ReusedAssertions(); checkState2_GeneratedAssertions(); checkState2_LearnedAssertions(); checkState2_AllAssertions(); checkState2_RandAssertions1(); checkState2_RandAssertions2(); checkState2_RandAssertions3(); checkState2_RandAssertions4(); checkState2_RandAssertions5(); driver.findElement(By.linkText("Modules")).click(); //From state 107 to state 108 //Eventable{eventType=click, identification=cssSelector img[alt="Properties"], element=Element{node=[IMG: null], tag=IMG, text=, attributes={alt=Properties, src=/claroline-1.11.7/web/img/settings.png?1232379976}}, source=StateVertexImpl{id=107, name=state107}, target=StateVertexImpl{id=108, name=state108}} mutateDOMTree(107); checkState107_OriginalAssertions(); checkState107_ReusedAssertions(); checkState107_GeneratedAssertions(); checkState107_LearnedAssertions(); checkState107_AllAssertions(); checkState107_RandAssertions1(); checkState107_RandAssertions2(); checkState107_RandAssertions3(); checkState107_RandAssertions4(); checkState107_RandAssertions5(); driver.findElement(By.cssSelector("img[alt=\"Properties\"]")).click(); //From state 108 to state 151 //Eventable{eventType=click, identification=text Local settings, element=Element{node=[A: null], tag=A, text=Local settings, attributes={href=module.php?module_id=11&item=LOCAL}}, source=StateVertexImpl{id=108, name=state108}, target=StateVertexImpl{id=151, name=state151}} mutateDOMTree(108); checkState108_OriginalAssertions(); checkState108_ReusedAssertions(); checkState108_GeneratedAssertions(); checkState108_LearnedAssertions(); checkState108_AllAssertions(); checkState108_RandAssertions1(); checkState108_RandAssertions2(); checkState108_RandAssertions3(); checkState108_RandAssertions4(); checkState108_RandAssertions5(); driver.findElement(By.linkText("Local settings")).click(); //From state 151 to state 156 //Eventable{eventType=click, identification=cssSelector input[type="submit"], element=Element{node=[INPUT: null], tag=INPUT, text=, attributes={type=submit, value=Ok}}, source=StateVertexImpl{id=151, name=state151}, target=StateVertexImpl{id=156, name=state156}} mutateDOMTree(151); checkState151_OriginalAssertions(); checkState151_ReusedAssertions(); checkState151_GeneratedAssertions(); checkState151_LearnedAssertions(); checkState151_AllAssertions(); checkState151_RandAssertions1(); checkState151_RandAssertions2(); checkState151_RandAssertions3(); checkState151_RandAssertions4(); checkState151_RandAssertions5(); driver.findElement(By.cssSelector("input[type=\"submit\"]")).click(); //From state 156 to state 160 //Eventable{eventType=click, identification=text About, element=Element{node=[A: null], tag=A, text=About, attributes={href=module.php?module_id=11&item=About}}, source=StateVertexImpl{id=156, name=state156}, target=StateVertexImpl{id=160, name=state160}} mutateDOMTree(156); checkState156_OriginalAssertions(); checkState156_ReusedAssertions(); checkState156_GeneratedAssertions(); checkState156_LearnedAssertions(); checkState156_AllAssertions(); checkState156_RandAssertions1(); checkState156_RandAssertions2(); checkState156_RandAssertions3(); checkState156_RandAssertions4(); checkState156_RandAssertions5(); driver.findElement(By.linkText("About")).click(); //From state 160 to state 87 //Eventable{eventType=click, identification=text Logout, element=Element{node=[A: null], tag=A, text=Logout, attributes={href=/claroline-1.11.7/index.php?logout=true, target=_top}}, source=StateVertexImpl{id=160, name=state160}, target=StateVertexImpl{id=87, name=state87}} mutateDOMTree(160); checkState160_OriginalAssertions(); checkState160_ReusedAssertions(); checkState160_GeneratedAssertions(); checkState160_LearnedAssertions(); checkState160_AllAssertions(); checkState160_RandAssertions1(); checkState160_RandAssertions2(); checkState160_RandAssertions3(); checkState160_RandAssertions4(); checkState160_RandAssertions5(); driver.findElement(By.linkText("Logout")).click(); //Sink node at state 87 mutateDOMTree(87); checkState87_OriginalAssertions(); checkState87_ReusedAssertions(); checkState87_GeneratedAssertions(); checkState87_LearnedAssertions(); checkState87_AllAssertions(); checkState87_RandAssertions1(); checkState87_RandAssertions2(); checkState87_RandAssertions3(); checkState87_RandAssertions4(); checkState87_RandAssertions5(); } public void checkState0_OriginalAssertions() { } public void checkState0_ReusedAssertions() { if (!(driver.findElement(By.id("loginBox")).getText().matches("^[\\s\\S]*Authentication[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // reused assertion in case of ElementFullMatch } public void checkState0_GeneratedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"blockHeader\"")))); childrenElements.add(new DOMElement("H3", "Authentication", new ArrayList<String>(Arrays.asList("type=\"text/javascript\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("action=\"/claroline-1.11.7/claroline/auth/login.php\"", "class=\"claroLoginForm\"", "method=\"post\"")))); childrenElements .add(new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("FORM", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("P", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of RegionFullMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState0_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("id=\"leftContent\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"platformManager\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "ClarolineLoginClaroline", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\"")))); childrenElements .add(new DOMElement("DIV", "Login", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("P", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/auth/lostPassword.php\"")))); childrenElements .add(new DOMElement("#comment", "\"LostPassword\"", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/claroline/auth/inscription.php\"")))); childrenElements.add(new DOMElement("A", "Lostpassword", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "\"CreateuserAccount\"", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Createuseraccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState0_AllAssertions() { if (!(driver.findElement(By.id("loginBox")).getText().matches("^[\\s\\S]*Authentication[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // reused assertion in case of ElementFullMatch element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"blockHeader\"")))); childrenElements.add(new DOMElement("H3", "Authentication", new ArrayList<String>(Arrays.asList("type=\"text/javascript\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("action=\"/claroline-1.11.7/claroline/auth/login.php\"", "class=\"claroLoginForm\"", "method=\"post\"")))); childrenElements .add(new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("FORM", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("P", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of RegionFullMatch element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("id=\"leftContent\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"platformManager\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState0_RandAssertions1() { element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"institution\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "campusBannerRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusBannerRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/claroline/auth/lostPassword.php\""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Lostpassword", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[[class=\"spacer\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "target=\"_blank\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"poweredBy\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Claroline", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/H4[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions2() { element = new DOMElement("FORM", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("action=\"/claroline-1.11.7/claroline/auth/login.php\"", "class=\"claroLoginForm\"", "method=\"post\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"border: 0; margin: 10px 0 15px 0; padding: 5px;\"")))); childrenElements .add(new DOMElement("FIELDSET", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[48[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "ClarolineLoginClaroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[id=\"platformBanner\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "Login", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"menu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Login", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions3() { element = new DOMElement("LI", "Login", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"menu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Login", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[82[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("UL", "Claroline", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Claroline", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/DIV/P/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV/DIV[2]/DIV/UL/LI/SPAN/A[@href=\"/claroline-1.11.7/claroline/auth/login.php?sourceUrl=aHR0cDovL2xvY2FsaG9zdDo4ODg4L2NsYXJvbGluZS0xLjExLjcvaW5kZXgucGhwP2xvZ291dD10cnVl\" and @target=\"_top\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions4() { element = new DOMElement("UL", "Login", new ArrayList<String>(Arrays.asList("class=\"menu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Login", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[100[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV/DIV[3]/DIV/UL/LI/A/IMG[@alt=\"home\" and @src=\"/claroline-1.11.7/web/img/home.png?1232379976\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[3]/DIV[[id=\"toolViewOption\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/web/css/print.css?1301589033\"", "media=\"print\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions5() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/UL/LI[2[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV[id=\"claroPage\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("UL", "Login", new ArrayList<String>(Arrays.asList("class=\"menu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Login", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DL[class=\"courseList\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/DIV/FORM/FIELDSET/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState1_OriginalAssertions() { } public void checkState1_ReusedAssertions() { } public void checkState1_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("THEAD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("THEAD", "TitleVisibilityOrder", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState1_LearnedAssertions() { element = new DOMElement("SPAN", "Email-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Email", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Administrativecode-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Administrativecode", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "mmnainy", new ArrayList<String>(Arrays.asList("class=\"managerString\""))); parentElement = new DOMElement("DD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("A", "mmnainy", new ArrayList<String>(Arrays.asList("href=\"mailto:\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("P", "Phone7788814476", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userDetails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "Phone", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "7788814476", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState1_AllAssertions() { element = new DOMElement("SPAN", "Email-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Email", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Administrativecode-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Administrativecode", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "mmnainy", new ArrayList<String>(Arrays.asList("class=\"managerString\""))); parentElement = new DOMElement("DD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("A", "mmnainy", new ArrayList<String>(Arrays.asList("href=\"mailto:\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("P", "Phone7788814476", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userDetails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "Phone", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "7788814476", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState1_RandAssertions1() { element = new DOMElement("A", "Viewallmymessages", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/claroline/messaging/index.php\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"content\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Viewallmymessages", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV/TABLE/TBODY/TR/TD[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("align=\"center\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "ThursdayApril17,2014", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "mmnainy", new ArrayList<String>(Arrays.asList("href=\"mailto:\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"managerString\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "mmnainy", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState1_RandAssertions2() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[class=\"toolTitleBlock\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("P", "Email-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userDetails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "Email", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "-", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV/DIV/DIV/SPAN/A[@href=\"/claroline-1.11.7/index.php\" and @target=\"_top\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/DIV/DIV/DIV/IMG[@alt=\"User picture\" and @@class=\"userPicture\" and @src=\"/claroline-1.11.7/web/img/nopicture.png?1232379976\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("class=\"poweredBy\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Poweredby", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "target=\"_blank\"")))); childrenElements.add(new DOMElement("A", "Claroline", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "2001-2013", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState1_RandAssertions3() { element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/web/css/print.css?1301589033\"", "media=\"print\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[3]/DIV[3]/DIV/TABLE/TBODY/TR/TD/IMG[@alt=\"\" and @src=\"/claroline-1.11.7/web/img/mail_close.png?1232379976\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userProfileBox\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"blockHeader\"")))); childrenElements .add(new DOMElement("H3", "mmnainy", new ArrayList<String>(Arrays.asList("id=\"userProfile\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"userProfileBoxDock\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[3]/DIV[3]/DIV/TABLE/TBODY/TR[2]/TD[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "A7-ComputerScience", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/course/index.php?cid=A7_002\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "A7-ComputerScience", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState1_RandAssertions4() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"desktopRightContent\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"leftContent\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"portlet collapsible collapsed\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"portlet CLANN_Portlet\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"portlet mymessages\"")))); childrenElements.add(new DOMElement("DIV", "LatestannouncementsNoannouncementtodisplay", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("align=\"center\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "ThursdayApril17,2014", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TH", "SubjectSenderDate", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("align=\"center\"", "valign=\"top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Date", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Logout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Logout", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/index.php?logout=true\"", "target=\"_top\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("H1", "Mydesktop", new ArrayList<String>(Arrays.asList("class=\"toolTitle mainTitle\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Mydesktop", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState1_RandAssertions5() { element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "rel=\"Copyright\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[2]/DIV/DIV/DIV/UL/LI[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "Noannouncementtodisplay", new ArrayList<String>(Arrays.asList("alt=\"\"", "class=\"iconDefinitionList\"", "src=\"/claroline-1.11.7/claroline/announcements/img/announcement.png?1213165982\""))); parentElement = new DOMElement("DT", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("alt=\"User picture\"", "class=\"userPicture\"", "src=\"/claroline-1.11.7/web/img/nopicture.png?1232379976\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userPicture\""))); childrenElements.clear(); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV[2]/DIV/DIV/DIV/DIV[2]/P[4]/A/IMG[@alt=\"Statistics\" and @src=\"/claroline-1.11.7/web/img/statistics.png?1232379976\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState2_OriginalAssertions() { } public void checkState2_ReusedAssertions() { } public void checkState2_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent( By.cssSelector("div.claroDialogBox.boxWarning[class=\"claroDialogBox boxWarning\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState2_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Administration", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "Administration", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxWarning\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"adminPanel\"")))); childrenElements .add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "Administration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxWarning\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgWarning\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState2_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Administration", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "Administration", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxWarning\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"adminPanel\"")))); childrenElements .add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "Administration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxWarning\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgWarning\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState2_RandAssertions1() { element = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminPanel\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("H2", "Platform'configuration", new ArrayList<String>(Arrays.asList("class=\"adminPlatform\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/TABLE/TBODY/TR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxWarning\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgWarning\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "Claroline>Administration", new ArrayList<String>(Arrays.asList("class=\"spacer\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Advanced", new ArrayList<String>(Arrays.asList("href=\"advanced_user_search.php\""))); parentElement = new DOMElement("SMALL", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Advanced", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState2_RandAssertions2() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[2]/UL/LI/FORM/INPUT[@class=\"inputSearch\" and @@id=\"search_course\" and @@name=\"search\" and @type=\"text\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/LINK[[@href=\"http://www.claroline.net\" and @rel=\"Copyright\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "Communication", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/mail_close.png?1232379976\""))); parentElement = new DOMElement("H2", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Mydesktop", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Mydesktop", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/desktop/index.php\"", "target=\"_top\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState2_RandAssertions3() { element = new DOMElement("A", "Filesstatistics", new ArrayList<String>(Arrays.asList("href=\"technical/files_stats.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Filesstatistics", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LI", "Addauserlist", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminUser\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Addauserlist", new ArrayList<String>(Arrays.asList("href=\"../user/addcsvusers.php?AddType=adminTool\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[3]/UL/LI[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TITLE", "Administration-Claroline", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Administration-Claroline", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LI", "Scantechnicalfault", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminTechnical\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Scantechnicalfault", new ArrayList<String>(Arrays.asList("href=\"campusProblem.php\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState2_RandAssertions4() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV/DIV/SPAN[id=\"siteName\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "rel=\"Copyright\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("UL", "CommunicationInternalmessaging", new ArrayList<String>(Arrays.asList("class=\"adminCommunication\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("LI", "Internalmessaging", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[2]/H2[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState2_RandAssertions5() { element = new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays .asList("src=\"/claroline-1.11.7/web/js/jquery.qtip.js?1329310394\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[5]/UL[class=\"adminClaroline\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Filesstatistics", new ArrayList<String>(Arrays.asList("href=\"technical/files_stats.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Filesstatistics", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"platformBanner\"")))); childrenElements.add(new DOMElement("#comment", "PlatformBanner", new ArrayList<String>(Arrays.asList("id=\"userBanner\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPlatformBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "UserBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "BreadcrumbLine", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "Claroline>Administration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofBreadcrumbLine", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LI", "Modules", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminPlatform\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Modules", new ArrayList<String>(Arrays.asList("href=\"module/module_list.php\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState107_OriginalAssertions() { } public void checkState107_ReusedAssertions() { } public void checkState107_GeneratedAssertions() { element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("THEAD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("THEAD", "TitleVisibilityOrder", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector( "TABLE.claroTable.emphaseLine[border=\"0\"][cellspacing=\"2\"][class=\"claroTable emphaseLine\"][width=\"100%\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState107_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline>Administration>Modules", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"toolViewOption\"")))); childrenElements.add(new DOMElement("DIV", "Claroline>Administration>Modules", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"platformManager\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("THEAD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState107_AllAssertions() { element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("THEAD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("THEAD", "TitleVisibilityOrder", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline>Administration>Modules", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"toolViewOption\"")))); childrenElements.add(new DOMElement("DIV", "Claroline>Administration>Modules", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"platformManager\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState107_RandAssertions1() { if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[10]/TD[5]/A/IMG[@alt=\"Move down\" and @src=\"/claroline-1.11.7/web/img/move_down.png?1232379976\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("UL", "Claroline>Mydesktop", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Claroline>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Mydesktop", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "Internalmessaging", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminCommunication\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Internalmessaging", new ArrayList<String>(Arrays.asList("href=\"../messaging/admin.php\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[5]/UL/LI[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("align=\"center\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "ThursdayApril17,2014", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState107_RandAssertions2() { element = new DOMElement("LI", "Enrolonanewcourse", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Enrolonanewcourse", new ArrayList<String>(Arrays.asList("class=\"userCommandsItem\"", "href=\"/claroline-1.11.7/claroline/auth/courses.php?cmd=rqReg&categoryId=0\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[127[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Move down\"", "src=\"/claroline-1.11.7/web/img/move_down.png?1232379976\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"module_list.php?courseToolId=8&cmd=mvDown\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "A7-ComputerScience", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DT", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "A7-ComputerScience", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/course/index.php?cid=A7_009\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("alt=\"You are manager of this course\"", "class=\"qtip role \"", "src=\"/claroline-1.11.7/web/img/manager.png?1232379976\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"module.php?module_id=11\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Properties\"", "src=\"/claroline-1.11.7/web/img/settings.png?1232379976\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState107_RandAssertions3() { element = new DOMElement("SPAN", "Administrativecode-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Administrativecode", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TH", "Email", new ArrayList<String>(Arrays.asList("id=\"c3\"", "scope=\"col\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("align=\"center\"", "class=\"headerX\"", "valign=\"top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Email", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Email-", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Email", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"100%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Coursedescription--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Agenda--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Announcement--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Document---", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Exercises--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "LearningPath---", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Assignments--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Forums---", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Groups---", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Users---", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Wiki--", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Chat-", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminPanel\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("LI", "CommunicationInternalmessaging", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState107_RandAssertions4() { element = new DOMElement("LI", "Scantechnicalfault", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminTechnical\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Scantechnicalfault", new ArrayList<String>(Arrays.asList("href=\"campusProblem.php\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"module.php?module_id=6\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Properties\"", "src=\"/claroline-1.11.7/web/img/settings.png?1232379976\"")))); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LI", "Rightprofilelist", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminUser\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Rightprofilelist", new ArrayList<String>(Arrays.asList("href=\"right/profile_list.php\"")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("UL", "Claroline>Administration", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Claroline>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Administration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"module.php?module_id=7\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Properties\"", "src=\"/claroline-1.11.7/web/img/settings.png?1232379976\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState107_RandAssertions5() { element = new DOMElement("A", "Viewallmymessages", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/claroline/messaging/index.php\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"content\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Viewallmymessages", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\"")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "campusHomePageRightMenu", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "EndofcampusHomePageRightMenu", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "Login", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"menu\"")))); childrenElements.add(new DOMElement("UL", "Login", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/claroline/learnPath/icon.png\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Groups---", new ArrayList<String>(Arrays.asList("align=\"center\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("A", "", new ArrayList<String>(Arrays.asList( "href=\"module_list.php?cmd=byDefaultInvisible&module_id=9&typeReq=tool\"", "title=\"Visible - Click to make invisible\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState108_OriginalAssertions() { } public void checkState108_ReusedAssertions() { } public void checkState108_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState108_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"userBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add( new DOMElement("DIV", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState108_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"userBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add( new DOMElement("DIV", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState108_RandAssertions1() { element = new DOMElement("IMG", "Claroline", new ArrayList<String>( Arrays.asList("alt=\"home\"", "src=\"/claroline-1.11.7/web/img/home.png?1232379976\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/index.php\"", "target=\"_top\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/TABLE/TBODY/TR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[2]/DIV[2]/UL/LI[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("H1", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("class=\"toolTitle mainTitle\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState108_RandAssertions2() { element = new DOMElement("DIV", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"menu\"")))); childrenElements.add( new DOMElement("UL", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[[id=\"campusFooter\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Platformsettings", new ArrayList<String>(Arrays.asList("class=\"toolTitle subTitle\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Platformsettings", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/TABLE/TBODY/TR/TD[2]/UL[class=\"commandList\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/CREDITS.txt\"", "rel=\"Author\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState108_RandAssertions3() { element = new DOMElement("A", "Coursemanager", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/admin/module/module.php?cmd=activplatformadmin&module_id=1&item=GLOBAL\"", "title=\"Course manager\""))); parentElement = new DOMElement("DD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("alt=\"Course manager\"", "src=\"/claroline-1.11.7/web/img/manager.png?1232379976\"")))); childrenElements.add(new DOMElement("#text", "Coursemanager", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"siteName\"")))); childrenElements.add(new DOMElement("SPAN", "Claroline", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "campusBannerLeft", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofcampusBannerLeft", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[[id=\"userBanner\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"spacer\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState108_RandAssertions4() { element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "rel=\"Copyright\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Activated", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/admin/module/module.php?cmd=deactiv&module_id=1&item=GLOBAL\"", "title=\"Activated - Click to deactivate\""))); parentElement = new DOMElement("DD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Activated\"", "src=\"/claroline-1.11.7/web/img/on.png?1232379976\"")))); childrenElements.add(new DOMElement("#text", "Activated", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[3]/DIV[3]/SPAN[class=\"poweredBy\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DT", "Platformactivation:", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DL", "", new ArrayList<String>(Arrays.asList("class=\"onOneLine\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Platformactivation:", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays .asList("src=\"/claroline-1.11.7/web/js/tooltitle.js?1311692694\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState108_RandAssertions5() { element = new DOMElement("DIV", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays .asList("src=\"/claroline-1.11.7/web/js/jquery.qtip.js?1329310394\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Managemyaccount", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Managemyaccount", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/auth/profile.php\"", "target=\"_top\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LI", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"menu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Mydesktop", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Globalsettings", new ArrayList<String>( Arrays.asList("class=\"current\"", "href=\"module.php?module_id=1&item=GLOBAL\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Globalsettings", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState151_OriginalAssertions() { } public void checkState151_ReusedAssertions() { } public void checkState151_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/tool/config_edit.php?config_code=CLWRK\"", "method=\"post\"", "name=\"editConfClass\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("name=\"config_code\"", "type=\"hidden\"", "value=\"CLWRK\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("name=\"section\"", "type=\"hidden\"", "value=\"main\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cmd\"", "type=\"hidden\"", "value=\"save\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/tool/config_edit.php?config_code=CLWRK\"", "method=\"post\"", "name=\"editConfClass\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("name=\"config_code\"", "type=\"hidden\"", "value=\"CLWRK\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("name=\"section\"", "type=\"hidden\"", "value=\"quota\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cmd\"", "type=\"hidden\"", "value=\"save\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/tool/config_edit.php?config_code=CLQWZ\"", "method=\"post\"", "name=\"editConfClass\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("name=\"config_code\"", "type=\"hidden\"", "value=\"CLQWZ\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("name=\"section\"", "type=\"hidden\"", "value=\"main\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cmd\"", "type=\"hidden\"", "value=\"save\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState151_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\"")))); childrenElements.add(new DOMElement("DIV", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState151_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\"")))); childrenElements.add(new DOMElement("DIV", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState151_RandAssertions1() { element = new DOMElement("UL", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("class=\"menu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBannerLeft\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Mydesktop", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Mymessages", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("LI", "Platformadministration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "userBannerLeft", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofuserBannerLeft", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/web/css/print.css?1301589033\"", "media=\"print\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Createcourse", new ArrayList<String>(Arrays.asList("href=\"../course/create.php?adminContext=1\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Createcourse", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "A7-ComputerScience", new ArrayList<String>(Arrays.asList("alt=\"Access allowed to anybody (even without login)\"", "class=\"qtip iconDefinitionList \"", "src=\"/claroline-1.11.7/web/img/access_open.png?1232379976\""))); parentElement = new DOMElement("DT", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "ModulesInstallmodule", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements .add(new DOMElement("TABLE", "ModulesInstallmodule", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState151_RandAssertions2() { element = new DOMElement("TD", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/mail_close.png?1232379976\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[126[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("id=\"userBannerLeft\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"menu\"")))); childrenElements.add(new DOMElement("UL", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[60[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Filesstatistics", new ArrayList<String>(Arrays.asList("href=\"technical/files_stats.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Filesstatistics", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState151_RandAssertions3() { element = new DOMElement("LI", "Claroline>Mydesktop", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Claroline", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/index.php\"", "target=\"_top\"")))); childrenElements.add(new DOMElement("#text", ">", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList( "onclick=\"document.location='http://localhost:8888/claroline-1.11.7/claroline/admin/module/module.php?module_id=11';return false\"", "type=\"button\"", "value=\"Cancel\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList( "href=\"http://localhost:8888/claroline-1.11.7/claroline/admin/module/module.php?module_id=11\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "Claroline>Administration", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Administration", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/admin/index.php\"", "target=\"_top\"")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Scantechnicalfault", new ArrayList<String>(Arrays.asList("href=\"campusProblem.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Scantechnicalfault", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/claroline/learnPath/icon.png\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState151_RandAssertions4() { element = new DOMElement("TD", "Forcetextpreviewbeforesavingit:YesNo", new ArrayList<String>(Arrays.asList("width=\"50%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/TABLE/TBODY/TR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"leftContent\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("DIV", "Mydesktop", new ArrayList<String>(Arrays.asList("id=\"dekstopLeftSidebar\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"desktopRightContent\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("class=\"userName\""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"menu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "mmnainy", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("UL", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList("class=\"menu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBannerRight\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"userName\"")))); childrenElements.add(new DOMElement("LI", "mmnainy", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Managemyaccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Logout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "userBannerRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofuserBannerRight", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState151_RandAssertions5() { element = new DOMElement("SPAN", "A7-ComputerScience", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DT", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "A7-ComputerScience", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/course/index.php?cid=A7_005\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("alt=\"You are manager of this course\"", "class=\"qtip role \"", "src=\"/claroline-1.11.7/web/img/manager.png?1232379976\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[88[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("H4", "Coursesinthiscategory", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"leftContent\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Coursesinthiscategory", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\"module_list.php?module_id=12&typeReq=tool&cmd=exUninstall\"", "onclick=\"return ADMIN.confirmationUninstall('Chat');\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Delete\"", "src=\"/claroline-1.11.7/web/img/delete.png?1232379976\"")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[3]/DIV/DIV/P[5]/A/IMG[@alt=\"\" and @src=\"/claroline-1.11.7/web/img/edit.png?1232379976\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState156_OriginalAssertions() { // if(!(driver.findElement(By.cssSelector("div.claroDialogBox.boxSuccess")).getText().matches("^[\\s\\S]*Properties for Wiki, \\(CLWIKI\\) are now effective on server\\.[\\s\\S]*$"))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // original assertion } public void checkState156_ReusedAssertions() { } public void checkState156_GeneratedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxSuccess\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgSuccess\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original if (!(isElementPresent( By.cssSelector("div.claroDialogBox.boxSuccess[class=\"claroDialogBox boxSuccess\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/tool/config_edit.php?config_code=CLWRK\"", "method=\"post\"", "name=\"editConfClass\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("name=\"config_code\"", "type=\"hidden\"", "value=\"CLWRK\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("name=\"section\"", "type=\"hidden\"", "value=\"main\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cmd\"", "type=\"hidden\"", "value=\"save\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState156_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\"")))); childrenElements.add(new DOMElement("DIV", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState156_AllAssertions() { // if(!(driver.findElement(By.cssSelector("div.claroDialogBox.boxSuccess")).getText().matches("^[\\s\\S]*Properties for Wiki, \\(CLWIKI\\) are now effective on server\\.[\\s\\S]*$"))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // original assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxSuccess\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgSuccess\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellpadding=\"5\"", "width=\"100%\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion } public void checkState156_RandAssertions1() { element = new DOMElement("INPUT", "YesNo", new ArrayList<String>(Arrays.asList("id=\"label_forcePreviewBeforeSaving_TRUE\"", "name=\"property[forcePreviewBeforeSaving]\"", "type=\"radio\"", "value=\"TRUE\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("nowrap=\"nowrap\"", "width=\"25%\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/UL[id=\"navlist\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"toolViewOption\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/DIV[class=\"claroDialogBox boxSuccess\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxSuccess\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgSuccess\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState156_RandAssertions2() { element = new DOMElement("HR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left:1em;padding-right:1em;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogBox boxSuccess\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\"")))); childrenElements.add(new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TR", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[3]/DIV[2]/DIV/A[href=\"mailto:m@ga.com?subject=[Claroline]\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/TABLE[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState156_RandAssertions3() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"spacer\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LABEL", "YesNo", new ArrayList<String>(Arrays.asList("for=\"label_forcePreviewBeforeSaving_FALSE\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("nowrap=\"nowrap\"", "width=\"25%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "No", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[2]/DIV[[id=\"userBannerRight\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/FORM/TABLE/TBODY/TR[2]/TD[[@nowrap=\"nowrap\" and @width=\"25%\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/../favicon.ico\"", "rel=\"shortcut icon\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState156_RandAssertions4() { element = new DOMElement("TD", "Save:", new ArrayList<String>(Arrays.asList("colspan=\"2\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("type=\"submit\"", "value=\"Ok\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList( "href=\"http://localhost:8888/claroline-1.11.7/claroline/admin/module/module.php?module_id=11\"")))); childrenElements.add(new DOMElement("A", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"spacer\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/FORM/TABLE/TBODY[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "mmnainyManagemyaccountLogout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"menu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Logout", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Claroline>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Administration>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Modulelist>", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Wiki>", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Modulesettings", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState156_RandAssertions5() { element = new DOMElement("HR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Claroline>", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/index.php\"", "target=\"_top\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"home\"", "src=\"/claroline-1.11.7/web/img/home.png?1232379976\"")))); childrenElements.add(new DOMElement("#text", "Claroline", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements .add(new DOMElement("TABLE", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("class=\"poweredBy\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Poweredby", new ArrayList<String>(Arrays.asList("href=\"http://www.claroline.net\"", "target=\"_blank\"")))); childrenElements.add(new DOMElement("A", "Claroline", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "2001-2013", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"poweredBy\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("SPAN", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState160_OriginalAssertions() { } public void checkState160_ReusedAssertions() { } public void checkState160_GeneratedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("DIV", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "Description", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("P", "Nodescription", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "GeneralInformations", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch if (!(isElementPresent(By.cssSelector("div.toolTitleBlock[class=\"toolTitleBlock\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState160_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Description", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "Description", new ArrayList<String>(Arrays.asList("class=\"toolTitle subTitle\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState160_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("#comment", "Pagecontent", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("DIV", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\"")))); childrenElements.add(new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "Description", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("P", "Nodescription", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "GeneralInformations", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndofPageContent", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagAttMatch element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("HR", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterLeft\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterRight\"")))); childrenElements .add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"platformBanner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\"")))); childrenElements.add(new DOMElement("DIV", "Claroline", new ArrayList<String>(Arrays.asList("id=\"campusBannerRight\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroPage\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>( Arrays.asList("dir=\"ltr\"", "onload=\"claro_session_loss_countdown(1440);\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"topBanner\"")))); childrenElements.add( new DOMElement("#comment", "Banner", new ArrayList<String>(Arrays.asList("id=\"claroBody\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "EndoftopBanner", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "$Id:body.tpl.php143322012-11-2310:08:10Zzefredz$", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------ClarolineBody---------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "----------EndofClarolineBody----------", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#comment", "endofclaroPage", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState160_RandAssertions1() { element = new DOMElement("TD", "Type:tool", new ArrayList<String>(Arrays.asList("align=\"right\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Type:", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[3]/DIV[2]/DIV/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("colspan=\"2\"")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[3]/HR[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbs\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"breadcrumbTrails\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode firstBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Claroline>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Administration>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode lastBreadCrumbsNode\"")))); childrenElements.add(new DOMElement("LI", "Modulelist>", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Wiki>", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Modulesettings", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState160_RandAssertions2() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[2]/TD[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("id=\"userBannerLeft\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"userBanner\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"menu\"")))); childrenElements.add(new DOMElement("UL", "MydesktopMymessagesPlatformadministration", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TBODY", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TR", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "License:GeneralPublicLicense", new ArrayList<String>(Arrays.asList("align=\"right\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "License:", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Logout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Logout", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/index.php?logout=true\"", "target=\"_top\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState160_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/FORM/INPUT[[@name=\"cmd\" and @@type=\"hidden\" and @value=\"save\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[3]/HR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/DIV[class=\"claroDialogBox boxSuccess\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Mymessages", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/messaging\"", "target=\"_top\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Mymessages", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"poweredBy\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("SPAN", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState160_RandAssertions4() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"spacer\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Icon:", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("alt=\"CLWIKI\"", "src=\"/claroline-1.11.7/claroline/wiki/icon.png\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[3]/DIV[2]/DIV/A[href=\"mailto:m@ga.com?subject=[Claroline]\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[3]/FORM/TABLE/TBODY/TR[3]/TD[[colspan=\"2\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("id=\"campusFooterCenter\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"poweredBy\"")))); childrenElements .add(new DOMElement("#comment", "campusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#comment", "EndofcampusFooterCenter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("SPAN", "PoweredbyClaroline2001-2013", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState160_RandAssertions5() { element = new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("name=\"cmd\"", "type=\"hidden\"", "value=\"save\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList( "action=\"/claroline-1.11.7/claroline/admin/module/module.php?config_code=CLWIKI&module_id=11&item=LOCAL\"", "method=\"post\"", "name=\"editConfClass\""))); childrenElements.clear(); // if(!(isElementRegionTagPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays .asList("src=\"/claroline-1.11.7/web/js/jquery.qtip.js?1329310394\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Modulename:Wiki", new ArrayList<String>(Arrays.asList("align=\"right\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Modulename:", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Logout", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/index.php?logout=true\"", "target=\"_top\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Logout", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState87_OriginalAssertions() { if (!(driver.findElement(By.id("loginBox")).getText().matches("^[\\s\\S]*Authentication[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion } public void checkState87_ReusedAssertions() { } public void checkState87_GeneratedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"blockHeader\"")))); childrenElements.add(new DOMElement("H3", "Authentication", new ArrayList<String>(Arrays.asList("type=\"text/javascript\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("action=\"/claroline-1.11.7/claroline/auth/login.php\"", "class=\"claroLoginForm\"", "method=\"post\"")))); childrenElements .add(new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("FORM", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("P", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState87_LearnedAssertions() { } public void checkState87_AllAssertions() { if (!(driver.findElement(By.id("loginBox")).getText().matches("^[\\s\\S]*Authentication[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"loginBox\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"rightSidebar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"blockHeader\"")))); childrenElements.add(new DOMElement("H3", "Authentication", new ArrayList<String>(Arrays.asList("type=\"text/javascript\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("action=\"/claroline-1.11.7/claroline/auth/login.php\"", "class=\"claroLoginForm\"", "method=\"post\"")))); childrenElements .add(new DOMElement("SCRIPT", "", new ArrayList<String>(Arrays.asList("style=\"padding: 5px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("FORM", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("P", "LostpasswordCreateuseraccount", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original if (!(isElementPresent(By.id("claroBody")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState87_RandAssertions1() { } public void checkState87_RandAssertions2() { } public void checkState87_RandAssertions3() { } public void checkState87_RandAssertions4() { } public void checkState87_RandAssertions5() { } /* * Auxiliary methods */ private boolean isElementPresent(By by) { try { driver.findElement(by); return true; } catch (NoSuchElementException e) { return false; } } private boolean isElementRegionTagPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { sourceElement = (org.w3c.dom.Element) nodeList.item(i); // check parent node's tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parentTagName.equals(parent.getTagName())) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isElementRegionTagAttPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { // check node's attributes sourceElement = (org.w3c.dom.Element) nodeList.item(i); NamedNodeMap elementAttList = sourceElement.getAttributes(); HashSet<String> elemetAtts = new HashSet<String>(); for (int j = 0; j < elementAttList.getLength(); j++) elemetAtts.add(elementAttList.item(j).getNodeName() + "=\"" + elementAttList.item(j).getNodeValue() + "\""); if (!element.getAttributes().equals(elemetAtts)) continue; // check parent node's tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parentTagName.equals(parent.getTagName())) continue; NamedNodeMap parentAttList = sourceElement.getParentNode().getAttributes(); HashSet<String> parentAtts = new HashSet<String>(); for (int j = 0; j < parentAttList.getLength(); j++) parentAtts.add(parentAttList.item(j).getNodeName() + "=\"" + parentAttList.item(j).getNodeValue() + "\""); if (!parent.getAttributes().equals(parentAtts)) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; // check children nodes' attributes HashSet<HashSet<String>> childrenAttsFromDOM = new HashSet<HashSet<String>>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) { NamedNodeMap childAttListFromDOM = sourceElement.getChildNodes().item(j).getAttributes(); HashSet<String> childAtts = new HashSet<String>(); if (childAttListFromDOM != null) for (int k = 0; k < childAttListFromDOM.getLength(); k++) childAtts.add(childAttListFromDOM.item(k).getNodeName() + "=\"" + childAttListFromDOM.item(k).getNodeValue() + "\""); childrenAttsFromDOM.add(childAtts); } HashSet<HashSet<String>> childrenAttsToTest = new HashSet<HashSet<String>>(); for (int k = 0; k < children.size(); k++) childrenAttsToTest.add(children.get(k).getAttributes()); if (!childrenAttsToTest.equals(childrenAttsFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isElementRegionFullPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { // check node's text and attributes sourceElement = (org.w3c.dom.Element) nodeList.item(i); if (!element.getTextContent().equals(sourceElement.getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", ""))) continue; NamedNodeMap elementAttList = sourceElement.getAttributes(); HashSet<String> elemetAtts = new HashSet<String>(); for (int j = 0; j < elementAttList.getLength(); j++) elemetAtts.add(elementAttList.item(j).getNodeName() + "=\"" + elementAttList.item(j).getNodeValue() + "\""); if (!element.getAttributes().equals(elemetAtts)) continue; // check parent node's text, tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parent.getTextContent().equals(sourceElement.getParentNode().getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", ""))) continue; if (!parentTagName.equals(parent.getTagName())) continue; NamedNodeMap parentAttList = sourceElement.getParentNode().getAttributes(); HashSet<String> parentAtts = new HashSet<String>(); for (int j = 0; j < parentAttList.getLength(); j++) parentAtts.add(parentAttList.item(j).getNodeName() + "=\"" + parentAttList.item(j).getNodeValue() + "\""); if (!parent.getAttributes().equals(parentAtts)) continue; // check children nodes' text HashSet<String> childrenTextFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTextFromDOM.add(sourceElement.getChildNodes().item(j).getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", "")); HashSet<String> childrenTextToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTextToTest.add(children.get(k).getTextContent()); if (!childrenTextToTest.equals(childrenTextFromDOM)) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; // check children nodes' attributes HashSet<HashSet<String>> childrenAttsFromDOM = new HashSet<HashSet<String>>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) { NamedNodeMap childAttListFromDOM = sourceElement.getChildNodes().item(j).getAttributes(); HashSet<String> childAtts = new HashSet<String>(); if (childAttListFromDOM != null) for (int k = 0; k < childAttListFromDOM.getLength(); k++) childAtts.add(childAttListFromDOM.item(k).getNodeName() + "=\"" + childAttListFromDOM.item(k).getNodeValue() + "\""); childrenAttsFromDOM.add(childAtts); } HashSet<HashSet<String>> childrenAttsToTest = new HashSet<HashSet<String>>(); for (int k = 0; k < children.size(); k++) childrenAttsToTest.add(children.get(k).getAttributes()); if (!childrenAttsToTest.equals(childrenAttsFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isAlertPresent() { try { driver.switchTo().alert(); return true; } catch (NoAlertPresentException e) { return false; } } private String closeAlertAndGetItsText() { try { Alert alert = driver.switchTo().alert(); String alertText = alert.getText(); if (acceptNextAlert) { alert.accept(); } else { alert.dismiss(); } return alertText; } finally { acceptNextAlert = true; } } public class DOMElement { private String tagName; private String textContent; private HashSet<String> attributes = new HashSet<String>(); public DOMElement(String tagName, String textContent, ArrayList<String> attributes) { this.tagName = tagName; this.textContent = textContent; if (attributes.get(0) != "") for (int i = 0; i < attributes.size(); i++) this.attributes.add(attributes.get(i)); } public String getTagName() { return tagName; } public String getTextContent() { return textContent; } public HashSet<String> getAttributes() { return attributes; } } private void mutateDOMTree(int stateID) { // execute JavaScript code to mutate DOM String code = com.crawljax.plugins.testilizer.Testilizer.mutateDOMTreeCode(stateID); if (code != null) { long RandomlySelectedDOMElementID = (long) ((JavascriptExecutor) driver).executeScript(code); int MutationOperatorCode = com.crawljax.plugins.testilizer.Testilizer.MutationOperatorCode; int StateToBeMutated = com.crawljax.plugins.testilizer.Testilizer.StateToBeMutated; com.crawljax.plugins.testilizer.Testilizer.SelectedRandomElementInDOM[MutationOperatorCode][StateToBeMutated] = (int) RandomlySelectedDOMElementID; } } }