{"id":352,"date":"2018-11-06T00:57:02","date_gmt":"2018-11-06T00:57:02","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=352"},"modified":"2018-12-12T10:51:34","modified_gmt":"2018-12-12T10:51:34","slug":"sos-goal-model-slicer","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/tools-and-artifacts\/opensource-tools\/sos-goal-model-slicer\/","title":{"rendered":"SoS Goal Model Slicer"},"content":{"rendered":"
Background<\/strong><\/p>\n The verification property detection tools related to the SoS change use the SoS target model slicing technique and the model based statistical verification technique. The SoS target model slicing technique is a technique to perform backward slicing from the target of the configuration system related to the change to the upper target in the target model of the tree type created by the SoS manager. The model-based statistical verification technique obtains as a sample whether the verification property, that is, whether each target in the target model has been achieved in a plurality of independent model runs, and then uses the statistical hypothesis test on the observed sample to determine whether the verification property of the entire system satisfies Is quantitatively \/ statistically determined.<\/p>\n As the number of iterations increases, the accuracy of the verification result increases as the sample set approaches the sum total. However, statistical verification based on simulation takes a long time to perform verification. In other words, verifying targets in the target model every time a change occurs in the SoS means that the time and cost are much greater. Performing a verification using a verification property detection tool related to the SoS change helps to reduce the verification cost. At this time, the verification property detection tool related to the SoS change must accurately detect the target related to the change so that the cost can be reduced without performing additional verification. Therefore, we want to ensure the reliability of the tool by examining the accuracy of detection of the verification properties related to changes in the tool.<\/p>\n <\/p>\n Tool Overview: SoS Goal Model Slicer<\/strong><\/p>\n <\/p>\n <\/a><\/a><\/p>\n <\/p>\n Opensource Repository<\/strong><\/p>\n <Goal Model Slicer> module is included in <SIMVA-SoS><\/p>\n GitHub link: https:\/\/github.com\/SESoS\/SIMVA-SoS<\/a><\/p>\n <\/p>\n Installation Guide<\/strong><\/p>\n [Preparation]<\/p>\n You need to install following environment to run our SIMSoS:<\/p>\n We recommend that you install IntelliJ to run our tool easier.<\/p>\n [Process]<\/p>\n <\/p>\n User Manual<\/strong><\/p>\n 1. run program in IntelliJ by clicking right-button of mouse on SIMVA-SoS.Slicing.src.goalModelSlicer.Main in SIMVA-SoS project<\/p>\n 2. Prepare a slicing tool and two input files, a target model file (.csv) and a slice-based text file (.txt).<\/p>\n <\/a><\/p>\n 3. Enter the model file in the first input box on the upper left input of the tool. If the model is successfully entered, the target model is output in the upper right model output window.<\/p>\n <\/a><\/p>\n 4. In the second input box of the upper left input of the tool, enter the slicing reference file.<\/p>\n\n
\n
\n
\n
\n
\n
\n