2016 23rd Asia-Pacific Software Engineering Conference (APSEC)最新文献

筛选
英文 中文
An Empirical Study into the Relationship Between Class Features and Test Smells 班级特征与考试气味关系的实证研究
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2021-03-27 DOI: 10.1109/APSEC.2016.34
Amjed Tahir, S. Counsell, Stephen G. MacDonell
{"title":"An Empirical Study into the Relationship Between Class Features and Test Smells","authors":"Amjed Tahir, S. Counsell, Stephen G. MacDonell","doi":"10.1109/APSEC.2016.34","DOIUrl":"https://doi.org/10.1109/APSEC.2016.34","url":null,"abstract":"While a substantial body of prior research has investigated the form and nature of production code, comparatively little attention has examined characteristics of test code, and, in particular, test smells in that code. In this paper, we explore the relationship between production code properties (at the class level) and a set of test smells, in five open source systems. Specifically, we examine whether complexity properties of a production class can be used as predictors of the presence of test smells in the associated unit test. Our results, derived from the analysis of 975 production class-unit test pairs, show that the Cyclomatic Complexity (CC) and Weighted Methods per Class (WMC) of production classes are strong indicators of the presence of smells in their associated unit tests. The Lack of Cohesion of Methods in a production class (LCOM) also appears to be a good indicator of the presence of test smells. Perhaps more importantly, all three metrics appear to be good indicators of particular test smells, especially Eager Test and Duplicated Code. The Depth of the Inheritance Tree (DIT), on the other hand, was not found to be significantly related to the incidence of test smells. The results have important implications for large-scale software development, particularly in a context where organizations are increasingly using, adopting or adapting open source code as part of their development strategy and need to ensure that classes and methods are kept as simple as possible.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126234321","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
Adoption and Suitability of Software Development Methods and Practices 软件开发方法和实践的采用和适用性
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2021-03-19 DOI: 10.1109/APSEC.2016.062
Sherlock A. Licorish, Johannes Holvitie, S. Hyrynsalmi, V. Leppänen, R. Spínola, T. Mendes, Stephen G. MacDonell, Jim Buchan
{"title":"Adoption and Suitability of Software Development Methods and Practices","authors":"Sherlock A. Licorish, Johannes Holvitie, S. Hyrynsalmi, V. Leppänen, R. Spínola, T. Mendes, Stephen G. MacDonell, Jim Buchan","doi":"10.1109/APSEC.2016.062","DOIUrl":"https://doi.org/10.1109/APSEC.2016.062","url":null,"abstract":"In seeking to complement consultants' and tool vendors' reports, there has been an increasing academic focus on understanding the adoption and use of software development methods and practices. We surveyed practitioners working in Brazil, Finland, and New Zealand in a transnational study to contribute to these efforts. Among our findings we observed that most of the 184 practitioners in our sample focused on a small portfolio of projects that were of short duration. In addition, Scrum and Kanban were used most; however, some practitioners also used conventional methods. Coding Standards, Simple Design and Refactoring were used most by practitioners, and these practices were held to be largely suitable for project and process management. Our evidence points to the need to properly understand and support a wide range of software methods.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123465239","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}
引用次数: 20
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods 注意差距:用正式方法解决行为不一致
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-12-06 DOI: 10.1109/APSEC.2016.051
J. Bowles, M. Caminati
{"title":"Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods","authors":"J. Bowles, M. Caminati","doi":"10.1109/APSEC.2016.051","DOIUrl":"https://doi.org/10.1109/APSEC.2016.051","url":null,"abstract":"In complex system design, it is important to construct several design models focusing on different aspects of a system to gain a better understanding of individual component structure and behaviour. Scenarios of execution are commonly used to specify partial behaviour and interactions between a group of system objects or components. However, partial specifications may hide inconsistencies or an otherwise unintentionally incomplete or underspecified behavioural model. This paper proposes a new powerful technique combining constraint solvers and theorem provers to complete partial specifications and determine overall model inconsistencies. We use a true-concurrent model, namely labelled event structures, which can be used as the underlying semantics of widely used workflow or scenario-based languages. We show how an interplay between the theorem prover Isabelle and constraint solver Z3 can be used for detecting and solving partial specifications and inconsistencies over event structures.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127888302","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
Automated Deployment of Data Collection Policies over Heterogeneous Shared Sensing Infrastructures 异构共享感知基础设施上数据采集策略的自动化部署
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-12-06 DOI: 10.1109/APSEC.2016.053
Cyril Cecchinel, Sébastien Mosser, P. Collet
{"title":"Automated Deployment of Data Collection Policies over Heterogeneous Shared Sensing Infrastructures","authors":"Cyril Cecchinel, Sébastien Mosser, P. Collet","doi":"10.1109/APSEC.2016.053","DOIUrl":"https://doi.org/10.1109/APSEC.2016.053","url":null,"abstract":"Smart buildings and smart cities rely on interconnected sensor networks that collect data about their environment to support various applications. Developing and deploying the data collection architectures of these systems is a challenging problem. The specificities of the sensor platforms compel software engineers to work at a low level. This makes this activity tedious, producing code that badly exploits the network architecture, and hampering reuse of data collection policies. Moreover, several data collection programs cannot be guaranteed to be deployable on a shared infrastructure. In this paper, we present an automated approach that supports (i) the definition of data collection policies at a higher level of abstraction, (ii) the representation of the diverse platforms and the network topology, and (iii) the automatic composition and deployment of the policies on top of heterogeneous sensing infrastructures following different strategies. The approach is tooled and has been assessed on both realistic and simulated deployments.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126253447","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
Formalization and Verification of the Powerlink Protocol Using CSP 基于CSP的Powerlink协议的形式化与验证
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-12-06 DOI: 10.1109/APSEC.2016.052
Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, S. Qin
{"title":"Formalization and Verification of the Powerlink Protocol Using CSP","authors":"Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, S. Qin","doi":"10.1109/APSEC.2016.052","DOIUrl":"https://doi.org/10.1109/APSEC.2016.052","url":null,"abstract":"As an integral part of the Ethernet standard IEEE 802.3, the Ethernet Powerlink protocol is widely used in the automation industry. It is a software-based solution and achieves some real-time capabilities. It satisfies data transmission demands by guaranteeing communication with very high speed and accuracy. In effort to make implementing Powerlink protocol easier, we build a formal Powerlink model via Communicating Sequential Processes (CSP) and implement it in the model checker Process Analysis Toolkit (PAT). Based on the model, we simulate Managing Node (MN) and Controlled Node (CN) behaviors in a Powerlink cycle. We verify and evaluate the scheduling algorithm given in the official tutorial, and present an improved algorithm. At last, we verify some properties including deadlock about the Powerlink protocol and whether it exhibits problematic behavior when it is operating.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131901655","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 Analysis of Vulnerabilities in OpenSSL and the Linux Kernel OpenSSL与Linux内核漏洞实证分析
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-12-01 DOI: 10.1109/APSEC.2016.025
Matthieu Jimenez, Mike Papadakis, Yves Le Traon
{"title":"An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel","authors":"Matthieu Jimenez, Mike Papadakis, Yves Le Traon","doi":"10.1109/APSEC.2016.025","DOIUrl":"https://doi.org/10.1109/APSEC.2016.025","url":null,"abstract":"Vulnerabilities are one of the main concerns faced by practitioners when working with security critical applications. Unfortunately, developers and security teams, even experienced ones, fail to identify many of them with severe consequences. Vulnerabilities are hard to discover since they appear in various forms, caused by many different issues and their identification requires an attacker's mindset. In this paper, we aim at increasing the understanding of vulnerabilities by investigating their characteristics on two major open-source software systems, i.e., the Linux kernel and OpenSSL. In particular, we seek to analyse and build a profile for vulnerable code, which can ultimately help researchers in building automated approaches like vulnerability prediction models. Thus, we examine the location, criticality and category of vulnerable code along with its relation with software metrics. To do so, we collect more than 2,200 vulnerable files accounting for 863 vulnerabilities and compute more than 35 software metrics. Our results indicate that while 9 Common Weakness Enumeration (CWE) types of vulnerabilities are prevalent, only 3 of them are critical in OpenSSL and 2 of them in the Linux kernel. They also indicate that different types of vulnerabilities have different characteristics, i.e., metric profiles, and that vulnerabilities of the same type have different profiles in the two projects we examined. We also found that the file structure of the projects can provide useful information related to the vulnerabilities. Overall, our results demonstrate the need for making project specific approaches that focus on specific types of vulnerabilities.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125431577","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}
引用次数: 21
A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams 一种基于模型检查的UML序列图包含检查方法
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-12-01 DOI: 10.1109/APSEC.2016.021
Faiz ul Muram, Huy Tran, Uwe Zdun
{"title":"A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams","authors":"Faiz ul Muram, Huy Tran, Uwe Zdun","doi":"10.1109/APSEC.2016.021","DOIUrl":"https://doi.org/10.1109/APSEC.2016.021","url":null,"abstract":"The main challenge in software development process is to detect and fix the deviations of system's behaviors at different abstraction levels in early phases. For this purpose, UML 2 sequence diagrams are widely used for describing and analyzing the communication behavior of software systems. This paper describes a containment checking approach for UML 2 sequence diagrams to verify whether the behavior (or functions) described by a low-level model conforms those specified in the high-level counterpart based on model checking techniques, in order to improve the system's quality. However, creating consistency constraints and formal specifications for the sequence diagrams is a labor-intensive and error prone task. To alleviate this issue, we propose an automated transformation of sequence diagrams into formal specifications and consistency constraints that enable us to leverage the analytical powers of model checking to automatically verify the containment relationship. In addition, our approach provides the stakeholders more informative and comprehensive feedbacks regarding the inconsistency issues, and therefore helps them to efficiently identify and resolve the problems. The approach is implemented and validated using three realistic scenarios.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132930640","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}
引用次数: 15
Design and Implementation of Training Course for Software Process Improvement Engineers 软件过程改进工程师培训课程的设计与实施
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-07-02 DOI: 10.1109/APSEC.2016.065
Noriyoshi Kuno, Tsuyoshi Nakajima
{"title":"Design and Implementation of Training Course for Software Process Improvement Engineers","authors":"Noriyoshi Kuno, Tsuyoshi Nakajima","doi":"10.1109/APSEC.2016.065","DOIUrl":"https://doi.org/10.1109/APSEC.2016.065","url":null,"abstract":"It is widely recognized that software process improvement (SPI) engineers need to be trained by software engineering groups to perform quality SPI activities. However, such engineers are required to have a wide range of skills, and therefore it is difficult to properly determine the scope and goal of training courses. To solve such problems, the group companies of Mitsubishi Electric Corporation have developed a training course for SPI engineers that can provide practical content in a short period by focusing on skills for solving the real problems that SPI engineers often encounter in the field. This paper describes the design and implementation of the course, and proves its effectiveness with a questionnaire survey answered after taking the course from which results show that 67.7% of the trainees find themselves much more skilled than before, and 89.8% believe this is due to taking the course.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129082118","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
Filter-INC: Handling Effort-Inconsistency in Software Effort Estimation Datasets Filter-INC:处理软件工作量估计数据集中的工作量不一致
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-07-02 DOI: 10.1109/APSEC.2016.035
Passakorn Phannachitta, J. Keung, K. E. Bennin, Akito Monden, Ken-ichi Matsumoto
{"title":"Filter-INC: Handling Effort-Inconsistency in Software Effort Estimation Datasets","authors":"Passakorn Phannachitta, J. Keung, K. E. Bennin, Akito Monden, Ken-ichi Matsumoto","doi":"10.1109/APSEC.2016.035","DOIUrl":"https://doi.org/10.1109/APSEC.2016.035","url":null,"abstract":"Effort-inconsistency is a situation where historical software project data used for software effort estimation (SEE) are contaminated by many project cases with similar characteristics but are completed with significantly different amount of effort. Using these data for SEE generally produces inaccurate results; however, an effective technique for its handling is yet made to be available. This study approaches the problem differently from common solutions, where available techniques typically attempt to remove every project case they have detected as outliers. Instead, we hypothesize that data inconsistency is caused by only a few deviant project cases and any attempt to remove those other cases will result in reduced accuracy, largely due to loss of useful information and data diversity. Filter-INC (short for Filtering technique for handling effort-INConsistency in SEE datasets) implements the hypothesis to decide whether a project case being detected by any existing technique should be subject to removal. The evaluation is carried out by comparing the performance of 2 filtering techniques between before and after having Filter-INC applied. The results produced from 8 real-world datasets together with 3 machine-learning models, and evaluated by 4 performance measures show a significant accuracy improvement at the confident interval of 95%. Based on the results, we recommend our proposed hypothesis as an important instrument to design a data preprocessing technique for handling effort-inconsistency in SEE datasets, definitely an important step forward in preprocessing data for a more accurate SEE model.","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123288637","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
System Product Line Engineering for Small Appliances with Driver Derivation 带驱动器派生的小家电系统产品线工程
2016 23rd Asia-Pacific Software Engineering Conference (APSEC) Pub Date : 2016-07-02 DOI: 10.1109/APSEC.2016.067
Shintaro Hosoai, N. Noda, T. Kishi
{"title":"System Product Line Engineering for Small Appliances with Driver Derivation","authors":"Shintaro Hosoai, N. Noda, T. Kishi","doi":"10.1109/APSEC.2016.067","DOIUrl":"https://doi.org/10.1109/APSEC.2016.067","url":null,"abstract":"Advances in device technology have promoted the development of small appliances such as wearable devices, IoT equipment, and small home electronics equipment. Considering a product family of such device/equipment, each product in the family may have different hardware (micro controller unit, devices such as sensors and actuators, and different configurations). Software for such equipment tends to be compact and handles the devices directly via drivers. However, software engineers are not familiar with driver development and this causes development bottleneck. Therefore, in order to develop products efficiently, derivations of software and hardware are not enough, i.e., the systematic derivation of drivers is indispensable. In this paper, we propose a system product line development method for small appliances in which drivers are systematically derived. In this method, hardware features and software features are managed in terms of feature models, and system products are derived by specifying features of hardware and software. Based on these, drivers are systematically derived. This paper proposes 1) an extension of the UML/MARTE model that can represent hardware information that is necessary for driver generation, and 2) a systematic driver derivation method based on variability management and model-driven engineering techniques. We evaluate the method using an example of a motion tracking system product family","PeriodicalId":339123,"journal":{"name":"2016 23rd Asia-Pacific Software Engineering Conference (APSEC)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128223683","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
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学术官方微信