Chu-Hsing Lin, Jung-Chun Liu, Hsin-Jen Yao, W. Chu, Chao-Tung Yang
{"title":"Performance Evaluation of Parallel Genetic Algorithm Using Single Program Multiple Data Technique","authors":"Chu-Hsing Lin, Jung-Chun Liu, Hsin-Jen Yao, W. Chu, Chao-Tung Yang","doi":"10.1109/TSA.2015.29","DOIUrl":"https://doi.org/10.1109/TSA.2015.29","url":null,"abstract":"In this paper, we mainly investigate performance of genetic algorithms for the travelling salesman problem based on Grefenstette coding, and modified single program, multiple data (SPMD) parallel computing. In addition, solutions for potential problems encountered in the process of applying MATLAB for parallel computing are also suggested. In addition to common genetic algorithms, the proposed parallel genetic algorithm divides the initial chromosome population and evolutionary generations for parallel computing in multiple working regions of a multi-core CPU. In this way, the computation speed of codes is greatly enhanced, premature convergence into local optima is significantly alleviated, and the chromosomes can be repetitively amended by optimal paths of each parallel computing. The experimental results show that with the same population size and iterations, the proposed parallel genetic algorithm offers faster and more optimal solutions than traditional genetic algorithms.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133766926","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Chandrakanth, Pradeepti Chollangi, Chung-Horng Lung
{"title":"Content Distribution Networks Using Software Defined Networks","authors":"J. Chandrakanth, Pradeepti Chollangi, Chung-Horng Lung","doi":"10.1109/TSA.2015.18","DOIUrl":"https://doi.org/10.1109/TSA.2015.18","url":null,"abstract":"With exponential growth of the Internet traffic, Internet Service Providers (ISPs) have started to look for alternatives to meet the Service Level Agreements (SLAs) that have been promised to the customers. ISPs and Content Delivery Networks (CDNs) when merged together can deliver the content much faster and efficient by making the best use of the resources and also reduces the traffic within the network. Implementing a CDN on a Software Defined Network (SDN) provides better control and granularity over the type of content that each server holds or distributes. A centralized approach on top decoupled control plane and data plane reduces overhead, better user experience and cost by using CDN. SDN also provides better user experiences, and a dramatic decrease in network systems and equipment costs. Following the advantages of SDN architecture, we propose the CDN-SDN architecture and discuss the logic behind SDN Server/Controller and its functions needed to achieve the SDN-based CDN approach.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127908475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-Based Testing of SDN Firewalls: A Case Study","authors":"I. Alsmadi, Milson Munakami, Dianxiang Xu","doi":"10.1109/TSA.2015.22","DOIUrl":"https://doi.org/10.1109/TSA.2015.22","url":null,"abstract":"In Software defined networking (SDN), security mechanisms such as firewalls need to deal with dynamic network environments. This raises challenges for quality assurance of these security mechanisms. This paper presents a case study on model-based testing of SDN firewall programs. The subject program is the firewall module of Floodlight, one of the most popular SDN platforms in Java. We model the expected firewall behavior with function nets, a modeling formalism in the MISTA tool. The test code is generated automatically by MISTA. The result of our case study shows that the generated model-based tests have achieved much higher mutation coverage than the existing Junit tests in the Floodlight firewall program. This indicates that model-based testing can be a viable option for quality assurance of SDN-based firewall programs.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125194940","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Requirements Characteristics Verification Method and Tool Based on Rules Constructed Form Software Component Relationships","authors":"Nattapon Phanthanithilerd, N. Prompoon","doi":"10.1109/TSA.2015.20","DOIUrl":"https://doi.org/10.1109/TSA.2015.20","url":null,"abstract":"Natural language sentences are normally used in specifying user requirements. However, the structure of natural language sentences may result in ambiguity or many possible interpretations of meaning. Therefore, the UML language has been used for requirements modeling as a communication medium between the user and the developer and among developers to reduce this problem. However, designing software models using UML from natural language sentences is complicated, and in some projects there are many user requirements, which may result in a designed model that does not completely cover the user requirements. Software engineers should therefore give importance to verification of requirements in the form of natural language sentences and the model to have good characteristics. Therefore, this research presents a method for verifying requirements in natural language sentence form, the software model and the model description to have good characteristics according to the IEEE 830 standard: Unambiguity, Consistency, and Traceability, using rules created from the components of the requirements sentences and UML models, as well as developing a tool for verification, which shows the results as the defects of the requirements obtained from verification for subsequent correction.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"72 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131874737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"DRS: A Developer Risk Metric for Better Predicting Software Fault-Proneness","authors":"Shou-Yu Lee, Yihao Li","doi":"10.1109/TSA.2015.27","DOIUrl":"https://doi.org/10.1109/TSA.2015.27","url":null,"abstract":"Previous studies have reported that the performance of a developer can greatly impact the quality of the software he/she has worked on. Such performance can be measured using two developer risk metrics during a particular development period. One is the ratio of the number of bug-introduce commits to the total number of commits made by a developer (i.e., the DQ metric). The other is the proportion of faulty software modules out of all modules modified by the developer (i.e., the BR metric). However, all bug-introduce commits, no matter its severity, are treated equally by both DQ and BR metrics. Moreover, the complexity of a software module that a developer is working on may also have a potential impact on his/her performance but is not considered by either DQ or BR. To resolve these two problems, we propose Developer Risk Score (DRS), which takes both program complexity and the severity of bug-introduce commits into account, to evaluate the performance of a developer. Nine software risk metrics based on DRS are further derived to predict the fault proneness of a given software module. Results from our case studies show that (1) DRS-based software risk metrics are generally more correlated with the number of bugs in a software module and the cumulative severity score of bug-introduce commits for a module than DQ-and BR-based metrics, and (2) models using DRS-based metrics are generally more effective in predicting software fault-proneness than those using DQ-and BR-based metrics.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125848273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yong-Lun Chen, Chao-Tung Yang, Shuo-Tsung Chen, Kuang-Chin Chang, W. Chu
{"title":"Environment Virtualized Distributed Storage System Deployment and Effectiveness Analysis","authors":"Yong-Lun Chen, Chao-Tung Yang, Shuo-Tsung Chen, Kuang-Chin Chang, W. Chu","doi":"10.1109/TSA.2015.24","DOIUrl":"https://doi.org/10.1109/TSA.2015.24","url":null,"abstract":"In recent years, with the booming server virtualization, many applications extend topics, such as: PaaS [1], IaaS [2], SaaS [3] and other cloud services concept, but whether it is the kind of virtualization technology, after end storage I / O performance and high availability is a key factor in quality of service. This paper will explore vSAN distributed storage system, the differences in different principles, and understand the differences in the effectiveness of a number of different data node configuration, for the production of environmental planning reference.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121178993","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Estimation of Responsibility Metrics to Determine Package Maintainability and Testability","authors":"Saleh Almugrin, A. Melton","doi":"10.1109/TSA.2015.25","DOIUrl":"https://doi.org/10.1109/TSA.2015.25","url":null,"abstract":"Many costly software issues exist due to poorly designed systems and due to systems which are not easy to test or maintain because of poor designs. R. C. Martin began with a set of object oriented design principles and designed his metrics based on these principles. In a previous paper [2], we began with Martin's principles and used them to modify his coupling, instability and abstractness metrics. We modified Martin's metrics based on the concept of responsibility, our motivation is that packages with different levels of responsibility should have different weights with respect to the coupling, instability and abstraction metrics. In this paper, we present an experimental study to validate the modified metrics by showing their relationship to maintainability and testability, and then we construct prediction models for these two external quality attributes. The study results indicate that the new metrics are very promising and lead to improved results.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130604548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quality Assessment Method for Software Requirements Specifications Based on Document Characteristics and Its Structure","authors":"Patra Thitisathienkul, N. Prompoon","doi":"10.1109/TSA.2015.19","DOIUrl":"https://doi.org/10.1109/TSA.2015.19","url":null,"abstract":"The Software Requirements Specifications document (SRS) is used to collect the user requirements, which is used as an input for development process, and as a baseline for verifying the correctness of the software product occurring at each step throughout the software development process. It has been found that many organizations cannot deliver software products that satisfy the actual requirements of the customers, due to defects that frequently occur in the SRS, especially the use of ambiguous natural language in the requirements specifications and the inappropriate document structure, which negatively affects the software quality. Therefore, this research presents a method for objectively assessing the quality of the SRS for use of natural language in requirements specification, document structure, and overall document quality, by directly considering three characteristics of the document: unambiguous, verifiable and modifiable, to indicate the quality of the document and defects that appear during the software requirements engineering step. The process assessment model is applied as a framework for assessing the quality of the SRS, and the measurement process model and measurement information model are used as approaches for proposing a method for SRS quality assessment and defining the metric, respectively, using Pearson's correlation coefficient as the criterion for verifying the validity of the results obtained from assessing the SRS using the proposed method, indicating that the results obtained from the quality assessment reflect the quality of the SRS, as well as the apparent defects.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122972802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"UTGen: A Black-Box Method-Level Unit-Test Generator for JUnit Test-Platform","authors":"Chi-Kuang Chang, Nai-Wei Lin","doi":"10.1109/TSA.2015.12","DOIUrl":"https://doi.org/10.1109/TSA.2015.12","url":null,"abstract":"Automatic test case execution is crucial for test-driven development (TDD) approach. It is beneficial if test cases can be automatically generated and executed. In this paper, we present UTGen, an Eclipse plugin for the generation and execution of test cases for JUnit test-platform. It is based on the idea of constraint-based testing, working for the methodlevel black-box unit testing. Test data are generated from models specified in UML class diagrams and OCL specifications. Each test data contains test fixture, test inputs and expected outputs. UTGen converts the test data into test cases, and can execute the test cases automatically.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130898643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model","authors":"Yunwei Dong, Zhe Li, Yibo Cheng, Hong-bing Zhao","doi":"10.1109/TSA.2015.15","DOIUrl":"https://doi.org/10.1109/TSA.2015.15","url":null,"abstract":"The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where a test model of a system constructed with Simulink/Stateflow is to be converted to hierarchical interface automata. Dependencies within hierarchical interface automata and test sequences are acquired through analyzing model state coverage. And then a solver tool, named Yices, is used to solve linear constraints in test sequences for the purpose of selecting test cases that conform to the constraints. The impact of states of test model is studied using test coverage criteria and the validity of the obtained test cases will also be evaluated.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"10 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113971171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}