2006 13th Asia Pacific Software Engineering Conference (APSEC'06)最新文献

筛选
英文 中文
A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation 面向可维护性评估的基于耦合的远程组件软件系统复杂性度量
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.3
H. Washizaki, Tomoki Nakagawa, Yuhki Saito, Y. Fukazawa
{"title":"A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation","authors":"H. Washizaki, Tomoki Nakagawa, Yuhki Saito, Y. Fukazawa","doi":"10.1109/APSEC.2006.3","DOIUrl":"https://doi.org/10.1109/APSEC.2006.3","url":null,"abstract":"Remote-component-based software systems (CBS) must provide high maintainability to support operation over long periods of time and correspond to changes in enterprise requirements/environments. Measurements of the degree of complexity of a system are one technique for evaluating maintainability. However, conventional complexity metrics are unable to reflect the overall complexity of the system, because they do not incorporate a procedure to account for characteristics of CBS. To help maintenance work proceed smoothly, we propose a new metric that measures the coupling-based complexity of CBS by abstracting the target system's structure through a step-wise process and taking into consideration the characteristics of remote components. Our metric can be applied to CBS based on the Enterprise JavaBeans component architecture. As a result of experimental evaluations, it is found that our metric better reflects the maintainability than conventional metrics. It is also found that our metric is nonredundant with existing metrics such as coupling factor.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134405187","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}
引用次数: 15
A Portable Interceptor Mechanism on SOAP for Continuous Audit 用于持续审计的SOAP可移植拦截器机制
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.9
Chen-Liang Fang, Deron Liang, Fengyi Lin, Chien-Cheng Lin, W. Chu
{"title":"A Portable Interceptor Mechanism on SOAP for Continuous Audit","authors":"Chen-Liang Fang, Deron Liang, Fengyi Lin, Chien-Cheng Lin, W. Chu","doi":"10.1109/APSEC.2006.9","DOIUrl":"https://doi.org/10.1109/APSEC.2006.9","url":null,"abstract":"Web services has become popular in modern distributed applications, and the SOAP technology currently is the most used in Web services. Recent middleware research works widely use interception approach for many problem domains, for example fault tolerance, continuous audit {CA), security etc. Instead of providing a portable interceptor as CORBA does, SOAP 1.2 provides an intermediary mechanism. Due to backward compatibility issue, we found intermediary mechanism is not a feasible solution for interception. Furthermore, our use case analysis found that CORBA Portable Interceptor functionality does not fulfill all requirements of continuous audit. This motivates us to develop a new portable interceptor mechanism (PIM) on SOAP for CA. In this paper, we propose a PIM on SOAP to meet the interception requirements for Web services. Our PIM includes portable interceptor management in SOAP engine and portable interceptor interface definitions.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124672913","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
Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation 基于用例术语和结构相似度计算的软件需求检索
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.53
A. Udomchaiporn, N. Prompoon, P. Kanongchaiyos
{"title":"Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation","authors":"A. Udomchaiporn, N. Prompoon, P. Kanongchaiyos","doi":"10.1109/APSEC.2006.53","DOIUrl":"https://doi.org/10.1109/APSEC.2006.53","url":null,"abstract":"For a large scale of software development, there is a tremendous number of software requirements documents in a collection which may be produced for different domains by different developer teams. They may be later reused to reduce cost and time for the next development. Thus, there is a need to retrieve ones that meet user's need efficiently. This paper presents an approach for software requirements specification retrieval in a form of use case description using use case structure and similarity computation between terms of use case query and use cases in the collection. The contribution of the paper has five main points; 1) the approach for retrieving use case description is proposed, 2) the developed tool supporting the approach is presented, 3) the experiment is designed to measure effectiveness of the approach, 4) the results of the experiment are shown to compare effectiveness of the approach to that of a general approach, and finally 5) the recommended use case description query template is proposed.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134139908","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
A Formal Framework for Component Pr otocols Behavioural Compatibility 组件协议行为兼容性的形式化框架
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.4
N. Hameurlain
{"title":"A Formal Framework for Component Pr otocols Behavioural Compatibility","authors":"N. Hameurlain","doi":"10.1109/APSEC.2006.4","DOIUrl":"https://doi.org/10.1109/APSEC.2006.4","url":null,"abstract":"In this paper, we present a new and optimistic approach to the definition of component protocols compatibility, and we provide a framework for modeling component protocols together with their composition. This framework is discussed in terms of compatibility and substitutability checks of protocols. According to the optimistic approach, two protocols are compatible if they are composable and their composition leads to a usable protocol, that is a protocol such that there exists an environment ensuring safety and liveness property of the composed protocol, which is obtained by the composition of the involved protocol and that environment. Safety and liveness properties such as deadlock-freeness and proper termination of protocols are considered up to different extents. Based on that, we present two protocols compatibility relations related to the usability concept, together with two behavioural subtyping relations related to the principle of substitutability. We address their soundness by showing the existing link between compatibility and substitutability relations, which have found necessary when dealing with incremental design of protocols.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133894888","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
Generating interoperability tests for networked media devices 为网络媒体设备生成互操作性测试
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.36
S. Sukumaran
{"title":"Generating interoperability tests for networked media devices","authors":"S. Sukumaran","doi":"10.1109/APSEC.2006.36","DOIUrl":"https://doi.org/10.1109/APSEC.2006.36","url":null,"abstract":"Interoperability testing is a key validation activity for networked devices that are to function as part of a larger distributed system. In this paper we describe an approach for generating interoperability tests for networked media devices based on the universal plug and play (UPnP) AV architecture. Our approach is based on constructing formal models of the various entities as specified in the UPnP AV architecture and composing these to form a complete model for a test set-up (as given by the test engineer) and then generating tests from this complete model based on model coverage and well chosen test purposes. We illustrate this for an example test set-up. The tests that we generate are currently being used at our certification test lab. We believe that this approach can be used for similar testing activities in different domains.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116557717","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
Cohesion Analysis in Linux Kernel Linux内核中的内聚分析
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.26
K. Reddy, D. Ram
{"title":"Cohesion Analysis in Linux Kernel","authors":"K. Reddy, D. Ram","doi":"10.1109/APSEC.2006.26","DOIUrl":"https://doi.org/10.1109/APSEC.2006.26","url":null,"abstract":"It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances and the results show the presence of excessive common coupling among modules. It is mentioned that unless the kernel is restructured with a bare minimum of common coupling, it would be exceedingly difficult to maintain kernel in the near future. We attribute this problem to the lack of data abstractions in the kernel. To support our argument, we have analyzed the cohesion in the Linux kernel both at the module level (file level) and function level. Although the cohesion at the function level is high, low cohesion prevails at the module level indicating the lack of focus on data abstractions at the module level. We believe that this is an inherent drawback in procedural paradigm where functionality is considered first rather than data. Hence, we suggest to migrate the kernel to object-oriented paradigm to minimize coupling among modules and increase cohesion within the modules. As performance is one of the prime concerns for an OS kernel, object oriented features can be introduced in the kernel in an incremental fashion using the technique of object-oriented wrappers.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121385484","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
A precise estimation technique for test coverage of components in object-oriented frameworks 面向对象框架中组件测试覆盖率的精确估计技术
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.11
Yuji Sakata, K. Yokoyama, H. Washizaki, Y. Fukazawa
{"title":"A precise estimation technique for test coverage of components in object-oriented frameworks","authors":"Yuji Sakata, K. Yokoyama, H. Washizaki, Y. Fukazawa","doi":"10.1109/APSEC.2006.11","DOIUrl":"https://doi.org/10.1109/APSEC.2006.11","url":null,"abstract":"In general, a component-based system uses only a part of the functions of its software components. Therefore, precise structural testing for components requires to specify what functions of the components are used in the system. In addition, in the case with an object-oriented component, some existing studies point out that testing of all possible bindings between a call site and the methods that the site may invoke is extremely ineffective. In this paper, we propose a method for precisely estimating test coverage of components on an object-oriented framework by using its deployment descriptor and evaluate its effectiveness.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123784242","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
Strengthening Method Contracts for Objects 加强对象的方法契约
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.54
Atul Gupta, Amit Raj
{"title":"Strengthening Method Contracts for Objects","authors":"Atul Gupta, Amit Raj","doi":"10.1109/APSEC.2006.54","DOIUrl":"https://doi.org/10.1109/APSEC.2006.54","url":null,"abstract":"The main objective of a 'design by contracts' approach as applied to object-oriented systems, is to develop complete and consistent method contracts for the objects of the system. In this work, we propose a practical approach to develop these contracts for an object from its annotated structural representation, namely, UML constrained class diagram. We generate, simulate, and refine an object state-chart from an initial set of method contracts which in turn help further validating and enhancing these contracts. The impact of this analysis can be multifold: first, it identifies various discrepancies like incomplete and inconsistent class specifications, second, a correct and consistent object statechart model is obtained from which reliable automated code and unit tests can easily be generated, third, facilitate essential and effective verification for software re-use, forth, the resulting statechart and class specifications are in a lock-steps which facilitates effective incremental development and change management and fifth, it allows a modeler to specify object's dynamic requirements declaratively on an abstract level, without the need to use full operational dynamic diagrams. We have also designed a tool ObjectSim that performs automated statechart generation and their interactive simulations. We demonstrate our approach using an example and discuss other related issues.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129776777","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
A Knowledge-based Approach for Safety Analysis Using System Interactions 基于知识的系统交互安全分析方法
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.6
Tariq Mahmood, E. Kazmierczak
{"title":"A Knowledge-based Approach for Safety Analysis Using System Interactions","authors":"Tariq Mahmood, E. Kazmierczak","doi":"10.1109/APSEC.2006.6","DOIUrl":"https://doi.org/10.1109/APSEC.2006.6","url":null,"abstract":"Safety analysis methods for safety-critical systems face new challenges as systems evolve more frequently and the interactions within systems rise in numbers and complexity. Two such challenges are: (1) the need to formally examine the impact of system interactions on safety and (2) the need to extract and readily integrate knowledge from past accidents into new systems. We propose an approach which exploits knowledge from past accidents to conduct quantitative safety analysis using interactions between system components. A case study is presented that shows how our approach provides a support mechanism to safety and design experts. Further, it shows how we identify critical interactions and their contributions to accidents. This is especially important when components have not failed but instead undesirable interactions have contributed to an accident.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130277912","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
Project Replayer with Email Analysis - Revealing Contexts in Software Development 项目重播与电子邮件分析-揭示背景在软件开发
2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI: 10.1109/APSEC.2006.48
Kimiharu Okura, Keita Goto, N. Hanakawa, Shinji Kawaguchi, Hajimu Iida
{"title":"Project Replayer with Email Analysis - Revealing Contexts in Software Development","authors":"Kimiharu Okura, Keita Goto, N. Hanakawa, Shinji Kawaguchi, Hajimu Iida","doi":"10.1109/APSEC.2006.48","DOIUrl":"https://doi.org/10.1109/APSEC.2006.48","url":null,"abstract":"In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find out valuable phenomena from huge data. Invisible context, which cannot be known directly from software documents or formal reports, is an important factor to these difficulties. We propose a new method to find contexts based on analysis to email archives in a project repository. In this method, we first apply natural language processing to extract keywords from email messages. Next, similarities among the messages are calculated based on the extracted keywords, and the messages are classified into clusters according to the similarities. The clustering result can be presented with other information such as code growth graph or schedule charts. This method is implemented as an extension to the Project Replayer, a tool to review past project data. Pilot analysis confirms that a researcher could grasp important contexts of failures in actual projects using the Project Replayer.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130649185","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书