Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices最新文献_第2页

Context-sensitive detection of information exposure bugs with symbolic execution 通过符号执行对信息暴露错误进行上下文敏感检测

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices Pub Date : 2014-11-16 DOI: 10.1145/2666581.2666591

Paul Muntean, C. Eckert, A. Ibing

{"title":"Context-sensitive detection of information exposure bugs with symbolic execution","authors":"Paul Muntean, C. Eckert, A. Ibing","doi":"10.1145/2666581.2666591","DOIUrl":"https://doi.org/10.1145/2666581.2666591","url":null,"abstract":"Static analysis tools used for detecting information exposure bugs can help software engineers detecting bugs without introducing run-time overhead. Such tools can make the detection of information-flow bugs faster and cheaper without having to provide user input in order to trigger the bug detection. In this paper we present a bug-detection tool for detecting information exposure bugs in C/C++ programs. Our tool is context-sensitive and uses static code analysis for bug detection. We developed our bug finding tool as a Eclipse plug-in in order to easily integrate it in software development work flows. The bug reports provide user friendly visualizations that can be easily traced back to the location where the bug was detected. We discuss one static analysis approach for detecting information exposure bugs and relate briefly the usability of our bug testing tool to empirical research. We conducted an empirical evaluation based on 90 test programs which were selected from the Juliet test suite for C/C++ code. We reached a true-positive coverage of 94.4% in 121 seconds for 90 test programs having a total of 12589 source code lines.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125514994","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}

引用次数: 9

Cloud-based support for global software engineering: potentials, risks, and gaps 基于云的全球软件工程支持:潜力、风险和差距

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices Pub Date : 2014-11-16 DOI: 10.1145/2666581.2666583

Mohammed Al-qadhi, J. Keung

{"title":"Cloud-based support for global software engineering: potentials, risks, and gaps","authors":"Mohammed Al-qadhi, J. Keung","doi":"10.1145/2666581.2666583","DOIUrl":"https://doi.org/10.1145/2666581.2666583","url":null,"abstract":"Global Software Engineering (GSE) aims at utilizing global expertise and reducing time-to-market and costs for software development. However, GSE faces serious challenges related to the communication, coordination and provision of development environments for geographically distributed GSE sites, resulting in increased costs. Nowadays, cloud computing offers a cost-effective and a handy solution to provide computing support for global business. In particularly, it provides potential and viable solutions to address concerns and challenges in GSE. We have reviewed the relevant literature on cloud-based support for GSE and identified a set of pros and cons for supporting GSE with cloud services. We also present some recommendations to increase the trustworthiness and productivity with cloud-based support for GSE. This paper outlines the potential benefits and risks of cloud computing to GSE and identifies some gaps that need to be addressed by cloud-based support towards more trustworthy and productive work environment for GSE. This will open windows of opportunities for tailoring the solution utilizing cloud-based support for GSE.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117039303","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

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices 创新软件开发方法与实践国际研讨会论文集

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices Pub Date : 2014-11-16 DOI: 10.1145/2666581

H. Leung

引用次数: 2

Enhanced n-version programming and recovery block techniques for web service systems 用于web服务系统的增强n版本编程和恢复块技术

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices Pub Date : 2014-11-16 DOI: 10.1145/2666581.2666587

K. Peng, Chin-Yu Huang, P. Wang, Chao-Jung Hsu

{"title":"Enhanced n-version programming and recovery block techniques for web service systems","authors":"K. Peng, Chin-Yu Huang, P. Wang, Chao-Jung Hsu","doi":"10.1145/2666581.2666587","DOIUrl":"https://doi.org/10.1145/2666581.2666587","url":null,"abstract":"In recent years, web services (WS’s) have been widely used to support interoperable machine-to-machine interaction over a network. In order to ensure a reliable WS system, a number of fault tolerance designs have been proposed. It is known that network connection and hardware devices may fail. In addition, the acceptance test (AT) as well as the decision mechanism (DM), which are common in fault tolerance designs, could also fail unexpectedly. Such uncertainties may affect the reliability of a WS-based system but have not yet been carefully considered in reliability modeling. Therefore, we propose extended NVP (ENVP) and extended RB (ERB) for the reliability analysis. Various operations of ENVP and ERB are discussed, and a simulation procedure is implemented to evaluate the system reliability and the failure probability of fault-tolerant WS-based systems. The experimental results show a high degree of correlation between the numbers of AT’s and the reliability improvements. The proposed fault tolerance designs could improve the system reliability, and the simulation procedure could also help in exploring appropriate configurations of fault tolerance designs for practitioners.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114207570","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}

引用次数: 6

Developing enterprise mobile applications the easy way 开发企业移动应用程序的简单方法

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices Pub Date : 2014-11-16 DOI: 10.1145/2666581.2666590

Aharon Abadi, Y. Dubinsky, A. Kirshin, Y. Mesika, Idan Ben-Harrush, Uzy Hadad

引用次数: 1