2015 Second International Conference on Trustworthy Systems and Their Applications最新文献

筛选
英文 中文
Performance Evaluation of Parallel Genetic Algorithm Using Single Program Multiple Data Technique 基于单程序多数据技术的并行遗传算法性能评价
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}
引用次数: 2
Content Distribution Networks Using Software Defined Networks 使用软件定义网络的内容分发网络
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}
引用次数: 4
Model-Based Testing of SDN Firewalls: A Case Study 基于模型的SDN防火墙测试:一个案例研究
I. Alsmadi, Milson Munakami, Dianxiang Xu
{"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}
引用次数: 11
Requirements Characteristics Verification Method and Tool Based on Rules Constructed Form Software Component Relationships 基于软件组件关系构建规则的需求特征验证方法与工具
Nattapon Phanthanithilerd, N. Prompoon
{"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}
引用次数: 0
DRS: A Developer Risk Metric for Better Predicting Software Fault-Proneness DRS:用于更好地预测软件故障倾向的开发人员风险度量
Shou-Yu Lee, Yihao Li
{"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}
引用次数: 5
Environment Virtualized Distributed Storage System Deployment and Effectiveness Analysis 环境虚拟化分布式存储系统部署及效果分析
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}
引用次数: 1
Estimation of Responsibility Metrics to Determine Package Maintainability and Testability 确定包可维护性和可测试性的责任度量的估计
Saleh Almugrin, A. Melton
{"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}
引用次数: 3
Quality Assessment Method for Software Requirements Specifications Based on Document Characteristics and Its Structure 基于文档特征及其结构的软件需求说明书质量评估方法
Patra Thitisathienkul, N. Prompoon
{"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}
引用次数: 17
UTGen: A Black-Box Method-Level Unit-Test Generator for JUnit Test-Platform
Chi-Kuang Chang, Nai-Wei Lin
{"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}
引用次数: 3
A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model 基于Simulink/状态流模型的嵌入式系统模型驱动测试解决方案
Yunwei Dong, Zhe Li, Yibo Cheng, Hong-bing Zhao
{"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}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信