Java tutorial
package com.crawljax.plugins.testilizer.generated.photogallery_RAND; 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 @ Sat Apr 19 15:24:05 PDT 2014 */ public class GeneratedTestCase1 { 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/phormer331/admin.php"; 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 method1() { driver.get(url); //From state 0 to state 8 //Eventable{eventType=click, identification=xpath /HTML[1]/BODY[1]/CENTER[1]/DIV[2]/DIV[2]/DIV[4]/A[1], element=Element{node=[A: null], tag=A, text=This PhotoGallery, attributes={href=.}}, source=StateVertexImpl{id=0, name=index}, target=StateVertexImpl{id=8, name=state8}} 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("loginAdminPass")).clear(); driver.findElement(By.id("loginAdminPass")).sendKeys("editor"); driver.findElement(By.xpath("/HTML[1]/BODY[1]/CENTER[1]/DIV[2]/DIV[2]/DIV[4]/A[1]")).click(); //From state 8 to state 11 //Eventable{eventType=click, identification=xpath /HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[1]/DIV[1]/DIV[1]/DIV[2]/DIV[1]/SPAN[1]/A[1], element=Element{node=[A: null], tag=A, text=???Default Category[6], attributes={href=.?c=1, title=The default category }}, source=StateVertexImpl{id=8, name=state8}, target=StateVertexImpl{id=11, name=state11}} mutateDOMTree(8); checkState8_OriginalAssertions(); checkState8_ReusedAssertions(); checkState8_GeneratedAssertions(); checkState8_LearnedAssertions(); checkState8_AllAssertions(); checkState8_RandAssertions1(); checkState8_RandAssertions2(); checkState8_RandAssertions3(); checkState8_RandAssertions4(); checkState8_RandAssertions5(); driver.findElement( By.xpath("/HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[1]/DIV[1]/DIV[1]/DIV[2]/DIV[1]/SPAN[1]/A[1]")) .click(); //From state 11 to state 14 //Eventable{eventType=click, identification=xpath /HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[2]/DIV[1]/DIV[1]/DIV[1]/SPAN[1]/A[1], element=Element{node=[A: null], tag=A, text=SlideShow, attributes={href=.?feat=slideshow&c=1&n=30}}, source=StateVertexImpl{id=11, name=state11}, target=StateVertexImpl{id=14, name=state14}} mutateDOMTree(11); checkState11_OriginalAssertions(); checkState11_ReusedAssertions(); checkState11_GeneratedAssertions(); checkState11_LearnedAssertions(); checkState11_AllAssertions(); checkState11_RandAssertions1(); checkState11_RandAssertions2(); checkState11_RandAssertions3(); checkState11_RandAssertions4(); checkState11_RandAssertions5(); driver.findElement(By.xpath("/HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[2]/DIV[1]/DIV[1]/DIV[1]/SPAN[1]/A[1]")) .click(); //From state 14 to state 17 //Eventable{eventType=click, identification=xpath /HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[1]/DIV[1]/SPAN[1]/A[1], element=Element{node=[A: null], tag=A, text=Back, attributes={href=.?c=1&n=30}}, source=StateVertexImpl{id=14, name=state14}, target=StateVertexImpl{id=17, name=state17}} mutateDOMTree(14); checkState14_OriginalAssertions(); checkState14_ReusedAssertions(); checkState14_GeneratedAssertions(); checkState14_LearnedAssertions(); checkState14_AllAssertions(); checkState14_RandAssertions1(); checkState14_RandAssertions2(); checkState14_RandAssertions3(); checkState14_RandAssertions4(); checkState14_RandAssertions5(); driver.findElement(By.xpath("/HTML[1]/BODY[1]/CENTER[1]/DIV[1]/DIV[1]/DIV[1]/SPAN[1]/A[1]")).click(); //Sink node at state 17 mutateDOMTree(17); checkState17_OriginalAssertions(); checkState17_ReusedAssertions(); checkState17_GeneratedAssertions(); checkState17_LearnedAssertions(); checkState17_AllAssertions(); checkState17_RandAssertions1(); checkState17_RandAssertions2(); checkState17_RandAssertions3(); checkState17_RandAssertions4(); checkState17_RandAssertions5(); } public void checkState0_OriginalAssertions() { } public void checkState0_ReusedAssertions() { } public void checkState0_GeneratedAssertions() { } public void checkState0_LearnedAssertions() { } public void checkState0_AllAssertions() { } public void checkState0_RandAssertions1() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[[class=\"inside\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements.add(new DOMElement("A", "ThisPhotoGallery", new ArrayList<String>(Arrays.asList("href=\"http://p.horm.org/er\"")))); childrenElements.add(new DOMElement("#text", "ispoweredby", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("A", "Phormer", new ArrayList<String>(Arrays.asList("href=\"http://php.net\"")))); childrenElements.add(new DOMElement("#text", ",", new ArrayList<String>(Arrays.asList("href=\"http://gnu.org/licenses/gpl.txt\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "asimple", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "PHP", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "PhotoGalleryManager,under", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "GPL", 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/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV[2]/DIV[style=\"text-align: center; font-size: 1.0em; margin: 0px 0px 8px; \"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV/FORM[@action=\"admin.php\" and @method=\"post\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV[2]/SPAN[class=\"name\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions2() { element = new DOMElement("TITLE", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "LoginPageofMyPhotoGallery", 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/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[class=\"title\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "LogintoYourPhormerAdministrator'spassword:", new ArrayList<String>(Arrays.asList("class=\"name\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"text-align: left\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("href=\"?\"", "style=\"color: black\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\""))); parentElement = new DOMElement("FIELDSET", "", 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("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions3() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"text-align: left\"")))); childrenElements.add(new DOMElement("DIV", "LogintoYourPhormerAdministrator'spassword:", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>( Arrays.asList("class=\"method\"", "style=\"text-align: left; background: #E8F0F8\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV/FORM/CENTER/BR[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("width=\"285px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); 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("DIV", "LogintoYourPhormerAdministrator'spassword:", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"text-align: left\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("action=\"admin.php\"", "method=\"post\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("FORM", "Administrator'spassword:", 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/CENTER/DIV[2]/DIV[2]/DIV[4]/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions4() { element = new DOMElement("A", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("href=\"?\"", "style=\"color: snow;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "AdministrationRegion", 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("SCRIPT", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/admin.js\"", "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 element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"back2mainR\"")))); childrenElements.add(new DOMElement("DIV", "ViewGallery>>", new ArrayList<String>(Arrays.asList("class=\"clearer\"", "style=\"margin-top: 20px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\"")))); 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("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "Administrator'spassword:", new ArrayList<String>(Arrays.asList("style=\"margin-bottom: 10px;\""))); parentElement = new DOMElement("CENTER", "", 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", "[Dismiss]", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\"")))); childrenElements.add(new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions5() { element = new DOMElement("LEGEND", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("id=\"helpBoxLegend\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("onclick=\"HideHelp();\"")))); childrenElements.add(new DOMElement("A", "[Dismiss]", 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("TD", "[Dismiss]", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\"")))); childrenElements.add(new DOMElement("DIV", "[Dismiss]", 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("class=\"footnote\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements.add(new DOMElement("A", "ThisPhotoGallery", new ArrayList<String>(Arrays.asList("href=\"http://p.horm.org/er\"")))); childrenElements.add(new DOMElement("#text", "ispoweredby", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("A", "Phormer", new ArrayList<String>(Arrays.asList("href=\"http://php.net\"")))); childrenElements.add(new DOMElement("#text", ",", new ArrayList<String>(Arrays.asList("href=\"http://gnu.org/licenses/gpl.txt\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "asimple", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "PHP", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "PhotoGalleryManager,under", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "GPL", 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("TITLE", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "LoginPageofMyPhotoGallery", 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/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV/FORM/CENTER/DIV[style=\"margin-bottom: 10px;\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState8_OriginalAssertions() { } public void checkState8_ReusedAssertions() { } public void checkState8_GeneratedAssertions() { } public void checkState8_LearnedAssertions() { } public void checkState8_AllAssertions() { } public void checkState8_RandAssertions1() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[4]/DIV/SPAN[2]/A[[href=\".?trn=50#tr\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[4]/DIV[2]/DIV[5]/CENTER/A/DIV[class=\"thumbNameLine\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"maincolinner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"maincol\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"partmain\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "11monthsagoNovember9tho12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "title=\"100_0794: 91 KB, 2101 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "11monthsago", 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("CENTER", "100_0760November9tho12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\"")))); childrenElements .add(new DOMElement("A", "100_0760November9tho12", 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 checkState8_RandAssertions2() { element = new DOMElement("BR", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "100_0758November9tho12", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("CENTER", "100_0758November9tho12", 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("CENTER", "100_0759November9tho12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\".?p=2\"", "title=\"100_0759: 29 KB, 1439 hits and rated 1 by 2 person\"")))); childrenElements .add(new DOMElement("A", "100_0759November9tho12", 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", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList("class=\"part\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"sidecolinner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"")))); childrenElements .add(new DOMElement("DIV", "Etc", new ArrayList<String>(Arrays.asList("class=\"submenu\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "EmailRSSAdminPage", new ArrayList<String>(Arrays.asList("class=\"titlepart\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"submenu\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "Poweredby", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "Phormer3.31", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Statistics", new ArrayList<String>(Arrays.asList("class=\"reddot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); childrenElements.clear(); 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 checkState8_RandAssertions3() { element = new DOMElement("TITLE", "varDarkenVal=60MyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "MyPhotoGallery", 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/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[4]/CENTER/A/DIV[[class=\"thumbDate\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "[SlideShow]", new ArrayList<String>(Arrays.asList("href=\".?feat=slideshow\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"leaveReply\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "SlideShow", 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", "11monthsagoNovember9tho12", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "title=\"100_0794: 91 KB, 2101 hits and rated 0 by 0 person\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("height=\"75px\"", "src=\"images/000006_rryky_3.jpg\"", "width=\"75px\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"thumbDate\"")))); childrenElements.add(new DOMElement("DIV", "11monthsago", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "November9tho12", 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/CENTER/DIV/DIV/DIV/DIV/DIV[2]/DIV[4]/SPAN[class=\"categeach\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState8_RandAssertions4() { element = new DOMElement("DIV", "11monthsagoNovember9tho12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=4\"", "title=\"100_0773: 62 KB, 1367 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "11monthsago", 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", "StoriesPhotos[0]DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements .add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".?mode=stories\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Stories", 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", "DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"categinfo\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\".?s=1\"", "title=\"The default story [2006/04/01]\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "[6]", 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", "Phorm", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); 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 // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[4]/CENTER/A/DIV[[class=\"thumbDate\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState8_RandAssertions5() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("DIV", "DefaultCategory[6]", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements .add(new DOMElement("DIV", "flowers[0]", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("DIV", "flowers[0]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "flowers[0]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "flowers[0]", 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("BR", "11monthsagoNovember9tho12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "title=\"100_0794: 91 KB, 2101 hits and rated 0 by 0 person\""))); 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/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[4]/CENTER/A/DIV[[class=\"thumbDate\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[3]/CENTER/A/DIV[class=\"thumbNameLine\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("CENTER", "11monthsagoNovember9tho12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\".?p=4\"", "title=\"100_0773: 62 KB, 1367 hits and rated 0 by 0 person\"")))); childrenElements .add(new DOMElement("A", "11monthsagoNovember9tho12", 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 checkState11_OriginalAssertions() { } public void checkState11_ReusedAssertions() { } public void checkState11_GeneratedAssertions() { } public void checkState11_LearnedAssertions() { } public void checkState11_AllAssertions() { } public void checkState11_RandAssertions1() { element = new DOMElement("DIV", "MyLinksMyPhotoGalleryOtherLinksPhorm", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); 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("IMG", "100_0773November9tho12", new ArrayList<String>( Arrays.asList("height=\"75px\"", "src=\"images/000004_dzeck_3.jpg\"", "width=\"75px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=4\"", "title=\"100_0773: 62 KB, 1367 hits and rated 0 by 0 person\""))); 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/LINK[[@href=\"index.xml\" and @@rel=\"alternate\" and @@title=\"RSS\" and @type=\"application/rss+xml\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/HEAD/SCRIPT[@language=\"javascript\" and @@src=\"files/phorm.js\" and @type=\"text/javascript\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "DefaultCategory[6]", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"categeach\"")))); childrenElements .add(new DOMElement("SPAN", "DefaultCategory[6]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState11_RandAssertions2() { element = new DOMElement("BR", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Photos[0]", new ArrayList<String>(Arrays.asList("class=\"categinfo\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\".?s=2\"", "title=\"Greenery !! [2014/01/16]\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "[0]", 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("class=\"start\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"partmain\"", "id=\"slideShow\""))); 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("SPAN", "[SlideShow]DefaultCategory[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("style=\"font-size: 1.2em;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "DefaultCategory", new ArrayList<String>(Arrays.asList("class=\"theTitleA\"", "href=\".?c=1\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[5]/DIV[2]/DIV[2]/SPAN[class=\"dot\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState11_RandAssertions3() { element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\".?c=1&n=10\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "10", 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", "MyLinksMyPhotoGalleryOtherLinksPhorm", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGallery", 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=\"sidecolinner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"sidecol\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "StoriesPhotos[0]DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); 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", "MyLinksMyPhotoGalleryOtherLinksPhorm", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", 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", "DefaultCategory", new ArrayList<String>(Arrays.asList("class=\"theTitleA\"", "href=\".?c=1\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"font-size: 1.2em;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "DefaultCategory", 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", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\".?c=1&n=10\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "10", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState11_RandAssertions4() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[3]/DIV[2]/DIV[6]/SPAN[class=\"dot\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "100_0759November9tho12", new ArrayList<String>(Arrays.asList("class=\"thumbDate\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=2\"", "title=\"100_0759: 29 KB, 1439 hits and rated 1 by 2 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "November9tho12", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "flowers[0]", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?c=4\"", "title=\"contains photos of all the flowers ! \""))); 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("SPAN", "Statistics", new ArrayList<String>(Arrays.asList("class=\"reddot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); 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("DIV", "Phormer3.31", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\"http://p.horm.org/er\"", "title=\"Rephorm Your Phormer Pharm!\"")))); childrenElements.add(new DOMElement("A", "Phormer3.31", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState11_RandAssertions5() { element = new DOMElement("DIV", "DefaultCategory[6]", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"categeach\"")))); childrenElements .add(new DOMElement("SPAN", "DefaultCategory[6]", 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", "[SlideShow]DefaultCategory[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("style=\"font-size: 1.2em;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "DefaultCategory", new ArrayList<String>(Arrays.asList("class=\"theTitleA\"", "href=\".?c=1\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "VisitorsOnline:1", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("#text", "VisitorsOnline:1", 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=\"sidecolinner\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"sidecol\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "StoriesPhotos[0]DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); 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", "MyLinksMyPhotoGalleryOtherLinksPhorm", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "flowers[0]", new ArrayList<String>(Arrays.asList("class=\"categeach\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "flowers[0]", new ArrayList<String>( Arrays.asList("href=\".?c=5\"", "title=\"contains photos of all the flowers ! \"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState14_OriginalAssertions() { } public void checkState14_ReusedAssertions() { } public void checkState14_GeneratedAssertions() { } public void checkState14_LearnedAssertions() { } public void checkState14_AllAssertions() { } public void checkState14_RandAssertions1() { element = new DOMElement("OPTION", "1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays.asList("value=\"30000\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "30Sec", 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("OPTION", "1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays.asList("value=\"5000\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "5Sec", 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("OPTION", "1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays.asList("value=\"20000\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "20Sec", 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/CENTER/DIV/DIV/DIV/DIV[id=\"headSlideshow\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[id=\"Granny\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState14_RandAssertions2() { element = new DOMElement("OPTION", "1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays.asList("value=\"60000\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "60Sec", 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("OPTION", "1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays.asList("value=\"1000\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1Sec", 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/CENTER/DIV/DIV/DIV/SPAN[[@class=\"leaveReply\" and @style=\"padding-right: 5px;\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "[Previous]", new ArrayList<String>(Arrays.asList("style=\"text-align: left\"", "width=\"25%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "[", new ArrayList<String>(Arrays.asList("class=\"q\"", "onclick=\"javascript:ss_prev();\"")))); childrenElements.add(new DOMElement("A", "Previous", 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[3]/DIV[class=\"footer\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState14_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV[4]/TABLE[style=\"width: 100%\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "[Pauseit]1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>(Arrays .asList("class=\"q\"", "id=\"ss_playpause_link\"", "onclick=\"javascript:ss_playpause();\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center\"", "width=\"50%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Pauseit", 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/CENTER/DIV/DIV/DIV/DIV/SPAN[[class=\"dt\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SELECT", "[Pauseit]1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center\"", "width=\"50%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"1000\"")))); childrenElements .add(new DOMElement("OPTION", "1Sec", new ArrayList<String>(Arrays.asList("value=\"2000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"5000\"")))); childrenElements.add(new DOMElement("OPTION", "2Sec", new ArrayList<String>(Arrays.asList("selected=\"selected\"", "value=\"10000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"20000\"")))); childrenElements .add(new DOMElement("OPTION", "5Sec", new ArrayList<String>(Arrays.asList("value=\"30000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"60000\"")))); childrenElements.add(new DOMElement("OPTION", "10Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "20Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "30Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "60Sec", 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", "100_0794", new ArrayList<String>(Arrays.asList("class=\"dt\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"headSlideshow\""))); 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 } public void checkState14_RandAssertions4() { element = new DOMElement("TITLE", "varDarkenVal=60SlideShow::MyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "SlideShow::MyPhotoGallery", 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", "ThisistheendofSlideShow.", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center; margin: 15px 0px 10px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\"")))); 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 element = new DOMElement("SELECT", "[Pauseit]1Sec2Sec5Sec10Sec20Sec30Sec60Sec", new ArrayList<String>( Arrays.asList("class=\"rate\"", "id=\"ss_refresh\"", "style=\"position: relative; top: 6px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center\"", "width=\"50%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"1000\"")))); childrenElements .add(new DOMElement("OPTION", "1Sec", new ArrayList<String>(Arrays.asList("value=\"2000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"5000\"")))); childrenElements.add(new DOMElement("OPTION", "2Sec", new ArrayList<String>(Arrays.asList("selected=\"selected\"", "value=\"10000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"20000\"")))); childrenElements .add(new DOMElement("OPTION", "5Sec", new ArrayList<String>(Arrays.asList("value=\"30000\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"60000\"")))); childrenElements.add(new DOMElement("OPTION", "10Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "20Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "30Sec", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "60Sec", 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", "[Pauseit]", new ArrayList<String>(Arrays.asList("class=\"q\"", "id=\"ss_playpause_link2\"", "onclick=\"javascript:ss_playpause();\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center\"", "width=\"50%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Pauseit", 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/CENTER/DIV/DIV/DIV[2]/TABLE[style=\"width: 100%\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState14_RandAssertions5() { element = new DOMElement("DIV", "MyPhotoGallery...containsmyphotos!", new ArrayList<String>(Arrays.asList("class=\"topPhorm\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"headerDot\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"topPhormAbout\"")))); childrenElements.add(new DOMElement("A", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "...containsmyphotos!", 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("TITLE", "varDarkenVal=60SlideShow::MyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "SlideShow::MyPhotoGallery", 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", "ThisistheendofSlideShow.", new ArrayList<String>( Arrays.asList("class=\"\"", "id=\"ss_theend\"", "style=\"display: none; margin: 10em 0em;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"text-align: center; margin: 15px 0px 10px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("B", "ThisistheendofSlideShow.", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", 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(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "varDarkenVal=60SlideShow::MyPhotoGallery", new ArrayList<String>( Arrays.asList("href=\"css.php?theme=white\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "Friday,Nov9tho2012", new ArrayList<String>(Arrays.asList("id=\"ss_date\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"partmain\"", "id=\"slideShow\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "Friday,Nov9tho2012", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState17_OriginalAssertions() { } public void checkState17_ReusedAssertions() { } public void checkState17_GeneratedAssertions() { } public void checkState17_LearnedAssertions() { } public void checkState17_AllAssertions() { } public void checkState17_RandAssertions1() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[[class=\"start\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "100_0773November9tho12", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("CENTER", "100_0773November9tho12", 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", "EmailRSSAdminPage", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\"admin.php\"", "title=\"Login to the Administration Region\"")))); childrenElements.add(new DOMElement("A", "AdminPage", 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", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[3]/DIV[2]/DIV[[@class=\"item\" and @style=\"line-height: 130%\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState17_RandAssertions2() { element = new DOMElement("DIV", "100_0760November9tho12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100_0760", 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", "EmailRSSAdminPage", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\"admin.php\"", "title=\"Login to the Administration Region\"")))); childrenElements.add(new DOMElement("A", "AdminPage", 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[3]/DIV/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[4]/DIV[4]/CENTER/A/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV/SPAN[[class=\"thumbcntarr\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState17_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV/DIV[2]/DIV[2]/SPAN[class=\"categeach\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[4]/DIV[5]/DIV/A[@href=\"http://p.horm.org\" and @@target=\"_blank\" and @title=\"Another Phormation\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[3]/DIV[2]/DIV[2]/SPAN[class=\"dot\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"sidecol\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"maincol\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion if (!(isElementPresent(By.xpath( "/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[5]/DIV[2]/DIV[2]/A[@href=\"index.xml\" and @title=\"RSS Feed\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState17_RandAssertions4() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[[class=\"end\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Email", new ArrayList<String>( Arrays.asList("href=\"mailto:myemail[at]mydomain[dot]com?subject=My%20PhotoGallery%20Photos\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Email", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "100_0794November9tho12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "title=\"100_0794: 91 KB, 2101 hits and rated 0 by 0 person\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "VisitorsOnline:1", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("#text", "VisitorsOnline:1", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "DefaultCategory[6]", new ArrayList<String>( Arrays.asList("class=\"reddot\"", "style=\"font-size: 1em; padding-right: 4px;\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\".?c=1\"", "title=\"The default category \""))); 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 checkState17_RandAssertions5() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"sidecolinner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"")))); childrenElements.add( new DOMElement("DIV", "Categories", new ArrayList<String>(Arrays.asList("class=\"submenu\"")))); 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("DIV", "Categories", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Categories", 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/CENTER/DIV/DIV[2]/DIV/DIV/DIV/SPAN[class=\"leaveReply\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "flowers[0]", new ArrayList<String>(Arrays.asList("class=\"categinfo\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?c=4\"", "title=\"contains photos of all the flowers ! \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "[0]", 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", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements.add(new DOMElement("#text", "Poweredby", 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; } } }