Australian Software Engineering Conference (ASWEC'06)最新文献_第4页

Verifying metamodel coverage of model transformations 验证模型转换的元模型覆盖率

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.55

Junhua Wang, Soon-Kyeong Kim, D. Carrington

引用次数: 44

Tailoring of black-box testing methods 裁剪黑盒测试方法

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.49

T. Murnane, K. Reed, R. Hall

引用次数: 10

Model-based runtime analysis of distributed reactive systems 分布式响应系统的基于模型的运行时分析

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.36

A. Bauer, M. Leucker, C. Schallhart

{"title":"Model-based runtime analysis of distributed reactive systems","authors":"A. Bauer, M. Leucker, C. Schallhart","doi":"10.1109/ASWEC.2006.36","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.36","url":null,"abstract":"Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As interactions and dependencies within distributed systems increase, the problem of detecting failures which depend on the exact situation and environment conditions they occur in grows. As a result, not only the detection of failures is increasingly difficult, but also the differentiation between the symptoms of a fault, and the actual fault itself, i.e., the cause of a problem. In this paper, we present a novel and efficient approach for analysing reactive distributed systems at runtime, in that we provide a framework for detecting failures as well as identifying their causes. Our approach is based upon monitoring safety-properties, specified in the linear time temporal logic LTL (respectively, TLTL) to automatically generate monitor components which detect violations of these properties. Based on the results of the monitors, a dedicated diagnosis is then performed in order to identify explanations for the misbehaviour of a system. These may be used to store detailed log files, or to trigger recovery measures. Our framework is built modular, layered, and uses merely a minimal communication overhead - especially when compared to other, similar approaches. Further, we sketch first experimental results from our implementations, and describe how it can be used to build a variety of distributed systems using our techniques.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121499001","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}

引用次数: 74

Design of agent-oriented pattern templates 面向代理的模式模板设计

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.24

Ayodele Oluyomi, S. Karunasekera, L. Sterling

引用次数: 6

Factors affecting software testing time schedule 影响软件测试时间表的因素

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.27

Ossi Taipale, H. Kälviäinen, K. Smolander

引用次数: 20

Using dependence graphs to assist manual and automated object oriented software inspections 使用依赖关系图来辅助手动和自动面向对象的软件检查

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.53

D. Cooper, Mun Wai Chan, Gautam Mehra, Peter Woodward, B. V. Konsky, M. Robey, Michael Harding

引用次数: 4

Evaluating software refactoring tool support 评估软件重构工具的支持

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.26

E. Mealy, P. Strooper

{"title":"Evaluating software refactoring tool support","authors":"E. Mealy, P. Strooper","doi":"10.1109/ASWEC.2006.26","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.26","url":null,"abstract":"Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process that can significantly reduce the costs associated with software evolution. Refactoring is defined as internal modification of source code to improve system quality, without change to observable behaviour. Tool support for software refactoring attempts to further reduce evolution costs by automating manual, error-prone and tedious tasks. Although the process of refactoring is well-defined, tools supporting refactoring do not support the full process. Existing tools suffer from issues associated with the level of automation, the stages of the refactoring process supported or automated, the subset of refactorings that can be applied, and complexity of the supported refactorings. This paper presents a framework for evaluating software refactoring tool support based on the DESMET method. For the DESMET application, a functional analysis of the requirements for supporting software refactoring is used in conjunction with a case study. This evaluation was completed to assess the support provided by six Java refactoring tools and to evaluate the efficacy of using the DESMET method for evaluating refactoring tools.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129343717","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}

引用次数: 47

Formal refinement of informal GUI design artefacts 非正式GUI设计工件的正式细化

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.28

Judy Bowen, S. Reeves

{"title":"Formal refinement of informal GUI design artefacts","authors":"Judy Bowen, S. Reeves","doi":"10.1109/ASWEC.2006.28","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.28","url":null,"abstract":"Before we build any piece of software we would, surely, need to be certain that what we intend to build is what is required by the users of that software. In addition, we would want to be sure that the proposed software will behave as expected, do the right thing under all circumstances and also be usable. These functional and usability requirements are often considered separately. The functional requirements may be considered by way of formal specifications or models which are then subjected to verification and validation to ensure that the required properties hold. Similarly, the usability and user requirements may be captured using task analysis methods and checked by design methods such as GOMS, scenario development and usability testing of incremental prototypes. This paper looks at one way of bringing these two processes together by including the graphical user interface (GUI) design process and design concerns in the formal process of specification and refinement. In particular it considers what it means for a prototype of a GUI to be considered as a formal refinement of a specification. In this paper we show how we can consider the visual display, or presentation, of the GUI as the refinement, rather than the code which produces that presentation, and how this allows us to apply standard and well-known refinement techniques to informal design artefacts","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129165907","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}

引用次数: 22

Optimising Web services performance with table driven XML 使用表驱动的XML优化Web服务性能

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.37

Alex Ng

{"title":"Optimising Web services performance with table driven XML","authors":"Alex Ng","doi":"10.1109/ASWEC.2006.37","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.37","url":null,"abstract":"The performance of the SOAP protocol has often been regarded relatively poor and requiring undue amounts of processor time, storage and bandwidth due to its use of text-based, metadata-laden XML encoding. There are many proposals available to tackle this perceived problem, however none of these coherently consider the different aspects of the problem: (1) message size; (2) message structure; (3) accessing individual elements; and (4) interoperability with other Web services protocols. The technique proposed in this paper: Table driven XML (TDXML) takes such a coherent view and offers more compact messages, simpler message structure and easier access to individual elements when compared to conventional SOAP. TDXML also enables keyed access to individual elements to enable single pass message parsing for improved object serialisation and deserialisation. Experimental studies show that TDXML can be incorporated easily into a commercially available SOAP implementation with 30% improved latency performance. Furthermore, this paper reports that TDXML can also be implemented with other transport mechanisms and provide even better performance (over 100%) than SOAP in regard to network bandwidth and latency.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130257880","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}

引用次数: 13

Lock selection made easy 选择锁变得很容易

Australian Software Engineering Conference (ASWEC'06) Pub Date : 2006-04-18 DOI: 10.1109/ASWEC.2006.33

Abdelsalam Shanneb, John Michael Potter

引用次数: 1