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 GeneratedTestCase19 { 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 method19() { 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 .claroTable > tbody:nth-child(2) > tr:nth-child(11) > td:nth-child(6) > a:nth-child(1) > img:nth-child(1), 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( ".claroTable > tbody:nth-child(2) > tr:nth-child(11) > td:nth-child(6) > a:nth-child(1) > img:nth-child(1)")) .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(); //Sink node at state 160 mutateDOMTree(160); checkState160_OriginalAssertions(); checkState160_ReusedAssertions(); checkState160_GeneratedAssertions(); checkState160_LearnedAssertions(); checkState160_AllAssertions(); checkState160_RandAssertions1(); checkState160_RandAssertions2(); checkState160_RandAssertions3(); checkState160_RandAssertions4(); checkState160_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", "ClarolineLoginClaroline", 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", 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; } // Random element 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;} // 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("SPAN", "", new ArrayList<String>(Arrays.asList("id=\"siteName\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Claroline", 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/jquery.js?1311781341\"", "type=\"text/javascript\""))); 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]/P[32[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions2() { 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 (!(isElementRegionTagPresent(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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList("style=\"border: 0; margin: 10px 0 15px 0; padding: 5px;\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { 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("P", "Hello!!WelcometoClaroline", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"leftContent\""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "Hello!!WelcometoClaroline", 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("DIV", "ClarolineLoginClaroline", 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", 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; } // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV[2]/DIV[2]/FORM[@action=\"/claroline-1.11.7/index.php?logout=true\" and @method=\"post\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/SCRIPT[[type=\"text/javascript\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[29[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/P[1[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions4() { element = new DOMElement("SPAN", "Login", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Login", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/auth/login.php?sourceUrl=aHR0cDovL2xvY2FsaG9zdDo4ODg4L2NsYXJvbGluZS0xLjExLjcvaW5kZXgucGhwP2xvZ291dD10cnVl\"", "target=\"_top\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/SCRIPT[[@src=\"/claroline-1.11.7/web/js/claroline.js?1368605938\" and @type=\"text/javascript\"]")))){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("A", "Login", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/auth/login.php?sourceUrl=aHR0cDovL2xvY2FsaG9zdDo4ODg4L2NsYXJvbGluZS0xLjExLjcvaW5kZXgucGhwP2xvZ291dD10cnVl\"", "target=\"_top\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Login", 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("HR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusFooter\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions5() { element = new DOMElement("BUTTON", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList("tabindex=\"3\"", "type=\"submit\""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList("style=\"border: 0; margin: 10px 0 15px 0; padding: 5px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Enter", 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", "Claroline", 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("BR", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList("style=\"border: 0; margin: 10px 0 15px 0; padding: 5px;\""))); 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]/P[83[]")))){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 } 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("IMG", "A7-ComputerScience", 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\""))); parentElement = new DOMElement("SPAN", "", 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/TABLE[]")))){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=\"99%\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\"")))); childrenElements.add(new DOMElement("TR", "HellonainymmFridayApril18,2014", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\"")))); childrenElements .add(new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\"")))); childrenElements.add( new DOMElement("TR", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("TR", "HellonainymmThursdayApril17,2014", 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]/DIV[2]/DIV/DIV/DIV[2]/DL/DT[4]/SPAN/A[href=\"/claroline-1.11.7/claroline/course/index.php?cid=A7_062\"]")))){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[2]/DL/DT/SPAN[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState1_RandAssertions2() { element = new DOMElement("TR", "Mydesktop", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "Mydesktop", 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 element = new DOMElement("P", "Administrativecode-", 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", "Administrativecode", 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/claroline/../favicon.ico\"", "rel=\"shortcut icon\""))); 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[2]/DIV/DIV/DIV[2]/DL/DT[5]/IMG[@alt=\"Access allowed to anybody (even without login)\" and @@class=\"qtip iconDefinitionList \" and @src=\"/claroline-1.11.7/web/img/access_open.png?1232379976\"]")))){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[[class=\"userCourseList\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState1_RandAssertions3() { element = new DOMElement("H2", "Managemycourses", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"userCommands\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Managemycourses", 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", "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(!(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[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[2]/DIV[2]/DIV[3]/DIV[[class=\"portlet CLANN_Portlet\"]")))){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 } public void checkState1_RandAssertions4() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV[2]/DIV/DIV/DIV/UL[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element 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("#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; } // 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_008\"")))); 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(!(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[2]/DIV/DIV/DIV[2]/DL/DD[5]/SPAN[class=\"managerString\"]")))){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[2]/A[href=\"/claroline-1.11.7/claroline/messaging/readmessage.php?messageId=1707&type=received\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState1_RandAssertions5() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[3]/HR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "Removecourseenrolment", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Removecourseenrolment", new ArrayList<String>(Arrays.asList("class=\"userCommandsItem\"", "href=\"/claroline-1.11.7/claroline/auth/courses.php?cmd=rqUnreg\"")))); 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[[id=\"leftContent\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("TD", "Hello", new ArrayList<String>(Arrays.asList("align=\"center\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "nainymm", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("TD", "ThursdayApril17,2014", 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("TR", "HellonainymmThursdayApril17,2014", new ArrayList<String>(Arrays.asList("class=\"unreadMessage\""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("TD", "Hello", new ArrayList<String>(Arrays.asList("align=\"center\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "nainymm", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("TD", "ThursdayApril17,2014", 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 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() { if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV/DIV[3]/DIV/UL/LI[2]/A[@href=\"/claroline-1.11.7/claroline/admin/index.php\" and @target=\"_top\"]")))) { 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("A", "AdministratorforClaroline:mmnainyPhone:7788814476", new ArrayList<String>(Arrays.asList("href=\"mailto:m@ga.com?subject=[Claroline]\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"platformManager\""))); 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 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("H2", "Users", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/user.png?1232379976\"")))); childrenElements.add(new DOMElement("#text", "Users", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState2_RandAssertions2() { element = new DOMElement("LI", "Userlist", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminUser\""))); childrenElements.clear(); childrenElements.add( new DOMElement("A", "Userlist", new ArrayList<String>(Arrays.asList("href=\"admin_users.php\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Managecoursecategories", new ArrayList<String>(Arrays.asList("href=\"admin_category.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Managecoursecategories", 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=\"adminUser\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("LI", "SearchforauserAdvanced", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Userlist", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("LI", "Sendamessagetoallusers", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Createuser", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Addauserlist", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Manageclasses", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Rightprofilelist", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Manageuserdesktop", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LI", "Mergeuseraccounts", 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("H2", "Users", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/user.png?1232379976\"")))); childrenElements.add(new DOMElement("#text", "Users", 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("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 } public void checkState2_RandAssertions3() { element = new DOMElement("A", "Manageadministratoremailnotifications", new ArrayList<String>(Arrays.asList("href=\"adminmailsystem.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Manageadministratoremailnotifications", 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]/UL/LI[5]/UL/LI[3]/A[href=\"clarolinenews.php\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Claroline", new ArrayList<String>(Arrays.asList("id=\"siteName\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/index.php\"", "target=\"_top\"")))); childrenElements.add(new DOMElement("A", "Claroline", 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", "Configuration", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminPlatform\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Configuration", new ArrayList<String>(Arrays.asList("href=\"tool/config_list.php\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion 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", "Courses", new ArrayList<String>(Arrays.asList("class=\"adminCourse\"")))); 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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState2_RandAssertions4() { element = new DOMElement("LI", "Mergeuseraccounts", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"adminUser\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Mergeuseraccounts", new ArrayList<String>(Arrays.asList("href=\"adminmergeuser.php\"")))); 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=\"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[2]/UL/LI[6]/UL[class=\"adminCommunication\"]")))){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("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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState2_RandAssertions5() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV[2]/DIV/CODE[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[2]/DIV/UL[class=\"menu\"]")))){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/claroline.js?1368605938\"", "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("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 (!(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("SPAN", "", new ArrayList<String>(Arrays.asList("id=\"siteName\""))); 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 } 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() { 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;} // Random element assertion element = new DOMElement("A", "Mergeuseraccounts", new ArrayList<String>(Arrays.asList("href=\"adminmergeuser.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Mergeuseraccounts", 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]/TABLE/TBODY/TR[7]/TD/IMG[@alt=\"\" and @src=\"/claroline-1.11.7/claroline/work/icon.png\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "LatestannouncementsNoannouncementtodisplay", new ArrayList<String>(Arrays.asList("class=\"portlet CLANN_Portlet\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"desktopRightContent\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("H1", "Latestannouncements", new ArrayList<String>(Arrays.asList("class=\"content\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "Noannouncementtodisplay", 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("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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState107_RandAssertions2() { element = new DOMElement("A", "Edittextzone", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/admin/managing/editFile.php?cmd=rqEdit&file=textzone_top.authenticated.inc.html\""))); parentElement = new DOMElement("P", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/edit.png?1232379976\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "Edittextzone", 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/CREDITS.txt\"", "rel=\"Author\""))); 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("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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/LINK[@href=\"/claroline-1.11.7/web/css/classic/main.css?1337668864\" and @@media=\"screen, projection, tv\" and @@rel=\"stylesheet\" and @type=\"text/css\"]")))){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[2]/SPAN[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState107_RandAssertions3() { element = new DOMElement("TD", "Wiki--", new ArrayList<String>(Arrays.asList("align=\"center\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); 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("THEAD", "SubjectSenderDate", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("border=\"0\"", "cellspacing=\"2\"", "class=\"claroTable emphaseLine\"", "width=\"99%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("align=\"center\"", "valign=\"top\"")))); childrenElements.add(new DOMElement("TR", "SubjectSenderDate", 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("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("action=\"/claroline-1.11.7/claroline/admin/adminmailsystem.php\"", "method=\"post\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); childrenElements .add(new DOMElement("DIV", "Systemmail:recipientslist", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FORM", "", 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(!(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[2]/DL/DT[7]/IMG[@alt=\"Access allowed to anybody (even without login)\" and @@class=\"qtip iconDefinitionList \" and @src=\"/claroline-1.11.7/web/img/access_open.png?1232379976\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[8]/TD[5]/A[href=\"module_list.php?courseToolId=8&cmd=mvDown\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState107_RandAssertions4() { if (!(isElementPresent(By.xpath( "/HTML/BODY/DIV/DIV/DIV[3]/DIV/UL/LI[2]/A[@href=\"/claroline-1.11.7/claroline/admin/\" and @target=\"_top\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Assignments--", 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?courseToolId=7&cmd=mvUp\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Platformstatistics", new ArrayList<String>(Arrays.asList("href=\"../tracking/platform_report.php\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Platformstatistics", 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", "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(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Coursecreated:ComputerScience", new ArrayList<String>(Arrays.asList( "href=\"/claroline-1.11.7/claroline/messaging/readmessage.php?messageId=1705&type=received\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "Coursecreated:ComputerScience", 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_RandAssertions5() { // 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("IMG", "Enrolonanewcourse", new ArrayList<String>( Arrays.asList("alt=\"\"", "src=\"/claroline-1.11.7/web/img/enroll.png?1232379976\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("class=\"userCommandsItem\"", "href=\"/claroline-1.11.7/claroline/auth/courses.php?cmd=rqReg&categoryId=0\""))); 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]/UL/LI[3]/UL/LI/A[href=\"tool/config_list.php\"]")))){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?courseToolId=9&cmd=mvDown\"")))); 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_015\"")))); 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 } 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("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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TBODY", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("TR", "Modulesettings:Coursedescription", 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/HEAD/SCRIPT[[type=\"text/javascript\"]")))){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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { 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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState108_RandAssertions2() { element = new DOMElement("DD", "Coursemanager", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DL", "", new ArrayList<String>(Arrays.asList("class=\"onOneLine\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", 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\"")))); childrenElements.add(new DOMElement("A", "Coursemanager", 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("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 (!(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[3]/HR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DT", "Inmanualmode,moduleactivableby:", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DL", "", new ArrayList<String>(Arrays.asList("class=\"onOneLine\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Inmanualmode,moduleactivableby:", 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", "Mymessages", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Mymessages", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/messaging\"", "target=\"_top\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState108_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[3]/DIV/UL[class=\"breadCrumbs\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "Platformsettings", 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", "Platformsettings", 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; } // Random element assertion element = new DOMElement("TBODY", "Modulesettings:Coursedescription", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("TR", "Modulesettings:Coursedescription", 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("DD", "Activated", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DL", "", new ArrayList<String>(Arrays.asList("class=\"onOneLine\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", 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\"")))); childrenElements.add(new DOMElement("A", "Activated", 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("DD", "Coursemanager", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DL", "", new ArrayList<String>(Arrays.asList("class=\"onOneLine\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", 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\"")))); childrenElements.add(new DOMElement("A", "Coursemanager", 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 checkState108_RandAssertions4() { element = new DOMElement("SPAN", "Claroline", new ArrayList<String>(Arrays.asList("id=\"siteName\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"campusBannerLeft\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"/claroline-1.11.7/index.php\"", "target=\"_top\"")))); childrenElements.add(new DOMElement("A", "Claroline", 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", "", 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("class=\"onOneLine\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"spacer\"")))); 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", "Platformsettings", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DL", "", 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; } // 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(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("class=\"commandList\"")))); 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 checkState108_RandAssertions5() { 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 (!(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/TD[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LI", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("id=\"navlist\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "About", new ArrayList<String>(Arrays.asList("href=\"module.php?module_id=1&item=About\"")))); // if(!(isElementRegionFullPresent(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=\"breadcrumbLine\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { 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 (!(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("CODE", "claroline/install/", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgWarning\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "claroline/install/", 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]/TABLE/TBODY/TR[4]/TD[4]/A/IMG[@alt=\"Move up\" and @src=\"/claroline-1.11.7/web/img/move_up.png?1232379976\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Exercises--", 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?courseToolId=5&cmd=mvDown\"")))); // 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/TABLE/TBODY/TR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Agenda--", 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.php?module_id=2\"")))); // if(!(isElementRegionTagPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState151_RandAssertions2() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[4]/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("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Visible\"", "src=\"/claroline-1.11.7/web/img/visible.png?1232379976\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\"module_list.php?cmd=byDefaultInvisible&module_id=11&typeReq=tool\"", "title=\"Visible - Click to make invisible\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/SCRIPT[[@src=\"/claroline-1.11.7/web/js/jquery.qtip.js?1329310394\" and @type=\"text/javascript\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Coursedescription--", 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=1&typeReq=tool\"", "title=\"Visible - Click to make invisible\"")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "UsernamePasswordEnter", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList("style=\"border: 0; margin: 10px 0 15px 0; padding: 5px;\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState151_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/UL/LI[5]/UL/LI[2]/A[href=\"http://forum.claroline.net/\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/DIV/DIV/DIV[id=\"userProfile\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Move up\"", "src=\"/claroline-1.11.7/web/img/move_up.png?1232379976\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"module_list.php?courseToolId=2&cmd=mvUp\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(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_showWikiEditorToolbar_TRUE\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("nowrap=\"nowrap\"", "width=\"25%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Yes", 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", "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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState151_RandAssertions4() { element = new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("type=\"submit\"", "value=\"Ok\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("colspan=\"2\""))); 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=\"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", "", 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 (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { 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(!(isElementRegionTagAttPresent(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?courseToolId=3&cmd=mvUp\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("align=\"center\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>( Arrays.asList("alt=\"Move up\"", "src=\"/claroline-1.11.7/web/img/move_up.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]/TABLE/TBODY/TR[12]/TD[7]/A/IMG[@alt=\"Delete\" and @src=\"/claroline-1.11.7/web/img/delete.png?1232379976\"]")))){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_002\"")))); 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(!(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]/TABLE/TBODY/TR[3]/TD[6]/A[href=\"module.php?module_id=3\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("B", "Notice:", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"claroDialogMsg msgWarning\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Notice:", 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]/TABLE/TBODY/TR[10]/TD[9]/A/IMG[@alt=\"Visible\" and @src=\"/claroline-1.11.7/web/img/visible.png?1232379976\"]")))){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[2]/DL/DT[2]/SPAN/IMG[@alt=\"You are manager of this course\" and @@class=\"qtip role \" and @src=\"/claroline-1.11.7/web/img/manager.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("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; } // Random element assertion element = new DOMElement("TABLE", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); childrenElements.clear(); childrenElements .add(new DOMElement("TBODY", "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", "Showwikisyntaxtoolbar: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 element = new DOMElement("LI", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("UL", "", new ArrayList<String>(Arrays.asList("id=\"navlist\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "Localsettings", new ArrayList<String>( Arrays.asList("class=\"current\"", "href=\"module.php?module_id=11&item=LOCAL\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TABLE", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); childrenElements.clear(); childrenElements .add(new DOMElement("TBODY", "Modulesettings:Wiki", 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("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("LI", "Administration>", new ArrayList<String>(Arrays.asList("class=\"breadCrumbsNode\""))); 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/\"", "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("LABEL", "YesNo", new ArrayList<String>(Arrays.asList("for=\"label_showWikiEditorToolbar_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 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; } // Random element assertion element = new DOMElement("TD", "Forcetextpreviewbeforesavingit:YesNo", new ArrayList<String>(Arrays.asList("style=\"text-align: right\"", "width=\"25%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Forcetextpreviewbeforesavingit:", 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_RandAssertions3() { element = new DOMElement("TABLE", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"toolTitleBlock\""))); childrenElements.clear(); childrenElements .add(new DOMElement("TBODY", "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("LINK", "", new ArrayList<String>(Arrays.asList("href=\"/index.php\"", "rel=\"top\"", "title=\"\""))); 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 // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV/DIV[2]/DIV[id=\"userBannerLeft\"]")))){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\"", "cellpadding=\"5\"", "width=\"100%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("TR", "Showwikisyntaxtoolbar:YesNo", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\"")))); childrenElements.add(new DOMElement("TR", "Forcetextpreviewbeforesavingit:YesNo", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Save:", 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("id=\"toolViewOption\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"breadcrumbLine\""))); childrenElements.clear(); 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 checkState156_RandAssertions4() { 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(!(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=\"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("BR", "YesNo", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("nowrap=\"nowrap\"", "width=\"25%\""))); 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[3]/FORM/TABLE/TBODY/TR[2]/TD[2]/INPUT[@id=\"label_forcePreviewBeforeSaving_TRUE\" and @@name=\"property[forcePreviewBeforeSaving]\" and @@type=\"radio\" and @value=\"TRUE\"]")))){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=\"breadcrumbLine\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState156_RandAssertions5() { 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 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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Forcetextpreviewbeforesavingit:YesNo", new ArrayList<String>(Arrays.asList("nowrap=\"nowrap\"", "width=\"25%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("id=\"label_forcePreviewBeforeSaving_TRUE\"", "name=\"property[forcePreviewBeforeSaving]\"", "type=\"radio\"", "value=\"TRUE\"")))); childrenElements.add(new DOMElement("LABEL", "Yes", new ArrayList<String>(Arrays.asList("for=\"label_forcePreviewBeforeSaving_TRUE\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("checked=\"checked\"", "id=\"label_forcePreviewBeforeSaving_FALSE\"", "name=\"property[forcePreviewBeforeSaving]\"", "type=\"radio\"", "value=\"FALSE\"")))); childrenElements.add(new DOMElement("LABEL", "No", new ArrayList<String>(Arrays.asList("for=\"label_forcePreviewBeforeSaving_FALSE\"")))); // if(!(isElementRegionFullPresent(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 (!(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 (!(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("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 (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Platformadministration", new ArrayList<String>( Arrays.asList("href=\"/claroline-1.11.7/claroline/admin/\"", "target=\"_top\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Platformadministration", 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("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("align=\"right\"")))); childrenElements.add(new DOMElement("TD", "Website:", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "http://wiki.claroline.net/index.php/CLWIKI", 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("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(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Forcetextpreviewbeforesavingit:YesNo", new ArrayList<String>(Arrays.asList("style=\"text-align: right\"", "width=\"25%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("style=\"vertical-align: top\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Forcetextpreviewbeforesavingit:", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(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]/DIV[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[6]/TD[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "About", new ArrayList<String>(Arrays.asList("href=\"module.php?module_id=11&item=About\""))); parentElement = new DOMElement("LI", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "About", 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/DIV[[class=\"spacer\"]")))){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/claroline.js?1368605938\"", "type=\"text/javascript\""))); 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 checkState160_RandAssertions3() { element = new DOMElement("DIV", "GeneralInformations", 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", "GeneralInformations", new ArrayList<String>(Arrays.asList("class=\"toolTitle subTitle\"")))); 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]/TABLE/TBODY/TR[7]/TD[align=\"right\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/TITLE[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Icon:", new ArrayList<String>(Arrays.asList("align=\"right\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Icon:", 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("TD", "Modulename:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Wiki", 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_RandAssertions4() { element = new DOMElement("TD", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("H1", "Modulesettings:Wiki", new ArrayList<String>(Arrays.asList("class=\"toolTitle mainTitle\"")))); 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("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; } // 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 element = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Icon:", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Modulename:Wiki", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Type:tool", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "Version:2.0", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("TR", "License:GeneralPublicLicense", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("TR", "Poster:FredericMinne", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("TR", "Contact:zefredz@claroline.net", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TR", "", 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", "Claroline>", 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 } public void checkState160_RandAssertions5() { 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 (!(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 // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[2]/TABLE/TBODY/TR[5]/TD[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"claroBody\""))); childrenElements.clear(); childrenElements.add(new DOMElement("UL", "GlobalsettingsLocalsettingsAbout", new ArrayList<String>(Arrays.asList("id=\"navlist\"")))); 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", "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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } /* * 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; } } }