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

Sketch-based gradual model-driven development 基于草图的渐进模型驱动开发

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

Peiyuan Li, Naoyasu Ubayashi, Di Ai, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei

引用次数: 1

Program structure aware fault localization 程序结构感知故障定位

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

Heng Li, Yuzhen Liu, Zhenyu Zhang, Jian Liu

{"title":"Program structure aware fault localization","authors":"Heng Li, Yuzhen Liu, Zhenyu Zhang, Jian Liu","doi":"10.1145/2666581.2666593","DOIUrl":"https://doi.org/10.1145/2666581.2666593","url":null,"abstract":"Software testing is always an effective method to show the presence of bugs in programs, while debugging is never an easy task to remove a bug from a program. To facilitate the debugging task, statistical fault localization estimates the location of faults in programs automatically by analyzing the program executions to narrow down the suspicious region. We observe that program structure has strong impacts on the assessed suspiciousness of program elements. However, existing techniques inadequately pay attention to this problem. In this paper, we emphasize the biases caused by program structure in fault localization, and propose a method to address them. Our method is dedicated to boost a fault localization technique by adapting it to various program structures, in a software development process. It collects the suspiciousness of program elements when locating historical faults, statistically captures the biases caused by program structure, and removes such an impact factor from a fault localization result. An empirical study using the Siemens test suite shows that our method can greatly improve the effectiveness of the most representative fault localization Tarantula.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"1 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":"127899700","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}

引用次数: 8

A new business model of custom software development for agile software development 一种针对敏捷软件开发的定制软件开发的新业务模型

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

Yoshihito Kuranuki, Tsuyoshi Ushio, Tsutomu Yasui, Susumu Yamazaki

引用次数: 1

Model checking partial software product line designs 对部分软件产品线设计进行模型检查

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

Yufeng Shi, Ou Wei, Yu Zhou

{"title":"Model checking partial software product line designs","authors":"Yufeng Shi, Ou Wei, Yu Zhou","doi":"10.1145/2666581.2666589","DOIUrl":"https://doi.org/10.1145/2666581.2666589","url":null,"abstract":"Software product line (SPL) maximizes commonality between software products to reduce cost and improve productivity, where each product is represented by a selection of features that corresponds to particular customer requirements. SPL has been widely applied in critical systems such as communications, automobile, and aerospace, and ensuring correctness of the system is thus of great importance. In this paper, we consider model checking partial software product line designs, i.e., the incomplete designs in the early stage of software development, where the design decisions for a feature may be unknown. This enables detecting design errors earlier, reducing the cost of later development of final products. To this end, we first propose bilattice-based feature transitions systems (BFTSs) for modeling partial software product line designs, which support description of uncertainty and preserve features as a first class notion. We then express system behavioral properties using ACTL formulas and define its semantics over BFTSs. Finally, to leverage the power of existing model checking engine for verification, we provide the procedures that translate BFTSs and ACTL formulas to the inputs of the symbolic model checker $Chi$Chek. We implement our approach and illustrate its effectiveness on a benchmark from literature.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"13 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":"125466868","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

An empirical study of BM25 and BM25F based feature location techniques 基于BM25和BM25F的特征定位技术的实证研究

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

Zhendong Shi, J. Keung, Qinbao Song

引用次数: 20

Scaling up analogy-based software effort estimation: a comparison of multiple hadoop implementation schemes 扩展基于类比的软件工作量估算:多个hadoop实现方案的比较

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

Passakorn Phannachitta, J. Keung, Akito Monden, Ken-ichi Matsumoto

{"title":"Scaling up analogy-based software effort estimation: a comparison of multiple hadoop implementation schemes","authors":"Passakorn Phannachitta, J. Keung, Akito Monden, Ken-ichi Matsumoto","doi":"10.1145/2666581.2666582","DOIUrl":"https://doi.org/10.1145/2666581.2666582","url":null,"abstract":"Analogy-based estimation (ABE) is one of the most time consuming and compute intensive method in software development effort estimation. Optimizing ABE has been a dilemma because simplifying the procedure can reduce the estimation performance, while increasing the procedure complexity with more sophisticated theory may sacrifice an advantage of the unlimited scalability for a large data input. Motivated by an emergence of cloud computing technology in software applications, in this study we present 3 different implementation schemes based on Hadoop MapReduce to optimize the ABE process across multiple computing instances in the cloud-computing environment. We experimentally compared the 3 MapReduce implementation schemes in contrast with our previously proposed GPGPU approach (named ABE-CUDA) over 8 high-performance Amazon EC2 instances. Results present that the Hadoop solution can provide more computational resources that can extend the scalability of the ABE process. We recommend adoption of 2 different Hadoop implementations (Hadoop streaming and RHadoop) for accelerating the computation specifically for compute-intensive software engineering related tasks.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"366 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":"116607037","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

Software engineering for multi-tenancy computing challenges and implications 多租户计算的软件工程挑战和影响

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

J. Ru, J. Grundy, J. Keung

{"title":"Software engineering for multi-tenancy computing challenges and implications","authors":"J. Ru, J. Grundy, J. Keung","doi":"10.1145/2666581.2666585","DOIUrl":"https://doi.org/10.1145/2666581.2666585","url":null,"abstract":"Multi-tenancy is a cloud computing phenomenon. Multiple instances of an application occupy and share resources from a large pool, allowing different users to have their own version of the same application running and coexisting on the same hardware but in isolated virtual spaces. In this position paper we survey the current landscape of multi-tenancy, laying out the challenges and complexity of software engineering where multi-tenancy issues are involved. Multi-tenancy allows cloud service providers to better utilise computing resources, supporting the development of more flexible services to customers based on economy of scale, reducing overheads and infrastructural costs. Nevertheless, there are major challenges in migration from single tenant applications to multi-tenancy. These have not been fully explored in research or practice to date. In particular, the reengineering effort of multi-tenancy in Software-as-a-Service cloud applications requires many complex and important aspects that should be taken into consideration, such as security, scalability, scheduling, data isolation, etc. Our study emphasizes scheduling policies and cloud provisioning and deployment with regards to multi-tenancy issues. We employ CloudSim and MapReduce in our experiments to simulate and analyse multi-tenancy models, scenarios, performance, scalability, scheduling and reliability on cloud platforms.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"8 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":"121397434","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}

引用次数: 10

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs 在修改后的多线程程序中暴露部分固定的并发性错误的方法

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

To Tsui, Shangru Wu, W. Chan

引用次数: 1

Supporting clone analysis with tag cloud visualization 支持克隆分析与标签云可视化

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

Manamu Sano, Eunjong Choi, Norihiro Yoshida, Yuki Yamanaka, Katsuro Inoue

引用次数: 4

Software reliability analysis considering the variation of testing-effort and change-point 考虑测试工作量和变更点变化的软件可靠性分析

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

Syuan-Zao Ke, Chin-Yu Huang, K. Peng

{"title":"Software reliability analysis considering the variation of testing-effort and change-point","authors":"Syuan-Zao Ke, Chin-Yu Huang, K. Peng","doi":"10.1145/2666581.2666588","DOIUrl":"https://doi.org/10.1145/2666581.2666588","url":null,"abstract":"It is commonly recognized that software development is highly unpredictable and software quality may not be easily enhanced after software product is finished. During the software development life cycle (SDLC), project managers have to solve many technical and management issues, such as high failure rate, cost over-run, low quality, late delivery, etc. Consequently, in order to produce robust and reliable software product(s) on time and within budget, project managers and developers have to appropriately allocate limited development- and testing-effort and time. In the past, the distribution of testing-effort or manpower can typically be described by the Weibull or Rayleigh model. Practically, it should be noticed that development environments or methods could change due to some reasons. Thus when we plan to perform software reliability modeling and prediction, these changes or variations occurring in the development process have to be taken into consideration. In this paper, we will study how to use the Parr-curve model with multiple change-points to depict the consumption of testing-effort and how to perform further software reliability analysis. The applicability and performance of our proposed model will be demonstrated and assessed through real software failure data. Experimental results are analyzed and compared with other existing models to show that our proposed model gives better predictions.","PeriodicalId":249136,"journal":{"name":"Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices","volume":"48 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":"121689291","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}

引用次数: 7