2015 24th Australasian Software Engineering Conference最新文献

Simplification and Verification of Software and Data Structure Models in the Engineering Domain 工程领域软件和数据结构模型的简化与验证

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.25

Muzaffar Igamberdiev, G. Grossmann, M. Stumptner

{"title":"Simplification and Verification of Software and Data Structure Models in the Engineering Domain","authors":"Muzaffar Igamberdiev, G. Grossmann, M. Stumptner","doi":"10.1109/ASWEC.2015.25","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.25","url":null,"abstract":"During the past decade, much effort has been invested in developing standards to overcome data and software interoperability barriers in the oil and gas industry. Whereas syntactical integration is no longer problem, semantic integration still remains an open challenge. To overcome this problem, standards provide more and more complex structures to capture the semantics of different domains. As standards become more expressive, they may become too complex so that their adaptation is inherently difficult, which may even lead to inconsistencies in specifications. This paper addresses these issues by simplification and verification of correctness properties on an interoperability standard. While the simplification has been achieved by means of multi-level modeling, the accuracy of an industry model has been addressed by verifying the correctness properties using the object-oriented rule-based system Flora-2. Transformation and verification rules were evaluated and their performance has been enhanced by applying algorithmic improvements. The outcomes show that the approach reduces complexity of specifications and supports the verification from a software engineering point of view to simplify the adoption of standards.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117164994","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

A Test Harness for Networked Mobile Applications and Middleware 网络移动应用和中间件的测试工具

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.11

A. Meads, H. Naderi, I. Warren

{"title":"A Test Harness for Networked Mobile Applications and Middleware","authors":"A. Meads, H. Naderi, I. Warren","doi":"10.1109/ASWEC.2015.11","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.11","url":null,"abstract":"Ensuring that mobile device applications are free from bugs is difficult. The difficulty stems, in part, from the unpredictability inherent in the use of multiple mobile networks. Testers typically design and run tests to discover bugs, modify the software and then re-run the test to demonstrate the bug's absence. However, when using wireless networks, it is difficult to recreate the original operating conditions to re-run the test. Other challenges associated with testing software for mobile applications include determining the effects of adding concurrent devices to a system, and the need to manage user interaction during testing. In this paper, we introduce the Odin Test Harness, which is a tool that facilitates a simulated and controlled execution environment for testing middleware and application software involving mobile devices. In particular, the tool provides for fine-grained control over network characteristics including bandwidth, packet loss rates, latency and network interface availability. Moreover the test harness allows mobile apps to be programmatically manipulated, simulating user input, during test execution. Furthermore, the test harness enables testers to simulate load on the system and to help determine its scalability. We have evaluated the test harness' on our middleware platform for hosting mobile services and a healthcare monitoring application. The test harness has been found to be useful in finding bugs that would otherwise remain elusive. In particular, the tool's support for repeatable tests, tests that involve multiple devices, and tests that require user interaction has readied the healthcare application for use in a clinical trial.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115247458","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

Compositional Symbolic Execution Using Fine-Grained Summaries 使用细粒度摘要的组合符号执行

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.32

Yude Lin, Tim Miller, H. Søndergaard

{"title":"Compositional Symbolic Execution Using Fine-Grained Summaries","authors":"Yude Lin, Tim Miller, H. Søndergaard","doi":"10.1109/ASWEC.2015.32","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.32","url":null,"abstract":"Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a summary of the path that was executed is stored. This summary records the precondition and post condition of the path, and on subsequent calls that satisfy that precondition, the corresponding post condition can be returned instead of executing the function again. However, using functions as the unit of summarisation leaves the symbolic execution tool at the mercy of a program designer, essentially resulting in an arbitrary summarisation strategy. In this paper, we explore the use of fine-grained summaries, in which blocks within functions are summarised. We propose three types of summarisation and demonstrate how to generate these. At such a fine-grained level, symbolic execution of a path effectively becomes the concatenation of the summaries along that path. Using a prototype symbolic execution tool, we perform a preliminary experimental evaluation of our summary approaches, demonstrating that they can improve the speed of symbolic execution by reducing the number of calls sent to the underlying constraint solver.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134061175","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

Generalized Suffix Tree Based Multiple Sequence Alignment for Service Virtualization 基于广义后缀树的服务虚拟化多序列对齐

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.13

Jean-Guy Schneider, Peter Mandile, Steven Versteeg

{"title":"Generalized Suffix Tree Based Multiple Sequence Alignment for Service Virtualization","authors":"Jean-Guy Schneider, Peter Mandile, Steven Versteeg","doi":"10.1109/ASWEC.2015.13","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.13","url":null,"abstract":"Assuring quality of contemporary software systems is a very challenging task due to the often large complexity of the deployment environments in which they will operate. Service virtualization is an approach to this challenge where services within the deployment environment are emulated by synthesising service response messages from models or by recording and then replaying service interaction messages with the system. Record-and-replay techniques require an approach where (i) message prototypes can be derived from recorded system interactions (i.e. Request-response sequences), (ii) a scheme to match incoming request messages against message prototypes, and (iii) the synthesis of response messages based on similarities between incoming messages and the recorded system interactions. Previous approaches in service virtualization have required a multiple sequence alignment (MSA) algorithm as a means of finding common patterns of similarities and differences between messages required by all three steps. In this paper, we present a novel MSA algorithm based on Generalized Suffix Trees (GSTs). We evaluated the accuracy and efficiency of the proposed algorithm against six enterprise service message trace datasets, with the proposed algorithm performing up to 50 times faster than standard MSA approaches. Furthermore, the algorithm has applicability to other domains beyond service virtualization.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126864754","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

The Next Level of User Experience of Cloud Storage Services: Supporting Collaboration with Social Features 云存储服务用户体验的新层次:支持协作与社交功能

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.31

J. Palviainen, Parisa Pour Rezaei

引用次数: 5

An Empirical Evaluation of Capture-Recapture Estimators in Software Inspection 软件检测中捕获-再捕获估计器的经验评价

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.17

Qi Shan, Guoping Rong, He Zhang, Gaoxuan Liu, Dong Shao

{"title":"An Empirical Evaluation of Capture-Recapture Estimators in Software Inspection","authors":"Qi Shan, Guoping Rong, He Zhang, Gaoxuan Liu, Dong Shao","doi":"10.1109/ASWEC.2015.17","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.17","url":null,"abstract":"Context: Capture-recapture approach has been adopted in software inspection for decades for estimating remaining defects and supporting post-inspection decisions. A number of capture-recapture models and estimators have been borrowed from other disciplines (e.g., Biology and social sciences) and applied in software inspections. These models and estimators were created with different assumptions and the violation to these assumptions may lead to invalid application. Most of the reported empirical evaluations of the capture-recapture models and estimators used relatively small data sets (i.e., Small number of inspectors and/or defects), which leads varying conclusions. Objective: The research reported in this paper aims to better understand this approach for software inspection, and the efficacy of the models and estimators in particular, with large data sets. Method: We carried out an empirical study that evaluated several typical capture-recapture estimators (i.e., M0-ML, Mt-ML, Mt-CH, Mh-CH and Mh-JK). The study employed 57 student inspectors in reviewing software requirement specification and formed 1000 virtual teams at each team size in the post statistic testing. Results: The data analysis indicates that: 1) M0-ML and Mt-ML could not generate accurate estimates even with many inspectors. 2) All estimators suffer high level of failure rate with few inspectors. 3) For a small team, estimator Mh-CH performs the best, while with many inspectors, Mt-CH and Mh-JK perform better regarding the accuracy and the failure rate. Conclusion: Our work reveals that no estimator was superior to others under all situations. With an increased team size, estimates generated by estimator Mt-CH and Mh-JK turn to be more accurate than others. While, M0-ML and Mt-ML are able to offer reference value to support post-inspection because of their convergent underestimates.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115727694","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

The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment 层次结构对体系结构级软件可理解性的影响——一个控制实验

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.21

S. Stevanetic, M. Javed, Uwe Zdun

{"title":"The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment","authors":"S. Stevanetic, M. Javed, Uwe Zdun","doi":"10.1109/ASWEC.2015.21","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.21","url":null,"abstract":"Architectural component models represent high level designs and are frequently used as a central view of architectural descriptions of software systems. They play a crucial role in the whole development process and in achieving the desired software qualities. This paper presents an empirical study that examines the impact of hierarchies on the architecture-level software understand ability. In particular we have studied three different architectural representations of a large-size software system, one with a hierarchical representation where architectural components at all abstraction levels in the hierarchy are shown, and two that do not contain hierarchical abstractions but concentrate only on the lowest level or on the highest level components in the hierarchy. We conducted a controlled experiment in which participants of three groups received one of the three architecture documentations plus the source code of the system and had to answer understand ability related questions. Our results show that using the hierarchical architecture leads to: 1) higher quantity of correctly retrieved elements, 2) lower quantity of incorrectly retrieved elements, and 3) higher overall quality of retrieved elements. The obtained results provide empirical evidence that hierarchies play an important role in the context of architectural component models from the viewpoint of the architecture-level software understandability.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"67 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132026773","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

Scalable Rollback for Cloud Operations Using AI Planning 使用AI规划的云操作可伸缩回滚

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.34

S. Satyal, I. Weber, L. Bass, Min Fu

引用次数: 1

Multiple Bug Spectral Fault Localization Using Genetic Programming 基于遗传规划的多Bug谱故障定位

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.12

L. Naish, Neelofar, K. Ramamohanarao

引用次数: 16

Performance Regression Testing on the Java Virtual Machine Using Statistical Test Oracles 在Java虚拟机上使用统计测试oracle进行性能回归测试

2015 24th Australasian Software Engineering Conference Pub Date : 2015-09-28 DOI: 10.1109/ASWEC.2015.14

Fergus Hewson, Jens Dietrich, S. Marsland

{"title":"Performance Regression Testing on the Java Virtual Machine Using Statistical Test Oracles","authors":"Fergus Hewson, Jens Dietrich, S. Marsland","doi":"10.1109/ASWEC.2015.14","DOIUrl":"https://doi.org/10.1109/ASWEC.2015.14","url":null,"abstract":"Engineering performance-critical systems often requires manual, expensive fine-tuning of critical application parts such as start-up routines, authentication sequences and transactions. It is highly desirable to protect this investment by regression tests that indicate when performance characteristics such as memory usage or thread allocation change. While traditional testing techniques can be used, they are often too coarse, as systems are tested against static thresholds, and therefore important changes that can result in declining system performance will not be detected. To address these limitations, we propose a novel approach to performance regression testing based on automatically generated statistical test oracles. Machine learning methods are used to detect deviations from the profiles shown in these oracles. We present Buto, a proof-of-concept tool tightly integrated into the JUnit testing framework that can be used to test applications executed on the Java virtual machine (JVM). Buto uses data obtained by transparently monitoring applications through Java Management Extensions (JMX). In this paper we describe the Buto framework and demonstrate how to calibrate the tool using an evaluation based on a set of benchmarking examples.","PeriodicalId":310799,"journal":{"name":"2015 24th Australasian Software Engineering Conference","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123951667","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