2010 Asia Pacific Software Engineering Conference最新文献

An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique 基于变形测试技术的编译器自动测试方法

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.39

Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen

{"title":"An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique","authors":"Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen","doi":"10.1109/APSEC.2010.39","DOIUrl":"https://doi.org/10.1109/APSEC.2010.39","url":null,"abstract":"Compilers play an important role in software development, and it is quite necessary to perform abundant testing to ensure the correctness of compilers. A critical task in compiler testing is to validate the semantic-soundness property which requires consistence between semantics of source programs and behavior of target executables. For validating this property, one main challenging issue is generation of a test oracle. Most existing approaches fall into two main categories when dealing with this issue: reference-based approaches and assertion-based approaches. All these approaches have their weakness when new programming languages are involved or test automation is required. To overcome the weakness in the existing approaches, we propose a new automatic approach for testing compiler. Our approach is based on the technique of metamorphic testing, which validates software systems via so-called \"metamorphic relations\". We select the equivalence-preservation relation as the metamorphic relation and propose an automatic metamorphic testing framework for compiler. We also propose three different techniques for automatically generating equivalent source programs as test inputs. Based on our approach, we developed a tool called Mettoc. Our mutation experiments show that Mettoc is effective to reveal compilers' errors in terms of the semantic-soundness property. Moreover, the empirical results also reveal that simple approaches for constructing test inputs are not weaker than complicated ones in terms of fault-detection capability. We also applied Mettoc in testing a number of open source compilers, and two real errors in GCC-4.4.3 and UCC-1.6 respectively have been detected by Mettoc.","PeriodicalId":161686,"journal":{"name":"2010 Asia Pacific Software Engineering Conference","volume":"513 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116699017","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}

引用次数: 71

Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture 基于BPEL代码结构分析和运行时信息捕获的Web服务可靠性评估

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.32

Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su

引用次数: 12

SCRUM-PSP: Embracing Process Agility and Discipline SCRUM-PSP:拥抱过程敏捷性和规程

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.44

Guoping Rong, Dong Shao, He Zhang

引用次数: 16

Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs 评估重构对安全关键型面向对象设计的影响

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.30

Bandar M. Alshammari, C. Fidge, D. Corney

引用次数: 20

Combinatorial Testing with Shielding Parameters 屏蔽参数组合试验

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.40

Baiqiang Chen, Jun Yan, Jian Zhang

引用次数: 16

An Interaction-Pattern-Based Approach to Prevent Performance Degradation of Fault Detection in Service Robot Software 基于交互模式防止服务机器人软件故障检测性能下降的方法

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.37

Seung-Yeol Seo, Hyung-Min Koo, In-Young Ko

{"title":"An Interaction-Pattern-Based Approach to Prevent Performance Degradation of Fault Detection in Service Robot Software","authors":"Seung-Yeol Seo, Hyung-Min Koo, In-Young Ko","doi":"10.1109/APSEC.2010.37","DOIUrl":"https://doi.org/10.1109/APSEC.2010.37","url":null,"abstract":"In component-based robot software, it is crucial to monitor software faults and deal with them on time before they lead to critical failures. The main causes of software failures include limited resources, component-interoperation mismatches, and internal errors of components. Message-sniffing is one of the popular methods to monitor black-box components and handle these types of faults during runtime. However, this method normally causes some performance problems of the target software system because the fault monitoring and detection process consumes a significant amount of resources of the target system. There are three types of overheads that cause the performance degradation problems: frequent monitoring, transmission of a large amount of monitoring-data, and the processing time for fault analysis. In this paper, we propose an interaction-pattern-based approach to reduce the performance degradation caused by fault monitoring and detection in component-based service robot software. The core idea of this approach is to minimize the number of messages to monitor and analyze in detecting faults. Message exchanges are formalized as interaction patterns which are commonly observed in robot software. In addition, important messages that need to be monitored are identified in each of the interaction patterns. An automatic interaction pattern-identification method is also developed. To prove the effectiveness of our approach, we have conducted a performance simulation. We are also currently applying our approach to silver-care robot systems.","PeriodicalId":161686,"journal":{"name":"2010 Asia Pacific Software Engineering Conference","volume":"291 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132763095","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

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation 用模型变换分析时序图的定性和定量

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.23

Meixia Zhu, Hanpin Wang, Yongzhi Cao, Zizhen Wang, W. Jin

引用次数: 3

Software Configuration Management in Global Software Development: A Systematic Map 全球软件开发中的软件配置管理:一个系统的地图

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.53

S. Fauzi, Paul L. Bannerman, M. Staples

{"title":"Software Configuration Management in Global Software Development: A Systematic Map","authors":"S. Fauzi, Paul L. Bannerman, M. Staples","doi":"10.1109/APSEC.2010.53","DOIUrl":"https://doi.org/10.1109/APSEC.2010.53","url":null,"abstract":"Many companies use Global Software Development (GSD) to access skilled people, reduce costs and utilize around the clock development. GSD has numerous social and technical difficulties, but most literature only examines social difficulties. Few studies concern technical difficulties or address Software Configuration Management (SCM) issues. SCM is widely used, and supports the infrastructure and practices that enable change management and version control. SCM has potential to support more effective GSD, but is more difficult in GSD, because coordination and synchronization are more complex. This paper presents our findings of a systematic mapping study of SCM in GSD. Systematic mapping is a methodology to discover and categorize research on a topic, and can be used to identify common themes and areas requiring further study. We find most research on SCM in GSD has used case studies, and there has been little empirical validation. The lack of coordination and group awareness causes difficulties for SCM in GSD, but no SCM process has been proposed to address this. More research is required on Software Configuration Control for GSD.","PeriodicalId":161686,"journal":{"name":"2010 Asia Pacific Software Engineering Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127103881","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}

引用次数: 33

A Model and Architecture of REBOK (Requirements Engineering Body of Knowledge) and Its Evaluation REBOK(需求工程知识体系)模型、体系结构及其评价

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.16

M. Aoyama, Takako Nakatani, Shinobu Saito, Mikio Suzuki, K. Fujita, Hiroaki Nakazaki, Ritsuo Suzuki

引用次数: 26

Variants of Risk and Opportunity 风险和机会的变体

2010 Asia Pacific Software Engineering Conference Pub Date : 2010-11-30 DOI: 10.1109/APSEC.2010.52

H. Leung

引用次数: 4