{"id":353,"date":"2018-11-06T00:57:02","date_gmt":"2018-11-06T00:57:02","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=353"},"modified":"2018-12-12T10:56:39","modified_gmt":"2018-12-12T10:56:39","slug":"sos-simulation-model-slicer","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/tools-and-artifacts\/opensource-tools\/sos-simulation-model-slicer\/","title":{"rendered":"SoS Simulation Model Slicer"},"content":{"rendered":"<h4><strong>Background<\/strong><\/h4>\n<p>The SoS Simulation Model Slicer tool is a tool for slicing a simulation model based on the given statistical verification property. As described earlier in SoS target model slicing, the statistical model verification statistically obtains the verification results from the simulation results obtained by simulating the model several times. The larger the model, the more expensive it is to perform the simulation and the longer it takes to obtain the verification results.<\/p>\n<p>In order to overcome this, the SoS minimum verification target model calculation tool performs dynamic backward slicing from the statements related to the verification property to the SoS simulation model and makes it a feasible model. The result of the dynamic reverse slicing operation outputs a statement related to the verification property in the simulation model. After making the output results into an executable model, you can get a sliced \u200b\u200bSoS simulation model. The sliced \u200b\u200bSoS simulation model can improve the temporal efficiency by increasing the simulation speed, and the size of the SoS simulation model itself is also reduced, so it does not consume a lot of memory and can improve the spatial efficiency. In order to obtain such advantages, we implement the SoS minimum verification target model calculation tool in this study and verify that the SoS model can be calculated by extracting the statements related to the verification attributes accurately.<\/p>\n<p>&nbsp;<\/p>\n<h4><strong>Tool Overview<\/strong><\/h4>\n<ul>\n<li>User Interface<\/li>\n<\/ul>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/interface-3.png\"><img loading=\"lazy\" class=\"size-full wp-image-680 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/interface-3.png\" alt=\"\" width=\"564\" height=\"268\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/interface-3.png 564w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/interface-3-300x143.png 300w\" sizes=\"(max-width: 564px) 100vw, 564px\" \/><\/a><\/p>\n<ul>\n<li>Tool Features<\/li>\n<\/ul>\n<ol>\n<li>Receive Java programs as input to the tool.<\/li>\n<li>Creates a dependency graph for the Java program received as input.<\/li>\n<li>Perform dynamic reverse slicing according to the slicing criterion.<\/li>\n<li>Output a sliced Java program.<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<h4><strong>Opensource Repository<\/strong><\/h4>\n<p>GitHub link: <a href=\"https:\/\/github.com\/SESoS\/SIMVA-SoS\">https:\/\/github.com\/SESoS\/SIMVA-SoS<\/a><\/p>\n<p>&nbsp;<\/p>\n<h4><strong>Installation Guide<\/strong><\/h4>\n<p><strong>[Preparation]<\/strong><\/p>\n<p>You need to install following environment to run our SIMSoS:<\/p>\n<ul>\n<li>JVM 1.8 or later<\/li>\n<li>Gradle 3.1 or later<\/li>\n<\/ul>\n<p>We recommend that you install IntelliJ to run our tool easier.<\/p>\n<p><strong>[Process]<\/strong><\/p>\n<ol>\n<li>Checkout our SIMVA-SoS where you want it installed.<\/li>\n<\/ol>\n<ul>\n<li>$ git clone https:\/\/github.com\/SESoS\/SIMVA-SoS.git<\/li>\n<\/ul>\n<ol>\n<li>You have two options, load the project using gradle and IntelliJ. If you choose this, you just use\u00a0<strong>File &gt; New &gt; Project from Version Control &gt; GitHub<\/strong>\u00a0and type our repository location. If you already downloaded our project, you just import it.<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<h4><strong>User Manual<\/strong><\/h4>\n<p>1. Prepare the slicing tool and input files (.java) and javaslicer library, and put the program and library in <strong>slicingInput<\/strong> folder and lib folder, respectively.<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual1-1.png\"><img loading=\"lazy\" class=\"size-full wp-image-681 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual1-1.png\" alt=\"\" width=\"565\" height=\"141\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual1-1.png 565w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual1-1-300x75.png 300w\" sizes=\"(max-width: 565px) 100vw, 565px\" \/><\/a><\/p>\n<p>2. In the SoS simulation model, the slicing criterion is entered in the code.<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual2-1.png\"><img loading=\"lazy\" class=\"size-full wp-image-682 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual2-1.png\" alt=\"\" width=\"565\" height=\"24\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual2-1.png 565w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual2-1-300x13.png 300w\" sizes=\"(max-width: 565px) 100vw, 565px\" \/><\/a><\/p>\n<p>3. When you run the tool, a file containing the line numbers of the code related to the slicing criterion is created in the intermediate output file.<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual3-1.png\"><img loading=\"lazy\" class=\"size-full wp-image-683 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual3-1.png\" alt=\"\" width=\"496\" height=\"482\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual3-1.png 496w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual3-1-300x292.png 300w\" sizes=\"(max-width: 496px) 100vw, 496px\" \/><\/a><\/p>\n<p>4. Create an executable sliced Java program based on the intermediate output file. You can use the compare function of notepad ++ to check the sliced portion of the generated file.<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual4-1.png\"><img loading=\"lazy\" class=\"size-full wp-image-684 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual4-1.png\" alt=\"\" width=\"565\" height=\"233\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual4-1.png 565w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/manual4-1-300x124.png 300w\" sizes=\"(max-width: 565px) 100vw, 565px\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Background The SoS Simulation Model Slicer tool is a tool for slicing a simulation model based on the given statistical verification property. As described earlier in SoS target model slicing, the statistical model verification statistically obtains the verification results from the simulation results obtained by simulating the model several times. The larger the model, the [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":350,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/353"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=353"}],"version-history":[{"count":4,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/353\/revisions"}],"predecessor-version":[{"id":679,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/353\/revisions\/679"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/350"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=353"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}