首页 > 最新文献

2013 22nd Australian Software Engineering Conference最新文献

英文 中文
An Empirical Investigation on the Simulation of Priority and Shortest-Job-First Scheduling for Cloud-Based Software Systems 基于云的软件系统优先级和最短作业优先调度仿真的实证研究
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.19
J. Ru, J. Keung
Background: Given the dynamics in resource allocation schemes offered by cloud computing, effective scheduling algorithms are important to utilize these benefits. Aim: In this paper, we propose a scheduling algorithm integrated with task grouping, priority-aware and SJF (shortest-job-first) to reduce the waiting time and make span, as well as to maximize resource utilization. Method: Scheduling is responsible for allocating the tasks to the best suitable resources with consideration of some dynamic parameters, restrictions and demands, such as network restriction and resource processing capability as well as waiting time. The proposed scheduling algorithm is integrated with task grouping, prioritization of bandwidth awareness and SJF algorithm, which aims at reducing processing time, waiting time and overhead. In the experiment, tasks are generated using Gaussian distribution and resources are created using Random distribution as well as CloudSim framework is used to simulate the proposed algorithm under various conditions. Results are then compared with existing algorithms for evaluation. Results: In comparison with existing task grouping algorithms, results show that the proposed algorithm waiting time and processing time decreased significantly (over 30%). Conclusion: The proposed method effectively minimizes waiting time and processing time and reduces processing cost to achieve optimum resources utilization and minimum overhead, as well as to reduce influence of bandwidth bottleneck in communication.
背景:考虑到云计算提供的动态资源分配方案,有效的调度算法对于利用这些优势非常重要。目的:本文提出了一种结合任务分组、优先级感知和SJF (short- job-first)的调度算法,以减少等待时间和制造跨度,实现资源利用率的最大化。方法:调度是在考虑网络限制、资源处理能力、等待时间等动态参数、限制条件和需求的情况下,将任务分配到最合适的资源上。该调度算法集成了任务分组、带宽感知优先级和SJF算法,旨在减少处理时间、等待时间和开销。在实验中,使用高斯分布生成任务,使用随机分布创建资源,并使用CloudSim框架在各种条件下模拟所提出的算法。然后将结果与现有算法进行比较以进行评估。结果:与已有的任务分组算法相比,所提算法的等待时间和处理时间明显减少(超过30%)。结论:该方法有效地减少了等待时间和处理时间,降低了处理成本,实现了资源的最佳利用和最小开销,减少了通信中带宽瓶颈的影响。
{"title":"An Empirical Investigation on the Simulation of Priority and Shortest-Job-First Scheduling for Cloud-Based Software Systems","authors":"J. Ru, J. Keung","doi":"10.1109/ASWEC.2013.19","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.19","url":null,"abstract":"Background: Given the dynamics in resource allocation schemes offered by cloud computing, effective scheduling algorithms are important to utilize these benefits. Aim: In this paper, we propose a scheduling algorithm integrated with task grouping, priority-aware and SJF (shortest-job-first) to reduce the waiting time and make span, as well as to maximize resource utilization. Method: Scheduling is responsible for allocating the tasks to the best suitable resources with consideration of some dynamic parameters, restrictions and demands, such as network restriction and resource processing capability as well as waiting time. The proposed scheduling algorithm is integrated with task grouping, prioritization of bandwidth awareness and SJF algorithm, which aims at reducing processing time, waiting time and overhead. In the experiment, tasks are generated using Gaussian distribution and resources are created using Random distribution as well as CloudSim framework is used to simulate the proposed algorithm under various conditions. Results are then compared with existing algorithms for evaluation. Results: In comparison with existing task grouping algorithms, results show that the proposed algorithm waiting time and processing time decreased significantly (over 30%). Conclusion: The proposed method effectively minimizes waiting time and processing time and reduces processing cost to achieve optimum resources utilization and minimum overhead, as well as to reduce influence of bandwidth bottleneck in communication.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"697 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124151542","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}
引用次数: 44
A Taxonomy of Data Quality Challenges in Empirical Software Engineering 实证软件工程中数据质量挑战的分类
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.21
M. Bosu, Stephen G. MacDonell
Reliable empirical models such as those used in software effort estimation or defect prediction are inherently dependent on the data from which they are built. As demands for process and product improvement continue to grow, the quality of the data used in measurement and prediction systems warrants increasingly close scrutiny. In this paper we propose a taxonomy of data quality challenges in empirical software engineering, based on an extensive review of prior research. We consider current assessment techniques for each quality issue and proposed mechanisms to address these issues, where available. Our taxonomy classifies data quality issues into three broad areas: first, characteristics of data that mean they are not fit for modeling, second, data set characteristics that lead to concerns about the suitability of applying a given model to another data set, and third, factors that prevent or limit data accessibility and trust. We identify this latter area as of particular need in terms of further research.
可靠的经验模型,例如那些在软件工作评估或缺陷预测中使用的模型,本质上依赖于构建它们的数据。随着对过程和产品改进的需求不断增长,测量和预测系统中使用的数据质量需要越来越密切的审查。在本文中,基于对先前研究的广泛回顾,我们提出了经验软件工程中数据质量挑战的分类。我们考虑每个质量问题的当前评估技术,并在可用的情况下提出解决这些问题的机制。我们的分类法将数据质量问题分为三大类:第一,数据特征意味着它们不适合建模;第二,数据集特征导致对将给定模型应用于另一个数据集的适用性的担忧;第三,阻止或限制数据可访问性和信任的因素。我们认为后一个领域在进一步研究方面特别需要。
{"title":"A Taxonomy of Data Quality Challenges in Empirical Software Engineering","authors":"M. Bosu, Stephen G. MacDonell","doi":"10.1109/ASWEC.2013.21","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.21","url":null,"abstract":"Reliable empirical models such as those used in software effort estimation or defect prediction are inherently dependent on the data from which they are built. As demands for process and product improvement continue to grow, the quality of the data used in measurement and prediction systems warrants increasingly close scrutiny. In this paper we propose a taxonomy of data quality challenges in empirical software engineering, based on an extensive review of prior research. We consider current assessment techniques for each quality issue and proposed mechanisms to address these issues, where available. Our taxonomy classifies data quality issues into three broad areas: first, characteristics of data that mean they are not fit for modeling, second, data set characteristics that lead to concerns about the suitability of applying a given model to another data set, and third, factors that prevent or limit data accessibility and trust. We identify this latter area as of particular need in terms of further research.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128314427","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}
引用次数: 34
Significant Requirements Engineering Practices for Software Development Outsourcing 软件开发外包的重要需求工程实践
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.25
J. Iqbal, R. Ahmad, M. Nasir, M. A. Noor
The volume of software development outsourcing is growing enormously owing to the associated benefits of outsourcing and limitations of organizations. However, a large number of the projects outsourced for software development are failed to achieve anticipated results. In most of such cases, the reasons for failure are traced back to the Requirements Engineering (RE) process. In spite of this state of affairs, adequate efforts have not been made to avoid the failure of outsourced software development projects due to RE process issues. This research has been conducted with the aim of cultivating the RE process for software development outsourcing by identifying the significant RE practices for this process. The study is based upon Sommerville and Sawyer's RE practices for six key areas of the RE process. A survey research method has been used to collect data from 108 practitioners belonging to 18 national and multinational organizations associated with software development outsourcing. After analysis of the obtained data, we have identified the RE practices which are significant in order to improve the RE process for software development outsourcing and hence to achieve desired results.
由于外包的相关好处和组织的局限性,软件开发外包的数量正在急剧增长。然而,大量外包的软件开发项目未能达到预期的结果。在大多数情况下,失败的原因可以追溯到需求工程(RE)过程。尽管存在这种情况,但是没有做出足够的努力来避免由于RE过程问题而导致的外包软件开发项目的失败。本研究的目的是通过确定软件开发外包过程中重要的可再生资源实践来培养可再生资源过程。该研究基于Sommerville和Sawyer对可再生能源过程的六个关键领域的可再生能源实践。一种调查研究方法被用来收集来自18个国家和跨国组织的108名实践者的数据,这些组织与软件开发外包有关。在对获得的数据进行分析之后,我们已经确定了可再生资源实践,这些实践对于改进软件开发外包的可再生资源过程,从而达到预期的结果是非常重要的。
{"title":"Significant Requirements Engineering Practices for Software Development Outsourcing","authors":"J. Iqbal, R. Ahmad, M. Nasir, M. A. Noor","doi":"10.1109/ASWEC.2013.25","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.25","url":null,"abstract":"The volume of software development outsourcing is growing enormously owing to the associated benefits of outsourcing and limitations of organizations. However, a large number of the projects outsourced for software development are failed to achieve anticipated results. In most of such cases, the reasons for failure are traced back to the Requirements Engineering (RE) process. In spite of this state of affairs, adequate efforts have not been made to avoid the failure of outsourced software development projects due to RE process issues. This research has been conducted with the aim of cultivating the RE process for software development outsourcing by identifying the significant RE practices for this process. The study is based upon Sommerville and Sawyer's RE practices for six key areas of the RE process. A survey research method has been used to collect data from 108 practitioners belonging to 18 national and multinational organizations associated with software development outsourcing. After analysis of the obtained data, we have identified the RE practices which are significant in order to improve the RE process for software development outsourcing and hence to achieve desired results.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132764701","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}
引用次数: 19
Decomposing Distributed Software Architectures for the Determination and Incorporation of Security and Other Non-functional Requirements 分解分布式软件架构,以确定和合并安全性和其他非功能需求
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.14
Anton V. Uzunov, K. Falkner, E. Fernández
Non-functional requirements (NFRs) such as security, reliability and performance play a crucial role in the development of modern distributed systems. The burden of incorporating NFRs into a system's architecture, as well the determination of new design-level NFRs, can be greatly eased by the use of a structured approach providing guidance to developers. Such structured approaches, however, require equally structured system characterisations. This is especially important for distributed systems, which are inherently complex and multi-faceted. In this paper we propose a form of characterisation which we term architectural decomposition, and present a multi-level conceptual framework for decomposing distributed software architectures. Using the framework for decomposing architectures can help guide the incorporation and, via complementary analysis processes, the determination of NFRs at the architectural level. We describe each of the levels of the framework in turn, propose a complementary analysis process for security based on threat modelling, as well as a process for using the framework itself, and demonstrate the utility of our approach via an example derived from a real-life distributed architecture.
安全性、可靠性和性能等非功能需求在现代分布式系统的开发中起着至关重要的作用。将nfr合并到系统体系结构中的负担,以及新的设计级nfr的确定,可以通过使用向开发人员提供指导的结构化方法大大减轻。然而,这种结构化方法需要同样结构化的系统特征。这对于分布式系统尤其重要,因为分布式系统本质上是复杂和多方面的。在本文中,我们提出了一种称为架构分解的表征形式,并提出了一个用于分解分布式软件架构的多级概念框架。使用分解体系结构的框架可以帮助指导合并,并通过互补的分析过程,在体系结构级别确定nfr。我们依次描述了框架的每个级别,提出了一个基于威胁建模的安全补充分析过程,以及一个使用框架本身的过程,并通过一个来自现实生活中的分布式架构的示例演示了我们方法的实用性。
{"title":"Decomposing Distributed Software Architectures for the Determination and Incorporation of Security and Other Non-functional Requirements","authors":"Anton V. Uzunov, K. Falkner, E. Fernández","doi":"10.1109/ASWEC.2013.14","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.14","url":null,"abstract":"Non-functional requirements (NFRs) such as security, reliability and performance play a crucial role in the development of modern distributed systems. The burden of incorporating NFRs into a system's architecture, as well the determination of new design-level NFRs, can be greatly eased by the use of a structured approach providing guidance to developers. Such structured approaches, however, require equally structured system characterisations. This is especially important for distributed systems, which are inherently complex and multi-faceted. In this paper we propose a form of characterisation which we term architectural decomposition, and present a multi-level conceptual framework for decomposing distributed software architectures. Using the framework for decomposing architectures can help guide the incorporation and, via complementary analysis processes, the determination of NFRs at the architectural level. We describe each of the levels of the framework in turn, propose a complementary analysis process for security based on threat modelling, as well as a process for using the framework itself, and demonstrate the utility of our approach via an example derived from a real-life distributed architecture.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114890861","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}
引用次数: 12
A Method of Specifying and Classifying Requirements Change 一种描述和分类需求变更的方法
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.29
Shalinka Jayatilleke, R. Lai
Change is one aspect of business that is inevitable. The volatile nature of business requirements is considered one of the main contributors to information technology project failure. One of the key reasons for difficulty in managing change is the lack of adequate methods to communicate change from business to the IT department. In this paper, we present an approach to support change communication and elicitation through a change specification and classification method. The specification framework is based on an onto-terminological concept which is a combination of both ontology and terminology. It is constructed using an abstraction of the Goal Question Metrics representing the linguistic function (terminology) whilst an abstraction of the Resource Description Framework (representing ontology) is used to elaborate the logical connection of the terms. Through this approach, we are able to describe requirements change using clear guidelines and also provide a common communication medium for both IT and business people.
变化是商业不可避免的一个方面。业务需求的易变特性被认为是导致信息技术项目失败的主要原因之一。管理变更困难的关键原因之一是缺乏足够的方法来将变更从业务部门传达给IT部门。在本文中,我们提出了一种通过变更说明和分类方法来支持变更沟通和启发的方法。规范框架基于本体术语概念,它是本体和术语的结合。它使用抽象的目标问题度量来表示语言功能(术语),而抽象的资源描述框架(表示本体)用于详细说明术语之间的逻辑联系。通过这种方法,我们能够使用清晰的指导方针描述需求变更,并为IT人员和业务人员提供通用的沟通媒介。
{"title":"A Method of Specifying and Classifying Requirements Change","authors":"Shalinka Jayatilleke, R. Lai","doi":"10.1109/ASWEC.2013.29","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.29","url":null,"abstract":"Change is one aspect of business that is inevitable. The volatile nature of business requirements is considered one of the main contributors to information technology project failure. One of the key reasons for difficulty in managing change is the lack of adequate methods to communicate change from business to the IT department. In this paper, we present an approach to support change communication and elicitation through a change specification and classification method. The specification framework is based on an onto-terminological concept which is a combination of both ontology and terminology. It is constructed using an abstraction of the Goal Question Metrics representing the linguistic function (terminology) whilst an abstraction of the Resource Description Framework (representing ontology) is used to elaborate the logical connection of the terms. Through this approach, we are able to describe requirements change using clear guidelines and also provide a common communication medium for both IT and business people.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"237 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123041618","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
Productive Development of Dynamic Program Analysis Tools with DiSL 基于DiSL的动态程序分析工具的生产性开发
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.12
Aibek Sarimbekov, Y. Zheng, Danilo Ansaloni, L. Bulej, L. Marek, Walter Binder, P. Tůma, Zhengwei Qi
Dynamic program analysis tools serve many important software engineering tasks such as profiling, debugging, testing, program comprehension, and reverse engineering. Many dynamic analysis tools rely on program instrumentation and are implemented using low-level instrumentation libraries, resulting in tedious and error-prone tool development. The recently released Domain-Specific Language for Instrumentation (DiSL) was designed to boost the productivity of tool developers targeting the Java Virtual Machine, without impairing the performance of the resulting tools. DiSL offers high-level programming abstractions especially designed for development of instrumentation-based dynamic analysis tools. In this paper, we present a controlled experiment aimed at quantifying the impact of the DiSL programming model and high-level abstractions on the development of dynamic program analysis instrumentations. The experiment results show that compared with a prevailing, state-of-the-art instrumentation library, the DiSL users were able to complete instrumentation development tasks faster, and with more correct results.
动态程序分析工具服务于许多重要的软件工程任务,如概要分析、调试、测试、程序理解和逆向工程。许多动态分析工具依赖于程序插装,并使用低级插装库实现,这导致了冗长且容易出错的工具开发。最近发布的领域专用工具语言(Domain-Specific Language for Instrumentation, DiSL)旨在提高针对Java虚拟机的工具开发人员的工作效率,同时不损害最终工具的性能。DiSL提供了高级编程抽象,特别为开发基于仪器的动态分析工具而设计。在本文中,我们提出了一个对照实验,旨在量化DiSL编程模型和高级抽象对动态程序分析仪器开发的影响。实验结果表明,与目前流行的最先进的仪器库相比,DiSL用户能够更快地完成仪器开发任务,并且得到更准确的结果。
{"title":"Productive Development of Dynamic Program Analysis Tools with DiSL","authors":"Aibek Sarimbekov, Y. Zheng, Danilo Ansaloni, L. Bulej, L. Marek, Walter Binder, P. Tůma, Zhengwei Qi","doi":"10.1109/ASWEC.2013.12","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.12","url":null,"abstract":"Dynamic program analysis tools serve many important software engineering tasks such as profiling, debugging, testing, program comprehension, and reverse engineering. Many dynamic analysis tools rely on program instrumentation and are implemented using low-level instrumentation libraries, resulting in tedious and error-prone tool development. The recently released Domain-Specific Language for Instrumentation (DiSL) was designed to boost the productivity of tool developers targeting the Java Virtual Machine, without impairing the performance of the resulting tools. DiSL offers high-level programming abstractions especially designed for development of instrumentation-based dynamic analysis tools. In this paper, we present a controlled experiment aimed at quantifying the impact of the DiSL programming model and high-level abstractions on the development of dynamic program analysis instrumentations. The experiment results show that compared with a prevailing, state-of-the-art instrumentation library, the DiSL users were able to complete instrumentation development tasks faster, and with more correct results.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133910478","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
Development of Robust Traceability Benchmarks 开发健壮的可追溯性基准
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.26
Xiaofan Chen, J. Hosking, J. Grundy, R. Amor
Traceability benchmarks are essential for the evaluation of traceability recovery techniques. This includes the validation of an individual trace ability technique itself and the objective comparison of the technique with other traceability techniques. However, it is generally acknowledged that it is a real challenge for researchers to obtain or build meaningful and robust benchmarks. This is because of the difficulty of obtaining or creating suitable benchmarks. In this paper, we describe an approach to enable researchers to establish affordable and robust benchmarks. We have designed rigorous manual identification and verification strategies to determine whether or not a link is correct. We have developed a formula to calculate the probability of errors in benchmarks. Analysis of error probability results shows that our approach can produce high quality benchmarks, and our strategies significantly reduce error probability in them.
可追溯性基准对于可追溯性恢复技术的评估是必不可少的。这包括单个跟踪能力技术本身的验证,以及该技术与其他跟踪技术的客观比较。然而,人们普遍认为,对于研究人员来说,获得或建立有意义和可靠的基准是一个真正的挑战。这是因为很难获得或创建合适的基准。在本文中,我们描述了一种方法,使研究人员能够建立负担得起的和强大的基准。我们设计了严格的手动识别和验证策略来确定链接是否正确。我们开发了一个公式来计算基准测试中的错误概率。对错误概率结果的分析表明,我们的方法可以产生高质量的基准测试,并且我们的策略显着降低了其中的错误概率。
{"title":"Development of Robust Traceability Benchmarks","authors":"Xiaofan Chen, J. Hosking, J. Grundy, R. Amor","doi":"10.1109/ASWEC.2013.26","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.26","url":null,"abstract":"Traceability benchmarks are essential for the evaluation of traceability recovery techniques. This includes the validation of an individual trace ability technique itself and the objective comparison of the technique with other traceability techniques. However, it is generally acknowledged that it is a real challenge for researchers to obtain or build meaningful and robust benchmarks. This is because of the difficulty of obtaining or creating suitable benchmarks. In this paper, we describe an approach to enable researchers to establish affordable and robust benchmarks. We have designed rigorous manual identification and verification strategies to determine whether or not a link is correct. We have developed a formula to calculate the probability of errors in benchmarks. Analysis of error probability results shows that our approach can produce high quality benchmarks, and our strategies significantly reduce error probability in them.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132309036","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
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java OwnKit:推断Java的模块化可检查所有权注释
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.30
Constantine Dymnikov, David J. Pearce, A. Potanin
Ownership and related systems impose restrictions on the object graph that can help improve program structure, exploit concurrency and verify software. Such systems rely on the presence of appropriate ownership annotations in the source code. Unfortunately, manually adding ownership annotations to legacy systems is a tedious process. Previous attempts at automatically inferring such ownership systems do not produce modularly checkable annotations (i.e. which allow classes to be checked in isolation) making them difficult to incorporate into day-to-day development. In this paper, we present Own Kit - a system for automatically inferring ownership annotations which are modularly checkable. We describe and evaluate our approach on a number of real-world benchmarks and compare against an existing system.
所有权和相关系统对对象图施加了限制,这有助于改进程序结构、开发并发性和验证软件。这样的系统依赖于源代码中适当的所有权注释。不幸的是,手动向遗留系统添加所有权注释是一个繁琐的过程。以前自动推断这种所有权系统的尝试并没有产生模块化的可检查注释(即允许隔离地检查类),这使得它们很难合并到日常开发中。在本文中,我们提出了Own Kit——一个自动推断所有权注释的系统,它是模块化可检查的。我们在许多现实世界的基准上描述和评估我们的方法,并与现有系统进行比较。
{"title":"OwnKit: Inferring Modularly Checkable Ownership Annotations for Java","authors":"Constantine Dymnikov, David J. Pearce, A. Potanin","doi":"10.1109/ASWEC.2013.30","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.30","url":null,"abstract":"Ownership and related systems impose restrictions on the object graph that can help improve program structure, exploit concurrency and verify software. Such systems rely on the presence of appropriate ownership annotations in the source code. Unfortunately, manually adding ownership annotations to legacy systems is a tedious process. Previous attempts at automatically inferring such ownership systems do not produce modularly checkable annotations (i.e. which allow classes to be checked in isolation) making them difficult to incorporate into day-to-day development. In this paper, we present Own Kit - a system for automatically inferring ownership annotations which are modularly checkable. We describe and evaluate our approach on a number of real-world benchmarks and compare against an existing system.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125116413","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
A Model-Driven Approach for Ensuring Change Traceability and Multi-model Consistency 确保变更可追溯性和多模型一致性的模型驱动方法
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.24
Claudia Szabo, Yufei Chen
In model driven engineering, high-level models of an application are constructed to enable reasoning about functional and non-functional requirements independently of implementation issues and concerns. This allows for reduced maintenance, shortens development time, and permits automated model updates, system model executions, and impact assessment. Part of model driven engineering, multi-modeling integrates models that abstract various aspects of the system, such as I/O, behavioral, and functional among others, at different levels of granularity and using various domain specific modeling languages. An important challenge is to understand the relationship between these models towards preserving multi-model consistency as changes in one model affect other models in the multi-model. This paper presents a multi-modeling architecture that captures model relationships at syntactic and semantic levels. We define a taxonomy of change effects that relies on a relationship correspondence meta-model to highlight and trace the impact of changes across various modeling environments. Following the correspondence meta-model and associated change effects, our prototype implementation ensures that multi-model consistency is met and notifies stakeholders of significant changes. Our case study of a submarine tracking system checks multi model consistency and highlights the impact of changes across system modeling tools that capture its functional and behavioral aspects among others. Our experiments show the feasibility of our approach while highlighting important challenges.
在模型驱动的工程中,构建应用程序的高级模型,以便独立于实现问题和关注点,对功能性和非功能性需求进行推理。这允许减少维护,缩短开发时间,并允许自动模型更新,系统模型执行和影响评估。作为模型驱动工程的一部分,多建模集成了在不同粒度级别上抽象系统各个方面的模型,例如I/O、行为和功能等,并使用各种特定于领域的建模语言。一个重要的挑战是理解这些模型之间的关系,以保持多模型一致性,因为一个模型中的更改会影响多模型中的其他模型。本文提出了一种多建模体系结构,在语法和语义层面捕捉模型关系。我们定义了一个变化影响的分类法,它依赖于一个关系对应元模型来突出显示和跟踪不同建模环境中变化的影响。遵循通信元模型和相关的变更效果,我们的原型实现确保满足多模型一致性,并通知涉众重大变更。我们对潜艇跟踪系统的案例研究检查了多模型一致性,并强调了跨系统建模工具的变化的影响,这些工具捕获了其功能和行为方面。我们的实验表明了我们的方法的可行性,同时突出了重要的挑战。
{"title":"A Model-Driven Approach for Ensuring Change Traceability and Multi-model Consistency","authors":"Claudia Szabo, Yufei Chen","doi":"10.1109/ASWEC.2013.24","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.24","url":null,"abstract":"In model driven engineering, high-level models of an application are constructed to enable reasoning about functional and non-functional requirements independently of implementation issues and concerns. This allows for reduced maintenance, shortens development time, and permits automated model updates, system model executions, and impact assessment. Part of model driven engineering, multi-modeling integrates models that abstract various aspects of the system, such as I/O, behavioral, and functional among others, at different levels of granularity and using various domain specific modeling languages. An important challenge is to understand the relationship between these models towards preserving multi-model consistency as changes in one model affect other models in the multi-model. This paper presents a multi-modeling architecture that captures model relationships at syntactic and semantic levels. We define a taxonomy of change effects that relies on a relationship correspondence meta-model to highlight and trace the impact of changes across various modeling environments. Following the correspondence meta-model and associated change effects, our prototype implementation ensures that multi-model consistency is met and notifies stakeholders of significant changes. Our case study of a submarine tracking system checks multi model consistency and highlights the impact of changes across system modeling tools that capture its functional and behavioral aspects among others. Our experiments show the feasibility of our approach while highlighting important challenges.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129183228","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
Predicting Fault-Prone Software Modules with Rank Sum Classification 基于秩和分类的易故障软件模块预测
Pub Date : 2013-06-04 DOI: 10.1109/ASWEC.2013.33
J. Cahill, J. Hogan, Richard N. Thomas
The detection and correction of defects remains among the most time consuming and expensive aspects of software development. Extensive automated testing and code inspections may mitigate their effect, but some code fragments are necessarily more likely to be faulty than others, and automated identification of fault prone modules helps to focus testing and inspections, thus limiting wasted effort and potentially improving detection rates. However, software metrics data is often extremely noisy, with enormous imbalances in the size of the positive and negative classes. In this work, we present a new approach to predictive modelling of fault proneness in software modules, introducing a new feature representation to overcome some of these issues. This rank sum representation offers improved or at worst comparable performance to earlier approaches for standard data sets, and readily allows the user to choose an appropriate trade-off between precision and recall to optimise inspection effort to suit different testing environments. The method is evaluated using the NASA Metrics Data Program (MDP) data sets, and performance is compared with existing studies based on the Support Vector Machine (SVM) and Naïve Bayes (NB) Classifiers, and with our own comprehensive evaluation of these methods.
缺陷的检测和纠正仍然是软件开发中最耗时和最昂贵的方面之一。广泛的自动化测试和代码检查可能会减轻它们的影响,但是一些代码片段必然比其他代码片段更有可能出错,而容易出错模块的自动识别有助于集中测试和检查,从而限制了浪费的努力,并潜在地提高了检测率。然而,软件度量数据通常非常嘈杂,在正类和负类的大小上存在巨大的不平衡。在这项工作中,我们提出了一种新的软件模块故障倾向预测建模方法,引入了一种新的特征表示来克服这些问题。这种秩和表示为标准数据集提供了改进的或最坏的可比较性能,并且很容易允许用户在精度和召回率之间选择适当的权衡,以优化检查工作,以适应不同的测试环境。使用NASA Metrics Data Program (MDP)数据集对该方法进行了评估,并将其性能与基于支持向量机(SVM)和Naïve贝叶斯(NB)分类器的现有研究进行了比较,并对这些方法进行了我们自己的综合评估。
{"title":"Predicting Fault-Prone Software Modules with Rank Sum Classification","authors":"J. Cahill, J. Hogan, Richard N. Thomas","doi":"10.1109/ASWEC.2013.33","DOIUrl":"https://doi.org/10.1109/ASWEC.2013.33","url":null,"abstract":"The detection and correction of defects remains among the most time consuming and expensive aspects of software development. Extensive automated testing and code inspections may mitigate their effect, but some code fragments are necessarily more likely to be faulty than others, and automated identification of fault prone modules helps to focus testing and inspections, thus limiting wasted effort and potentially improving detection rates. However, software metrics data is often extremely noisy, with enormous imbalances in the size of the positive and negative classes. In this work, we present a new approach to predictive modelling of fault proneness in software modules, introducing a new feature representation to overcome some of these issues. This rank sum representation offers improved or at worst comparable performance to earlier approaches for standard data sets, and readily allows the user to choose an appropriate trade-off between precision and recall to optimise inspection effort to suit different testing environments. The method is evaluated using the NASA Metrics Data Program (MDP) data sets, and performance is compared with existing studies based on the Support Vector Machine (SVM) and Naïve Bayes (NB) Classifiers, and with our own comprehensive evaluation of these methods.","PeriodicalId":394020,"journal":{"name":"2013 22nd Australian Software Engineering Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133959560","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
期刊
2013 22nd Australian Software Engineering Conference
全部 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