首页 > 最新文献

2019 26th Asia-Pacific Software Engineering Conference (APSEC)最新文献

英文 中文
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems 利用贝叶斯网络进行系统中的网络攻击传播分析
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00056
Jamal El Hachem, Ali Sedaghatbaf, Elena Lisova, Aida Čaušević
System of Systems (SoS) represent a set of independent Constituent Systems (CS) that collaborate in order to provide functionalities that they are unable to achieve independently. We consider SoS as a set of connected services that needs to be adequately protected. The integration of these independent, evolutionary and distributed systems, intensifies SoS complexity and emphasizes the behavior uncertainty, which makes an SoS security analysis a critical challenge. One of the major priorities when designing SoS, is to analyze the unknown dependencies among CS services and vulnerabilities leading to potential cyberattacks. The aim of this work is to investigate how Software Engineering approaches could be leveraged to analyze the cyberattack propagation problem within an SoS. Such analysis is essential for an efficient SoS risk assessment performed early at the SoS design phase and required to protect the SoS from possibly high impact attacks affecting its safety and security. In order to achieve our objective, we present a model-driven analysis approach, based on Bayesian Networks, a sensitivity analysis and Common Vulnerability Scoring System (CVSS) with aim to discover potential cyberattacks propagation and estimate the probability of a security failure and its impact on SoS services. We illustrate this approach in an autonomous quarry example.
系统的系统(so)表示一组独立的组成系统(CS),它们相互协作以提供它们无法独立实现的功能。我们将SoS视为一组需要得到充分保护的连接服务。这些独立的、演化的和分布式的系统的集成,加剧了SoS的复杂性,强调了行为的不确定性,这使得SoS的安全分析成为一个严峻的挑战。设计SoS时的主要优先事项之一是分析CS服务之间的未知依赖关系和导致潜在网络攻击的漏洞。这项工作的目的是研究如何利用软件工程方法来分析SoS内的网络攻击传播问题。这种分析对于在SoS设计阶段早期进行有效的SoS风险评估至关重要,并且需要保护SoS免受可能影响其安全性和安全性的高影响攻击。为了实现我们的目标,我们提出了一种模型驱动的分析方法,基于贝叶斯网络,灵敏度分析和通用漏洞评分系统(CVSS),旨在发现潜在的网络攻击传播并估计安全故障的概率及其对SoS服务的影响。我们用一个自主采石场的例子来说明这种方法。
{"title":"Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems","authors":"Jamal El Hachem, Ali Sedaghatbaf, Elena Lisova, Aida Čaušević","doi":"10.1109/APSEC48747.2019.00056","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00056","url":null,"abstract":"System of Systems (SoS) represent a set of independent Constituent Systems (CS) that collaborate in order to provide functionalities that they are unable to achieve independently. We consider SoS as a set of connected services that needs to be adequately protected. The integration of these independent, evolutionary and distributed systems, intensifies SoS complexity and emphasizes the behavior uncertainty, which makes an SoS security analysis a critical challenge. One of the major priorities when designing SoS, is to analyze the unknown dependencies among CS services and vulnerabilities leading to potential cyberattacks. The aim of this work is to investigate how Software Engineering approaches could be leveraged to analyze the cyberattack propagation problem within an SoS. Such analysis is essential for an efficient SoS risk assessment performed early at the SoS design phase and required to protect the SoS from possibly high impact attacks affecting its safety and security. In order to achieve our objective, we present a model-driven analysis approach, based on Bayesian Networks, a sensitivity analysis and Common Vulnerability Scoring System (CVSS) with aim to discover potential cyberattacks propagation and estimate the probability of a security failure and its impact on SoS services. We illustrate this approach in an autonomous quarry example.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131684474","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
Exploring Semantics of Software Artifacts to Improve Requirements Traceability Recovery: A Hybrid Approach 探索软件工件的语义以改进需求可追溯性恢复:一种混合方法
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00015
Shiheng Wang, Tong Li, Zhen Yang
Continuously maintaining software requirements traceability links is essential for managing and evolving software systems. Due to development pressure, traceability links are usually missing during the early development phase in practice, and thus many information retrieval-based approaches have been proposed to automatically recover the traceability links. However, such approaches typically calculate textual similarities among software artifacts without considering specific features of different software artifacts, leading to less accurate results. In this paper, we propose a hybrid approach to recover requirements traceability links, which combines machine learning and logical reasoning to explore features of use cases and code. On one hand, our approach engineers features of use cases and code by taking into account their semantics, based on which a classifier is trained by using supervised learning algorithms. On the other hand, we investigate and leverage the structural information of code to incrementally discover traceability links by defining a list of reasoning rules. We have carried out a series of experiments to compare our approach with state-of-the-art methods, the results of which show that our approach significantly outperforms others.
持续地维护软件需求可追溯性链接对于管理和发展软件系统是必不可少的。在实践中,由于开发压力,在早期开发阶段往往会丢失可追溯性链接,因此人们提出了许多基于信息检索的方法来自动恢复可追溯性链接。然而,这种方法通常计算软件工件之间的文本相似性,而不考虑不同软件工件的特定特征,从而导致不太准确的结果。在本文中,我们提出了一种混合方法来恢复需求可追溯性链接,它结合了机器学习和逻辑推理来探索用例和代码的特征。一方面,我们的方法通过考虑它们的语义来设计用例和代码的特征,在此基础上使用监督学习算法训练分类器。另一方面,我们调查和利用代码的结构信息,通过定义推理规则列表来增量地发现可跟踪性链接。我们进行了一系列的实验,将我们的方法与最先进的方法进行比较,结果表明我们的方法明显优于其他方法。
{"title":"Exploring Semantics of Software Artifacts to Improve Requirements Traceability Recovery: A Hybrid Approach","authors":"Shiheng Wang, Tong Li, Zhen Yang","doi":"10.1109/APSEC48747.2019.00015","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00015","url":null,"abstract":"Continuously maintaining software requirements traceability links is essential for managing and evolving software systems. Due to development pressure, traceability links are usually missing during the early development phase in practice, and thus many information retrieval-based approaches have been proposed to automatically recover the traceability links. However, such approaches typically calculate textual similarities among software artifacts without considering specific features of different software artifacts, leading to less accurate results. In this paper, we propose a hybrid approach to recover requirements traceability links, which combines machine learning and logical reasoning to explore features of use cases and code. On one hand, our approach engineers features of use cases and code by taking into account their semantics, based on which a classifier is trained by using supervised learning algorithms. On the other hand, we investigate and leverage the structural information of code to incrementally discover traceability links by defining a list of reasoning rules. We have carried out a series of experiments to compare our approach with state-of-the-art methods, the results of which show that our approach significantly outperforms others.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115643438","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
APSEC 2019 Conference Organizers APSEC 2019会议组织者
Pub Date : 2019-12-01 DOI: 10.1109/apsec48747.2019.00007
S. Sulaiman, Noor Farizah Ibrahim, N. Ibrahim, O. Yusop
{"title":"APSEC 2019 Conference Organizers","authors":"S. Sulaiman, Noor Farizah Ibrahim, N. Ibrahim, O. Yusop","doi":"10.1109/apsec48747.2019.00007","DOIUrl":"https://doi.org/10.1109/apsec48747.2019.00007","url":null,"abstract":"","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115146577","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
Influence, Information and Team Outcomes in Large Scale Software Development 大型软件开发中的影响、信息和团队成果
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00061
Subhajit Datta
It is widely perceived that the egalitarian ecosystems of large scale open source software development foster effective team outcomes. In this study, we question this conventional wisdom by examining whether and how the centralization of information and influence in a software development team relate to the quality of the team's work products. Analyzing data from more than a hundred real world projects that include development activities over close to a decade, involving 2000+ developers, who collectively resolve more than two hundred thousand defects through discussions covering more than six hundred thousand comments, we arrive at statistically significant evidence indicating that concentration of information and influence in the developer communication networks of the projects are associated with the quality of a team's work products, even after controlling for various factors related to levels of developer engagement. Our results suggest that merely facilitating easy interaction between team members may not be sufficient to enhance team outcomes. The design of efficient collaborative development environments, and devising tools and processes for team assembly and governance can be informed by our results.
人们普遍认为,大规模开源软件开发的平等生态系统可以培养有效的团队成果。在本研究中,我们通过检查软件开发团队中信息和影响的集中化是否以及如何与团队工作产品的质量相关来质疑这种传统智慧。分析来自超过100个真实世界项目的数据,这些项目包括近十年来的开发活动,涉及2000多个开发人员,他们通过讨论解决了超过20万个缺陷,这些讨论涵盖了超过60万条评论,我们得到了统计上有意义的证据,表明在项目的开发人员沟通网络中的信息集中和影响与团队工作产品的质量相关,即使在控制了与开发人员参与水平相关的各种因素之后也是如此。我们的研究结果表明,仅仅促进团队成员之间的轻松互动可能不足以提高团队成果。有效的协作开发环境的设计,以及为团队组装和治理设计工具和过程可以通过我们的结果得到通知。
{"title":"Influence, Information and Team Outcomes in Large Scale Software Development","authors":"Subhajit Datta","doi":"10.1109/APSEC48747.2019.00061","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00061","url":null,"abstract":"It is widely perceived that the egalitarian ecosystems of large scale open source software development foster effective team outcomes. In this study, we question this conventional wisdom by examining whether and how the centralization of information and influence in a software development team relate to the quality of the team's work products. Analyzing data from more than a hundred real world projects that include development activities over close to a decade, involving 2000+ developers, who collectively resolve more than two hundred thousand defects through discussions covering more than six hundred thousand comments, we arrive at statistically significant evidence indicating that concentration of information and influence in the developer communication networks of the projects are associated with the quality of a team's work products, even after controlling for various factors related to levels of developer engagement. Our results suggest that merely facilitating easy interaction between team members may not be sufficient to enhance team outcomes. The design of efficient collaborative development environments, and devising tools and processes for team assembly and governance can be informed by our results.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115638523","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
Class Imbalance Data-Generation for Software Defect Prediction 面向软件缺陷预测的类不平衡数据生成
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00045
Zheng Li, Xing-yao Zhang, Junxia Guo, Y. Shang
The imbalanced nature of class in software defect data, which including intra-class imbalance and inter-classes imbalance, increases the difficulty of learning an effective defect prediction model. Most of sampling and example generation approaches just focused on inter-class imbalanced defect data, and they are not effective to handle the issue of intra-class imbalance. This paper proposed a distribution based data generation approach for software defect prediction to deal with inter-class and intra-class imbalanced data simultaneously. First, the classified sub-regions are clustered according to the distribution in the sample feature space. Second, the data are generated by corresponding strategies according to different distribution in sub-regions, where the inter-class balance is achieved by increasing the number of defective samples, and the intra-class balance is achieved by generating different density of data in different sub-regions. Experiment results show that the proposed method can reduce the impact of data imbalance on defect prediction and improve the accuracy of software defect prediction model effectively by generating inter-class and intra-class balanced defects data.
软件缺陷数据中类的不平衡性,包括类内不平衡性和类间不平衡性,增加了学习有效缺陷预测模型的难度。大多数抽样和样例生成方法只关注类间不平衡缺陷数据,而不能有效处理类内不平衡问题。为了同时处理类间和类内不平衡数据,提出了一种基于分布的软件缺陷预测数据生成方法。首先,根据分类子区域在样本特征空间中的分布对分类子区域进行聚类;其次,根据子区域的不同分布,采用相应的策略生成数据,其中通过增加缺陷样本数量实现类间平衡,通过在不同子区域生成不同密度的数据实现类内平衡。实验结果表明,该方法通过生成类间和类内平衡的缺陷数据,有效地减少了数据不平衡对缺陷预测的影响,提高了软件缺陷预测模型的准确性。
{"title":"Class Imbalance Data-Generation for Software Defect Prediction","authors":"Zheng Li, Xing-yao Zhang, Junxia Guo, Y. Shang","doi":"10.1109/APSEC48747.2019.00045","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00045","url":null,"abstract":"The imbalanced nature of class in software defect data, which including intra-class imbalance and inter-classes imbalance, increases the difficulty of learning an effective defect prediction model. Most of sampling and example generation approaches just focused on inter-class imbalanced defect data, and they are not effective to handle the issue of intra-class imbalance. This paper proposed a distribution based data generation approach for software defect prediction to deal with inter-class and intra-class imbalanced data simultaneously. First, the classified sub-regions are clustered according to the distribution in the sample feature space. Second, the data are generated by corresponding strategies according to different distribution in sub-regions, where the inter-class balance is achieved by increasing the number of defective samples, and the intra-class balance is achieved by generating different density of data in different sub-regions. Experiment results show that the proposed method can reduce the impact of data imbalance on defect prediction and improve the accuracy of software defect prediction model effectively by generating inter-class and intra-class balanced defects data.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123671662","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
MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm 使用PageRank算法的基于模型的需求优先排序
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00014
Muhammad Abbas, Irum Inayat, Naila Jan, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark
Requirements prioritization plays an important role in driving project success during software development. Literature reveals that existing requirements prioritization approaches ignore vital factors such as interdependency between requirements. Existing requirements prioritization approaches are also generally time-consuming and involve substantial manual effort. Besides, these approaches show substantial limitations in terms of the number of requirements under consideration. There is some evidence suggesting that models could have a useful role in the analysis of requirements interdependency and their visualization, contributing towards the improvement of the overall requirements prioritization process. However, to date, just a handful of studies are focused on model-based strategies for requirements prioritization, considering only conflict-free functional requirements. This paper uses a meta-model-based approach to help the requirements analyst to model the requirements, stakeholders, and inter-dependencies between requirements. The model instance is then processed by our modified PageRank algorithm to prioritize the given requirements. An experiment was conducted, comparing our modified PageRank algorithm's efficiency and accuracy with five existing requirements prioritization methods. Besides, we also compared our results with a baseline prioritized list of 104 requirements prepared by 28 graduate students. Our results show that our modified PageRank algorithm was able to prioritize the requirements more effectively and efficiently than the other prioritization methods.
在软件开发过程中,需求优先级在推动项目成功方面起着重要的作用。文献表明,现有的需求优先排序方法忽略了重要的因素,比如需求之间的相互依赖性。现有的需求优先排序方法通常也很耗时,并且涉及大量的手工工作。此外,这些方法在考虑的需求数量方面显示出很大的局限性。有一些证据表明,模型可以在需求相互依赖性的分析及其可视化中发挥有用的作用,有助于改进总体需求优先化过程。然而,到目前为止,只有少数研究集中在基于模型的需求优先级策略上,只考虑无冲突的功能需求。本文使用基于元模型的方法来帮助需求分析人员对需求、涉众和需求之间的相互依赖关系进行建模。然后,模型实例由我们修改的PageRank算法处理,以确定给定需求的优先级。通过实验,将改进后的PageRank算法与现有的5种需求排序方法的效率和准确率进行了比较。此外,我们还将我们的结果与28名研究生准备的104个需求的基线优先列表进行了比较。我们的结果表明,我们改进的PageRank算法能够比其他优先排序方法更有效和高效地对需求进行优先排序。
{"title":"MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm","authors":"Muhammad Abbas, Irum Inayat, Naila Jan, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark","doi":"10.1109/APSEC48747.2019.00014","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00014","url":null,"abstract":"Requirements prioritization plays an important role in driving project success during software development. Literature reveals that existing requirements prioritization approaches ignore vital factors such as interdependency between requirements. Existing requirements prioritization approaches are also generally time-consuming and involve substantial manual effort. Besides, these approaches show substantial limitations in terms of the number of requirements under consideration. There is some evidence suggesting that models could have a useful role in the analysis of requirements interdependency and their visualization, contributing towards the improvement of the overall requirements prioritization process. However, to date, just a handful of studies are focused on model-based strategies for requirements prioritization, considering only conflict-free functional requirements. This paper uses a meta-model-based approach to help the requirements analyst to model the requirements, stakeholders, and inter-dependencies between requirements. The model instance is then processed by our modified PageRank algorithm to prioritize the given requirements. An experiment was conducted, comparing our modified PageRank algorithm's efficiency and accuracy with five existing requirements prioritization methods. Besides, we also compared our results with a baseline prioritized list of 104 requirements prepared by 28 graduate students. Our results show that our modified PageRank algorithm was able to prioritize the requirements more effectively and efficiently than the other prioritization methods.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124121229","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
Statistical Verification Framework for Platooning System of Systems with Uncertainty 不确定系统队列系统的统计验证框架
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00037
Sang Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae
Platooning system is a well-known technology for alleviating traffic congestion and increasing fuel efficiency by grouping vehicles. It has the major characteristics of Systems of Systems (SoS), such as uncertainty. Several internal and external factors of uncertainty exist in the platooning system, such as car accidents, network disconnections, and simultaneous requests from other platoons. These factors make it difficult to guarantee that the system operates correctly in unpredictable scenarios and environments. The existing techniques used to verify the platooning system have two limitations: 1) the lack of consideration of uncertainty in scenarios and environments; 2) the application of exhaustive verification techniques which are vulnerable to the state-explosion problem. Thus, we suggest a statistical verification framework for a platooning SoS to address the above two limitations. The proposed framework automatically generates platooning configurations and scenarios with internal and external uncertain factors considered, and bypasses the state-explosion problem using a statistical verification technique. In this study, experimental results showed that the proposed approach generates 50% more valid scenarios than pure random strategy. In addition, we found two types of undiscovered failures and their causes in the VENTOS platooning system. These results indicate that our approaches enable the deep analysis of the platooning management system.
队列行驶系统是一种众所周知的通过车辆分组来缓解交通拥堵和提高燃油效率的技术。它具有系统的系统(SoS)的主要特征,如不确定性。队列系统中存在一些内部和外部的不确定性因素,如车祸、网络中断、来自其他队列的同时请求等。这些因素使得难以保证系统在不可预测的场景和环境中正确运行。现有用于验证队列系统的技术存在两个局限性:1)缺乏对场景和环境的不确定性的考虑;2)穷尽验证技术的应用容易受到状态爆炸问题的影响。因此,我们提出了一个队列SoS的统计验证框架,以解决上述两个限制。该框架考虑了内部和外部不确定因素,自动生成队列配置和场景,并利用统计验证技术绕过状态爆炸问题。在本研究中,实验结果表明,该方法比纯随机策略产生的有效场景多50%。此外,我们还发现了两种未被发现的故障类型及其原因。这些结果表明,我们的方法能够对队列管理系统进行深入分析。
{"title":"Statistical Verification Framework for Platooning System of Systems with Uncertainty","authors":"Sang Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae","doi":"10.1109/APSEC48747.2019.00037","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00037","url":null,"abstract":"Platooning system is a well-known technology for alleviating traffic congestion and increasing fuel efficiency by grouping vehicles. It has the major characteristics of Systems of Systems (SoS), such as uncertainty. Several internal and external factors of uncertainty exist in the platooning system, such as car accidents, network disconnections, and simultaneous requests from other platoons. These factors make it difficult to guarantee that the system operates correctly in unpredictable scenarios and environments. The existing techniques used to verify the platooning system have two limitations: 1) the lack of consideration of uncertainty in scenarios and environments; 2) the application of exhaustive verification techniques which are vulnerable to the state-explosion problem. Thus, we suggest a statistical verification framework for a platooning SoS to address the above two limitations. The proposed framework automatically generates platooning configurations and scenarios with internal and external uncertain factors considered, and bypasses the state-explosion problem using a statistical verification technique. In this study, experimental results showed that the proposed approach generates 50% more valid scenarios than pure random strategy. In addition, we found two types of undiscovered failures and their causes in the VENTOS platooning system. These results indicate that our approaches enable the deep analysis of the platooning management system.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129847256","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
Investigating Cross-Repository Socially Connected Teams on GitHub 在GitHub上调查跨存储库社交连接团队
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00072
Duo Wang, Jian Cao, Shiyou Qian, Qing Qi
Teamwork is very important to software development. There are many studies focusing on different aspects of teamwork in open source software projects, but neglecting the fact that most teams of open source projects are temporary and dependent on the context of one specific project. Whether the collaboration of such teams can extend to different projects is highly doubted. In contrast, we are interested in long-lasting socially connected teams, whose members have steady social connections and have collaborated with each other on multiple projects. Therefore, we mine Cross-Repository Socially Connected (CRSC) teams on GitHub, the largest open-source project hosting platform. Community detection methods are used to mine CRSC teams from the developer network and more than 20,000 CRSC teams are discovered on GitHub. The productivity of such teams and how the hosting repository may influence them are studied. Their preferences for repositories are investigated. Moreover, we study the structures of these teams using complex network analysis methods. Our results indicate that CRSC teams are stable, highly productive and mature. Therefore, open-source project owners and recruiters can pay more attention to such teams.
团队合作对于软件开发非常重要。有许多研究关注开源软件项目中团队合作的不同方面,但忽略了这样一个事实,即大多数开源项目的团队都是临时的,并且依赖于一个特定项目的上下文。这些团队的合作是否能扩展到不同的项目,这一点非常值得怀疑。相比之下,我们感兴趣的是持久的社会联系团队,其成员有稳定的社会联系,并在多个项目中相互合作。因此,我们在最大的开源项目托管平台GitHub上挖掘跨存储库社会连接(CRSC)团队。社区检测方法用于从开发者网络中挖掘CRSC团队,在GitHub上发现了超过20,000个CRSC团队。研究了这些团队的生产力以及托管存储库如何影响他们。研究了他们对存储库的偏好。此外,我们使用复杂网络分析方法研究了这些团队的结构。我们的研究结果表明,CRSC团队是稳定的、高效的和成熟的。因此,开源项目的所有者和招聘者可以更加关注这样的团队。
{"title":"Investigating Cross-Repository Socially Connected Teams on GitHub","authors":"Duo Wang, Jian Cao, Shiyou Qian, Qing Qi","doi":"10.1109/APSEC48747.2019.00072","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00072","url":null,"abstract":"Teamwork is very important to software development. There are many studies focusing on different aspects of teamwork in open source software projects, but neglecting the fact that most teams of open source projects are temporary and dependent on the context of one specific project. Whether the collaboration of such teams can extend to different projects is highly doubted. In contrast, we are interested in long-lasting socially connected teams, whose members have steady social connections and have collaborated with each other on multiple projects. Therefore, we mine Cross-Repository Socially Connected (CRSC) teams on GitHub, the largest open-source project hosting platform. Community detection methods are used to mine CRSC teams from the developer network and more than 20,000 CRSC teams are discovered on GitHub. The productivity of such teams and how the hosting repository may influence them are studied. Their preferences for repositories are investigated. Moreover, we study the structures of these teams using complex network analysis methods. Our results indicate that CRSC teams are stable, highly productive and mature. Therefore, open-source project owners and recruiters can pay more attention to such teams.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116514773","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-Driven Engineering for Delta-Oriented Software Product Lines 面向增量的软件产品线的模型驱动工程
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00057
M. R. Setyautami, Rafiano R. Rubiantoro, A. Azurat
Software product line engineering (SPLE) is an approach in software development that produces various products based on commonality and variability. SPLE maintains the product variations within two main phases: domain engineering and application engineering. Lack of adequate technology and tools support is one of the problems in adopting SPLE. In this research, a model-driven approach based on delta-oriented programming is proposed for SPLE. The process starts with the domain analysis phase by defining a feature diagram and Unified Modeling Language (UML) based on existing systems. While those models represent the problem domain, delta-oriented programming with abstract behavioral specification? (ABS) language is used in the solution domain. This approach is supported by automated model transformations, which transform the feature diagram and UML to ABS models. A code generator mechanism is also used to produce a running application based on ABS models. When the user selects features in this application, our tools generate the running application based on those selections. We provide a running example, a charity organization system, as a case study. Therefore, this research proposes an entire SPLE process based on a model-driven approach that covers the problem and solution domains and produces a running application.
软件产品线工程(SPLE)是软件开发中的一种方法,它基于共性和可变性生产各种产品。SPLE在两个主要阶段维护产品的变化:领域工程和应用工程。缺乏足够的技术和工具支持是采用SPLE的问题之一。在本研究中,提出了一种基于面向增量编程的模型驱动方法。该过程从领域分析阶段开始,通过定义基于现有系统的特征图和统一建模语言(UML)。当这些模型表示问题域时,具有抽象行为规范的面向增量的编程?(ABS)语言在解决方案域中使用。这种方法得到了自动模型转换的支持,它将特征图和UML转换为ABS模型。采用代码生成器机制生成基于ABS模型的可运行应用程序。当用户选择此应用程序中的特性时,我们的工具基于这些选择生成正在运行的应用程序。我们提供了一个运行的例子,一个慈善组织系统,作为案例研究。因此,本研究提出了一个基于模型驱动方法的完整SPLE过程,该过程涵盖了问题和解决方案领域,并产生了一个运行的应用程序。
{"title":"Model-Driven Engineering for Delta-Oriented Software Product Lines","authors":"M. R. Setyautami, Rafiano R. Rubiantoro, A. Azurat","doi":"10.1109/APSEC48747.2019.00057","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00057","url":null,"abstract":"Software product line engineering (SPLE) is an approach in software development that produces various products based on commonality and variability. SPLE maintains the product variations within two main phases: domain engineering and application engineering. Lack of adequate technology and tools support is one of the problems in adopting SPLE. In this research, a model-driven approach based on delta-oriented programming is proposed for SPLE. The process starts with the domain analysis phase by defining a feature diagram and Unified Modeling Language (UML) based on existing systems. While those models represent the problem domain, delta-oriented programming with abstract behavioral specification? (ABS) language is used in the solution domain. This approach is supported by automated model transformations, which transform the feature diagram and UML to ABS models. A code generator mechanism is also used to produce a running application based on ABS models. When the user selects features in this application, our tools generate the running application based on those selections. We provide a running example, a charity organization system, as a case study. Therefore, this research proposes an entire SPLE process based on a model-driven approach that covers the problem and solution domains and produces a running application.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122870473","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
Deep Semantic Feature Learning with Embedded Static Metrics for Software Defect Prediction 基于嵌入式静态度量的深度语义特征学习用于软件缺陷预测
Pub Date : 2019-12-01 DOI: 10.1109/APSEC48747.2019.00041
Guisheng Fan, Xuyang Diao, Huiqun Yu, Kang Yang, Liqiong Chen
Software defect prediction, which locates defective code snippets, can assist developers in finding potential bugs and assigning their testing efforts. Traditional defect prediction features are static code metrics, which only contain statistic information of programs and fail to capture semantics in programs, leading to the degradation of defect prediction performance. To take full advantage of the semantics and static metrics of programs, we propose a framework called Defect Prediction via Attention Mechanism (DP-AM) in this paper. Specifically, DPAM first extracts vectors which are then encoded as digital vectors by mapping and word embedding from abstract syntax trees (ASTs) of programs. Then it feeds these numerical vectors into Recurrent Neural Network to automatically learn semantic features of programs. After that, it applies self-attention mechanism to further build relationship among these features. Furthermore, it employs global attention mechanism to generate significant features among them. Finally, we combine these semantic features with traditional static metrics for accurate software defect prediction. We evaluate our method in terms of F1-measure on seven open-source Java projects in Apache. Our experimental results show that DP-AM improves F1-measure by 11% in average, compared with the state-of-the-art methods.
软件缺陷预测,定位有缺陷的代码片段,可以帮助开发人员发现潜在的错误并分配他们的测试工作。传统的缺陷预测特征是静态的代码度量,仅包含程序的统计信息,无法捕捉程序中的语义,导致缺陷预测性能下降。为了充分利用程序的语义和静态度量,本文提出了一个基于注意机制的缺陷预测框架(DP-AM)。具体来说,DPAM首先从程序的抽象语法树(ast)中提取向量,然后通过映射和词嵌入将向量编码为数字向量。然后将这些数值向量输入到递归神经网络中,自动学习程序的语义特征。然后,应用自关注机制进一步建立这些特征之间的关系。此外,它还利用全局注意机制来生成其中的显著特征。最后,我们将这些语义特征与传统的静态度量相结合,以实现准确的软件缺陷预测。我们在Apache中的7个开源Java项目中根据f1度量来评估我们的方法。我们的实验结果表明,与最先进的方法相比,DP-AM平均提高了11%的f1测量。
{"title":"Deep Semantic Feature Learning with Embedded Static Metrics for Software Defect Prediction","authors":"Guisheng Fan, Xuyang Diao, Huiqun Yu, Kang Yang, Liqiong Chen","doi":"10.1109/APSEC48747.2019.00041","DOIUrl":"https://doi.org/10.1109/APSEC48747.2019.00041","url":null,"abstract":"Software defect prediction, which locates defective code snippets, can assist developers in finding potential bugs and assigning their testing efforts. Traditional defect prediction features are static code metrics, which only contain statistic information of programs and fail to capture semantics in programs, leading to the degradation of defect prediction performance. To take full advantage of the semantics and static metrics of programs, we propose a framework called Defect Prediction via Attention Mechanism (DP-AM) in this paper. Specifically, DPAM first extracts vectors which are then encoded as digital vectors by mapping and word embedding from abstract syntax trees (ASTs) of programs. Then it feeds these numerical vectors into Recurrent Neural Network to automatically learn semantic features of programs. After that, it applies self-attention mechanism to further build relationship among these features. Furthermore, it employs global attention mechanism to generate significant features among them. Finally, we combine these semantic features with traditional static metrics for accurate software defect prediction. We evaluate our method in terms of F1-measure on seven open-source Java projects in Apache. Our experimental results show that DP-AM improves F1-measure by 11% in average, compared with the state-of-the-art methods.","PeriodicalId":325642,"journal":{"name":"2019 26th Asia-Pacific Software Engineering Conference (APSEC)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115996139","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
期刊
2019 26th Asia-Pacific Software Engineering Conference (APSEC)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1