发布求助
文献互助 智能选刊 最新文献

12th Asia-Pacific Software Engineering Conference (APSEC'05)最新文献

筛选
英文 中文
A passive test oracle using a component's API 使用组件API的被动测试oracle
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.13
Rakesh Shukla, D. Carrington, P. Strooper
{"title":"A passive test oracle using a component's API","authors":"Rakesh Shukla, D. Carrington, P. Strooper","doi":"10.1109/APSEC.2005.13","DOIUrl":"https://doi.org/10.1109/APSEC.2005.13","url":null,"abstract":"A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the software testing literature and many methods for test oracle development have been proposed. Most of these methods use specifications or other resources to develop test oracles. A passive test oracle checks the behaviour of the component, but does not reproduce this behaviour. In this paper, we present a technique that develops passive test oracles for components using their APIs. This simple technique can be applied to any software component that is accessed through an API. In an initial experiment, we found that test oracles developed this way were more effective at finding faults with a relatively small number of test cases than test oracles developed from a formal specification and developed as a parallel implementation.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127069790","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
Agile development of Web application by supporting process execution and extended UML model 通过支持流程执行和扩展UML模型来实现Web应用程序的敏捷开发
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.28
Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu
{"title":"Agile development of Web application by supporting process execution and extended UML model","authors":"Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu","doi":"10.1109/APSEC.2005.28","DOIUrl":"https://doi.org/10.1109/APSEC.2005.28","url":null,"abstract":"Agile and systematic development is important in Web application methodology because clients expect their frequent requirement changes to be implemented rapidly and regularly. However, previous studies may not be suitable for such development. In this paper we propose a methodology for agile and somewhat systematic development of Web application. The methodology includes models, tools, and an agile process. The models extended from UML focus on the behavior of Web application. The agile process aims to have quick-to-market property and adaptability to requirement changes. Tools including process manager and Web modeler support process execution and modeling activity to guide developers in applying the process. An example of university assets management system and a comparison between our methodology and other processes are given to validate our methodology.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129561799","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}
引用次数: 10
A service-oriented architecture for design and development of middleware 用于中间件设计和开发的面向服务的体系结构
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.16
Yih-Cheng Lee, Chi-Ming Ma, S. Chou
{"title":"A service-oriented architecture for design and development of middleware","authors":"Yih-Cheng Lee, Chi-Ming Ma, S. Chou","doi":"10.1109/APSEC.2005.16","DOIUrl":"https://doi.org/10.1109/APSEC.2005.16","url":null,"abstract":"Middleware is an intermediate layer in software architecture, which helps application developers write program codes without understanding the complexities behind the middleware. In addition to this, middleware also provides transparencies, for example, location transparency and logic transparency. In this paper, we design and develop a middleware in the way of service-oriented architecture (SOA) and it provides a new transparency 'service transparency'. We will explain what this middleware concerns, how it is developed, and what services it provides.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"364 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132734067","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}
引用次数: 16
Describing and verifying integrated services of home network systems 描述和验证家庭网络系统的综合业务
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.59
P. Leelaprute, Tatsuhiro Tsuchiya, T. Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
{"title":"Describing and verifying integrated services of home network systems","authors":"P. Leelaprute, Tatsuhiro Tsuchiya, T. Kikuno, Masahide Nakamura, Ken-ichi Matsumoto","doi":"10.1109/APSEC.2005.59","DOIUrl":"https://doi.org/10.1109/APSEC.2005.59","url":null,"abstract":"This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integrated services. Complementing our previous work, the language captures each appliance as an object consisting of properties and methods, encapsulating the underlying protocols and platforms. We then present a method that verifies the integrated services with symbolic model checking, by translating the proposed language into the SMV (symbolic model verifier) language. Thus, it is possible to validate if the integrated service is specified as intended, automatically and exhaustively. Using the proposed framework, service developers can effectively detect design flaws in a single integrated service, as well as feature interactions among multiple services, in early stages of service development.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133033608","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}
引用次数: 26
Recommendation of software technologies based on collaborative filtering 基于协同过滤的软件技术推荐
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.94
Tomohiro Akinaga, Naoki Ohsugi, Masateru Tsunoda, Takeshi Kakimoto, Akito Monden, Ken-ichi Matsumoto
{"title":"Recommendation of software technologies based on collaborative filtering","authors":"Tomohiro Akinaga, Naoki Ohsugi, Masateru Tsunoda, Takeshi Kakimoto, Akito Monden, Ken-ichi Matsumoto","doi":"10.1109/APSEC.2005.94","DOIUrl":"https://doi.org/10.1109/APSEC.2005.94","url":null,"abstract":"Software engineers have to select some appropriate development technologies to use in the work; however, engineers sometimes cannot find the appropriate technologies because there are vast amount of options today. To solve this problem, we propose a software technology recommendation method based on collaborative filtering (CF). In the proposed method, at first, questionnaires are collected from concerned engineers about their technical interest. Next, similarities between an active engineer who gets recommendation and the other engineers are calculated according to the technical interests. Then, some similar engineers are selected for the active engineer. At last, some technologies are recommended which attract the similar engineers. An experimental evaluation showed that the proposed method can make accurate recommendations than that of a naive (non-CF) method.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133204541","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
Computation of dynamic slices for object-oriented concurrent programs 面向对象并发程序的动态切片计算
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.51
Jaiprakash T. Lallchandani, R. Mall
{"title":"Computation of dynamic slices for object-oriented concurrent programs","authors":"Jaiprakash T. Lallchandani, R. Mall","doi":"10.1109/APSEC.2005.51","DOIUrl":"https://doi.org/10.1109/APSEC.2005.51","url":null,"abstract":"This paper proposes a novel dynamic slicing technique for object oriented concurrent programs. We introduce the notion of object oriented concurrent program dependence graph (OOCPDG). Our dynamic slicing technique uses OOCPDG as the intermediate representation and is based on marking and unmarking the dependence edges as and when the dependences arise and cease at runtime. Our approach eliminates the use of trace files and is more efficient than existing algorithms. Besides, it encompasses different aspects of object oriented programming paradigm viz. inheritance, polymorphism from the slicing arena. It can handle dynamically created object based processes. It can also handle process interactions through shared memory and message passing. The updating to the intermediate representation is truly concurrent. Multiple processors execute different object based processes concurrently and require special handling. We also report a dynamic slicing tool called CDSOOCP (concurrent dynamic sheer for object oriented concurrent programs) which implements our dynamic slicing technique.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129023376","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
An analysis method with failure scenario matrix for specifying unexpected obstacles in embedded systems 基于故障场景矩阵的嵌入式系统意外障碍分析方法
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.30
Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Yasufumi Shinyashiki, Naoyasu Ubayashi, Takako Nakatani
{"title":"An analysis method with failure scenario matrix for specifying unexpected obstacles in embedded systems","authors":"Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Yasufumi Shinyashiki, Naoyasu Ubayashi, Takako Nakatani","doi":"10.1109/APSEC.2005.30","DOIUrl":"https://doi.org/10.1109/APSEC.2005.30","url":null,"abstract":"This paper describes an analysis method with failure scenario matrix for specifying unexpected obstacles in order to improve the quality of embedded systems. Although embedded software has become increasingly large in scale and complexity, companies are requiring the software to be developed within shorter periods of time. Therefore, the quality of the software is bound to suffer. This problem is one of the most serious concerns in a coming age of ubiquitous embedded systems. In order to improve the quality, it is very important to specify the forbidden behavior of embedded systems. The forbidden behavior of unexpected obstacles is analyzed by using a matrix and scenarios. This paper provides a detailed description of the analysis method used, in particular the cause, phenomenon, and goal in the scenario, relating them to each other by using a matrix.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134046376","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
On archiving architecture documents 关于架构文档的归档
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.83
R. Duddukuri, T. Prabhakar
{"title":"On archiving architecture documents","authors":"R. Duddukuri, T. Prabhakar","doi":"10.1109/APSEC.2005.83","DOIUrl":"https://doi.org/10.1109/APSEC.2005.83","url":null,"abstract":"This paper presents a novel perspective on archiving architecture documents in large organizations. Designing and architecting a system deals with modeling the high level structure of a system in terms of views, architectural patterns and styles. Aspects such as knowledge management and archiving of architecture work done on artifacts of software projects challenge the large organizations. Knowledge management in such organizations depends on how well the company preserves the knowledge acquired on projects and how well the company provides the facilities to retrieve that architectural knowledge. The main issue in identification of the architecture documents is how we annotate these documents while storing in the repository. We have identified an approach on how these architecture documents can be annotated with architecture properties, and provided a comprehensive search design on the architecture documents already stored in the database. We describe how this perspective offers a good solution on archiving architecture documents and outlines various issues worthy of further exploration.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116038571","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
Monitoring with behavior view diagrams for debugging 使用行为视图图进行监视，以便调试
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.82
Donglin Liang, Kai Xu
{"title":"Monitoring with behavior view diagrams for debugging","authors":"Donglin Liang, Kai Xu","doi":"10.1109/APSEC.2005.82","DOIUrl":"https://doi.org/10.1109/APSEC.2005.82","url":null,"abstract":"UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the program to perform a certain task. In this paper, we present the behavior view diagrams, a type of extended sequence diagrams, to facilitate execution monitoring during debugging. Using a behavior view diagram, software developers can precisely specify the runtime objects whose behaviors will be monitored during debugging. Software developers can also specify the important message exchanges to be observed among these objects during the progress of various scenarios, and may further define the monitoring actions to be performed for inspecting the program state when a message exchange is observed. We also present a debugger that can automatically monitor the program execution using the information specified in a behavior view diagram. Through this monitoring, the debugger can not only check whether the scenarios are progressed as intended, but also check whether the actions performed by the program have the the desired effects on the program states. Therefore, it will be useful for detecting and localizing bugs.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115889541","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}
引用次数: 2
Improvements towards formalizing UML state diagrams in CSP 在CSP中形式化UML状态图的改进
12th Asia-Pacific Software Engineering Conference (APSEC'05) Pub Date : 2005-12-15 DOI: 10.1109/APSEC.2005.70
W. Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
{"title":"Improvements towards formalizing UML state diagrams in CSP","authors":"W. Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong","doi":"10.1109/APSEC.2005.70","DOIUrl":"https://doi.org/10.1109/APSEC.2005.70","url":null,"abstract":"The Unified Modelling Language (UML) includes a variant of state charts, called state diagrams (SD), for modelling systems with complex interactive behaviour. The official definition of UML specifies the abstract syntax of state diagrams without any formal semantics and hence is unable to perform formal system behaviour analysis. Various attempts have been made to provide such a formal basis for UML state diagrams. Among different attempts, the work reported in [Muan Yong Ng et al. (2003)] is formalizing SD in terms of communicating sequential processes (CSP). In this paper, we present some improvements upon the formalization. The improvements help clarify the semantics of UML SD and make the formalization more complete. Furthermore, we illustrate the use of CSP in reasoning about the equivalence of state diagrams and discuss the benefits of the formalization.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116379279","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}
引用次数: 30
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信