2014 21st Asia-Pacific Software Engineering Conference最新文献

筛选
英文 中文
Quality Ranking of Features in Software Product Line Engineering 软件产品线工程中特征的质量排序
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.94
Lei Tan, Yuqing Lin, Li Liu
{"title":"Quality Ranking of Features in Software Product Line Engineering","authors":"Lei Tan, Yuqing Lin, Li Liu","doi":"10.1109/APSEC.2014.94","DOIUrl":"https://doi.org/10.1109/APSEC.2014.94","url":null,"abstract":"Software Product Line Engineering (SPLE) is a systematic software reuse approach that developing a set of similar software products as a family. All the visible characters of the products in a product family are represented as features and their relationships are modelled in a feature model. During application engineering, desired features are selected from the feature model in a configuration process based on the requirements. In this process, the quality of final product should be considered as early as possible which requires identifying and ranking associated features' contributions to related quality attributes before configuring member products. In this paper, we propose a ranking approach to address the issues in current quality based feature ranking approaches, we also include a case study to illustrate our approach at the end.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"188 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132586264","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
Improving Fuzzy Analogy Based Software Development Effort Estimation 改进基于模糊类比的软件开发工作量估算方法
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.46
F. Amazal, A. Idri, A. Abran
{"title":"Improving Fuzzy Analogy Based Software Development Effort Estimation","authors":"F. Amazal, A. Idri, A. Abran","doi":"10.1109/APSEC.2014.46","DOIUrl":"https://doi.org/10.1109/APSEC.2014.46","url":null,"abstract":"Analogy-based estimation has recently emerged as a promising technique and a viable alternative to other conventional estimation methods. One of the most important research areas for analogy-based cost estimation is how to predict the effort of software projects when they are described by mixed numerical and categorical data. To address this issue, we have proposed, in an earlier work, a new approach called fuzzy analogy combining the key features of fuzzy logic and analogy-based reasoning. However, fuzzy analogy may only be used when the possible values of the categorical attributes are derived from a numerical domain. The current study aims to extend our former approach to correctly handle categorical data. To this end, the fuzzy k-modes algorithm is used with two initialization techniques. The performance of the proposed approach was compared with that of classical analogy using the International Software Benchmarking Standards Group (ISBSG) dataset. The obtained results show significant improvement in estimation accuracy.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132814712","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}
引用次数: 23
Runtime Checking for Paired Functions in Device Drivers 设备驱动中配对函数的运行时检查
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.66
Jia-Ju Bai, Hu-Qiu Liu, Yuping Wang, Shimin Hu
{"title":"Runtime Checking for Paired Functions in Device Drivers","authors":"Jia-Ju Bai, Hu-Qiu Liu, Yuping Wang, Shimin Hu","doi":"10.1109/APSEC.2014.66","DOIUrl":"https://doi.org/10.1109/APSEC.2014.66","url":null,"abstract":"Device drivers usually invoke functions to allocate resources for managing hardware devices and communicating with the kernel, and these resources should be released by functions when the work is finished. Thus allocating functions and releasing functions must be invoked in pairs. However, many developers ignore this vital rule, and some allocated resources are not released in time, which may cause resource related problems like deadlocks and memory leak. For improving the resource management of device drivers, we propose an approach named Pair Dyn to check these paired functions during runtime. When the driver runs, Pair Dyn records the runtime information of allocating functions such as key parameters and return value, and dynamically detects whether the relevant releasing functions are invoked to free allocated resources during runtime. Before the driver exits, Pair Dyn automatically attempts to invoke the related releasing functions which are lacked in runtime, in order to free the allocated resources of the operation system. We have implemented Pair Dyn with the LLVM compiler infrastructure, and make the evaluation with four real device drivers in Linux version 3.10.1. The experimental result shows that with the low extra overhead, Pair Dyn can provide effective runtime checking for allocate-release paired functions. Moreover, 9 potential bugs are found in the four drivers, which are all fixed automatically before exiting. Finally, no manual modification of the source code is needed with Pair Dyn.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133545720","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
Learning Summaries of Recursive Functions 学习递归函数摘要
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.53
Yu-Fang Chen, Bow-Yaw Wang, Kaiyuan Yang
{"title":"Learning Summaries of Recursive Functions","authors":"Yu-Fang Chen, Bow-Yaw Wang, Kaiyuan Yang","doi":"10.1109/APSEC.2014.53","DOIUrl":"https://doi.org/10.1109/APSEC.2014.53","url":null,"abstract":"We describe a learning-based approach for verifying recursive functions. The Boolean formula learning algorithm CDNF is used to automatically infer function summaries for recursive functions. In contrast to traditional iterative fix point computation-based approaches, ours can quickly guess summaries and verify purported summaries. When purported summaries are incorrect, the learning algorithm refines them by posing queries. We solve examples that are unattainable by a mature model checker for recursive programs.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134185261","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
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study 基于sat的嵌入式软件有界软件模型检验:一个案例研究
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.17
Yunho Kim, Moonzoo Kim
{"title":"SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study","authors":"Yunho Kim, Moonzoo Kim","doi":"10.1109/APSEC.2014.17","DOIUrl":"https://doi.org/10.1109/APSEC.2014.17","url":null,"abstract":"Conventional manual testing often misses corner case bugs in complex embedded software, which can incur large economic loss. To overcome the weakness of manual testing, automated program analysis/testing techniques such as software model checking and concolic testing have been proposed. This paper makes a detailed report on the application of a SAT-based bounded software model checking technique using CBMC to busy box ls which is loaded on a large number of embedded devices such as smart phones and network equipments. In this study, CBMC demonstrated its effectiveness by detecting four bugs of busy box ls, but also showed limitations for the loop analysis. In addition, we report the importance of calculating minimum iterations to exit a loop (MIEL) to prevent false negatives in practice.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115577379","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
Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational Cultures 影响信息系统开发项目绩效的因素:组织文化的比较
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.56
T. Kawamura, K. Takano
{"title":"Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational Cultures","authors":"T. Kawamura, K. Takano","doi":"10.1109/APSEC.2014.56","DOIUrl":"https://doi.org/10.1109/APSEC.2014.56","url":null,"abstract":"Researchers have found that approximately 70% of information systems (IS) development projects in Japan have failed, thus increasing the demand for solutions that will increase expected project success rates. One study that explored the identification of factors that affect project performance found that six factors of organizational culture influence the project outcome for information technology (IT) vendors. This study uses those results to determine several unrevealed points of knowledge that contribute to reducing project failure rates by identifying differences in organizational culture based on an organization's size. Analysis of variance demonstrated that project performance and project planning show positive results in large organizations. Further, the three factors of \"organizational policy toward project performance,\" \"IS development process,\" and \"project manager skills\" show positive results in large organizations, and one factor, \"information sharing within organization,\" shows a positive result in small organizations. The other factors, \"senior manager involvement\" and \"trust between senior manager and project manager,\" do not show differences based on the size of the organization. Given these results, we proposed several organizational solutions for organizations of each size.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"290 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122732315","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
Modeling Web Attachment Storage for Web Applications 为Web应用程序建模Web附件存储
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.24
Vijay Jain, Amol Kolambkar
{"title":"Modeling Web Attachment Storage for Web Applications","authors":"Vijay Jain, Amol Kolambkar","doi":"10.1109/APSEC.2014.24","DOIUrl":"https://doi.org/10.1109/APSEC.2014.24","url":null,"abstract":"Web application performance plays vital role in application usability and adaptability to its intended users. There are many factors, which attributes towards overall performance enhancements. One of them is that how efficiently a web application under peak load stores or retrieves the web-attached documents. In this paper, we have described a document storage and retrieval technique for improving web application performance. A technique suggested for the document storage purpose is based on the verification of results performed with various types and sizes of document attachments. Applying the suggested technique has shown an overall performance improvement for applications with web attachments.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127966016","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
Predicting Time Range of Development Based on Generalized Software Reliability Model 基于广义软件可靠性模型的开发时间范围预测
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.59
Kiyoshi Honda, H. Nakai, H. Washizaki, Y. Fukazawa, Ken Asoh, Kazuyoshi Takahashi, Kentarou Ogawa, M. Mori, Takashi Hino, Yosuke Hayakawa, Yasuyuki Tanaka, S. Yamada, Daisuke Miyazaki
{"title":"Predicting Time Range of Development Based on Generalized Software Reliability Model","authors":"Kiyoshi Honda, H. Nakai, H. Washizaki, Y. Fukazawa, Ken Asoh, Kazuyoshi Takahashi, Kentarou Ogawa, M. Mori, Takashi Hino, Yosuke Hayakawa, Yasuyuki Tanaka, S. Yamada, Daisuke Miyazaki","doi":"10.1109/APSEC.2014.59","DOIUrl":"https://doi.org/10.1109/APSEC.2014.59","url":null,"abstract":"Development environments have changed drastically, development periods are shorter than ever and the number of team members has increased. These changes have led to difficulties in controlling the development activities and predicting when the development will end. Especially, quality managers try to control software reliability and project managers try to estimate the end of development for planning developing term and distribute the manpower to other developments. In order to assess recent software developments, we propose a generalized software reliability model (GSRM) based on a stochastic process, and simulate developments that include uncertainties and dynamics. We also compare our simulation results to those of other software reliability models. Using the values of uncertainties and dynamics obtained from GSRM, we can evaluate the developments in a quantitative manner. Additionally, we use equations to define the uncertainty regarding the time required to complete a development, and predict whether or not a development will be completed on time. We compare GSRM with an existing model using two old actual datasets and one new actual dataset which we collected, and show that the approximation curve generated by GSRM is about 12% more precise than that generated by the existing model. Furthermore, GSRM can narrow down the predicted time range in which a development will end to less than 40% of that obtained by the existing model.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128508424","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
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms 基于模型驱动的多平台移动应用生成方法
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.26
M. Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
{"title":"A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms","authors":"M. Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan","doi":"10.1109/APSEC.2014.26","DOIUrl":"https://doi.org/10.1109/APSEC.2014.26","url":null,"abstract":"Mobile application development has emerged as one of the most focused areas in software industry due to exponential growth of mobile users and applications. The focus of the current mobile industry is on direct implementation, rather than analysis and design. Model-driven engineering practices are ignored, which results in low reusability and lack of portability along with other challenges. In addition, mobile applications also have to support multiple platforms, as an application written for one platform (e.g., Android) cannot run on another platform (e.g., Windows Phone). Each of the platforms in turn suffers from fragmentation. This results in multiple versions of an application that need to be simultaneously maintained. This is a huge burden on the development team, both in terms of cost and effort, due to various platforms that an application supports. This paper proposes a model-driven approach to generate mobile applications for multiple platforms. We carefully identify a subset of UML and propose a modeling methodology for this purpose. We use real use-cases for requirement gathering, class diagram for structural modeling, while state machine are used for behavioral modeling. We focus on modeling business logic layer for the mobile application. We also propose a UML profile for modeling mobile domain specific concepts. Our approach uses Action Language for Foundational Subset of UML (ALF) to specify actions in the state machines. Our approach allows the modeler to automatically generate business logic code for multiple platforms. The approach is supported by an automated tool MAG (Mobile Application Generator). We apply our model-driven approach on an industrial case study 'Scramble' app developed by 'Next In' to demonstrate its viability.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116024343","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}
引用次数: 27
Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams 逆向工程UML类图的交互式可伸缩抽象
2014 21st Asia-Pacific Software Engineering Conference Pub Date : 2014-12-01 DOI: 10.1109/APSEC.2014.34
Mohd Hafeez Osman, M. Chaudron, P. V. D. Putten
{"title":"Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams","authors":"Mohd Hafeez Osman, M. Chaudron, P. V. D. Putten","doi":"10.1109/APSEC.2014.34","DOIUrl":"https://doi.org/10.1109/APSEC.2014.34","url":null,"abstract":"A large fraction of the time consumed in software development and maintenance is spent on understanding the software, which indicates it is a critical activity. Software documentation, including software architecture design documentation, is an important aid in software comprehension. However, keeping documentation up to date with evolving source code is often challenging and absence of up date or more comprehensive design-level documentation is not uncommon. As a solution, software architecture design may be recovered using reverse engineering techniques. However, existing reverse engineering methods produce complete design diagrams that include all the details that exist in the source code. The absence of abstraction from implementation details limits the usefulness of existing reverse engineering techniques for understanding software. This paper aims to address this problem by providing a method and tool that interactively allows developers to interactively explore a reverse engineered class diagram at scalable levels of abstraction. To this end, we propose a Software Architecure Abstraction (SAAbs) framework and an automated tool which implements the SAAbs framework. The SAAbs framework applies a machine learning scoring algorithm to produce a class importance ranking for class diagrams, this ranking is the basis for software architecture abstraction and visualization. We validate this framework by validating the SAAbs tool using a semi-structured survey. On average, 30 respondents of this survey rated 5.40 out of 6 points, which indicate that this is a useful tool to assist software developers in understanding a system.","PeriodicalId":380881,"journal":{"name":"2014 21st Asia-Pacific Software Engineering Conference","volume":"174 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115722465","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
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学术文献互助群
群 号:481959085
Book学术官方微信