Created
October 4, 2016 16:34
-
-
Save MartinRogalla/297da6910e8e70eef79735aa9b831fba to your computer and use it in GitHub Desktop.
artemis -v all --coverage-report html --strategy-form-input-generation random --export-event-sequence json http://localhost:8080/trivial-string.html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Artemis - Automated tester for JavaScript | |
| Started: Tue Oct 4 09:29:17 2016 | |
| Compilation date: 07-09-2016_09:57:35 | |
| ----- | |
| . 1 | |
| ============= New-Iteration ============= | |
| --------------- WORKLIST ---------------- | |
| 1 => | |
| --------------- COVERAGE ---------------- | |
| --------------- FETCH PAGE -------------- | |
| Page loaded 10 % | |
| Loaded script: "http://localhost:8080/trivial-string.html" (line "14" ) | |
| Detected EVENTHANDLER event = "click" tag = "BUTTON" id = "" title = "" class = "" visible = true xpath = "/button" isNull = false | |
| Page loaded 50 % | |
| Page loaded 100 % | |
| ------------ EXECUTE SEQUENCE ----------- | |
| ------------ POST PROCESSING ----------- | |
| Finalizing "click" xpath= "/html/body[1]/form[1]/button[1]" _T: "" | |
| Warning: element was invalid, skipping | |
| ------------ DONE EXECUTING ----------- | |
| CONCOLIC-INFO: Detecting entry points on page. | |
| CONCOLIC-INFO: Event Handlers (0): | |
| CONCOLIC-INFO: Form Fileds (1): INPUT, | |
| CONCOLIC-INFO: Is DOM Modified: Yes | |
| Artemis: Testing done... | |
| === Statistics === | |
| FormCrawl::Entrypoints: 0 | |
| InputGenerator::added-configurations: 0 | |
| WebKit::coverage::covered: 1 | |
| WebKit::coverage::covered-unique: 3 | |
| WebKit::pathtracer::traceitempool-compression: 0/0 | |
| === Statistics END === | |
| Artemis terminated on: Tue Oct 4 09:29:17 2016 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html><head><meta charset="utf-8"/><title>Coverage Report (04-10-16 09:29:17)</title><script type='text/javascript' src='https://google-code-prettify.googlecode.com/svn/loader/prettify.js'></script><script src='http://code.jquery.com/jquery-latest.min.js'></script><link rel='stylesheet' type='text/css' href='https://google-code-prettify.googlecode.com/svn/loader/prettify.css'><style type='text/css'>*{margin:0;padding:0;font-family:Tahoma,Geneva,sans-serif;font-size:12pt;line-height:20px}body{padding:20px 0 70px 0}body>div>b{font-size:10pt}body>div{padding:20px;margin:10px 0}body>div:not(.info):not(#SymbolicNavigator):nth-of-type(2n+1){background:#eee}body>#SymbolicNavigator{position:fixed;bottom:0;background:#8e8e8e;margin:0;width:96%;height:50px;line-height:50px;padding:0 2%;color:#fff}body>#SymbolicNavigator a{color:#1d54aa;font-style:italic}body>#legend{position:fixed;top:0;right:0;background-color:#8e8e8e!important;color:#fff;margin:0;padding:15px 20px 20px 20px;}body>#legend>ul{color:#000; list-style-type:none; margin-top:10px;}body>div.info>.prev{display:block}h2{font-size:20pt;line-height:40px}h1{padding-left:20px;font-size:30pt;line-height:50px}.linenums>ol{padding-left:40px}.linenums>ol>li:nth-of-type(5n),.linenums>ol>li:nth-of-type(1){list-style-type:decimal!important}.linenums>ol>li{list-style-type:none;word-wrap:break-word}pre li:nth-of-type(2n){background:#eee}pre li:nth-of-type(2n+1){background:#fff}pre>ol>li.covered, #legend li.covered{background:#ffeeb2}pre>ol>li.symCovered, #legend li.symCovered{background:#e29c1d!important}pre>ol>li.linkedLine, #legend li.linkedLine{background:#6f9!important}pre>ol>li.covered>span.covered,pre>ol>li.symCovered>span.covered,#legend li.stmtCovered{background:#ff6868}pre>ol>li.symCovered>span.symCovered,pre>ol>li.covered>span.symCovered, #legend li.symStmtCovered{background:#ff004e}pre{padding:2px;border:1px solid #888;display:none}pre *{font-size:11pt}a{text-decoration:none}body>div>a.openLink{float:right;padding:0 10px;display:block;text-decoration:none}body>div>a.expandLink:visited{color:#fff}.arrow-right{width:0;height:0;border-top:5px solid transparent;border-bottom:5px solid transparent;border-left:5px solid darkblue}a.expandLink{display:block;font-size:10pt;text-align:center;background:#5a9dca;padding:3px;color:#fff;margin-top:5px;position:relative}a.expandLink:hover{background:#60acd8}a.expandLink.expanded{background:#e27171;box-shadow:0}a.openLink{background:#aaa;color:#fff;font-size:10pt;border-radius:2px}a.openLink:hover{background:#bbb}a.openLink .arrow-container{float:right;padding:5px 0;margin-left:10px}a.openLink .arrow-container .arrow-right{border-left-color:#fff}</style></head><body><h1>Coverage Report</h1><div class='info'>Ran: 04-10-16-09-29-17<br /> Number of scripts: 1</div><div id='ID4174911106' class='code'><a href='http://localhost:8080/trivial-string.html' target='_blank' class='openLink'><div class='arrow-container'><div class='arrow-right'> </div></div>Go to file</a><b>http://localhost:8080/</b><h2 > trivial-string.html</h2><a href='#?' class='expandLink'>show code coverage</a><pre class='linenums startline startlinenr[14]'> | |
| var x = "testme"; | |
| | |
| function validate() { | |
| var y = document.getElementById("testinput").value; | |
| | |
| if (y != x) { | |
| alert("Error!"); | |
| return false; | |
| }else{ | |
| return true; | |
| } | |
| } | |
| | |
| </pre></div><script type='text/javascript'> var coverage = {"ID4174911106":[26, 14, 15]}; var symbolicCoverage = {"ID4174911106":[]}; var coverageRange = {"ID4174911106":[[]]}; var symbolicCoverageRange = {"ID4174911106":[[]]}; </script><script type='text/javascript' src='file:///home/mrogalla/Develop/com/github/cs-au-dk/Artemis/artemis-code/src/model/coverage/coveragehtml.js' ></script><div id='legend'>Legend:<ul><li class='covered' >Line Coverage</li><li class='stmtCovered'>Statement Coverage</li><li class='symCovered' >Symbolic Coverage</li><li class='symStmtCovered' >Symbolic Statement Coverage</li><li class='linkedLine'>Link from path trace</ul></div><script type='text/javascript' src='file:///home/mrogalla/Develop/com/github/cs-au-dk/Artemis/artemis-code/src/model/coverage/coverage-legend.js' ></script></body></html> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {"url":"http://localhost:8080/trivial-string.html","iterations": [[]]} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment