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

11th Asia-Pacific Software Engineering Conference最新文献

筛选
英文 中文
Adaptive random testing by localization 自适应随机定位测试
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.17
T. Chen, D. Huang
{"title":"Adaptive random testing by localization","authors":"T. Chen, D. Huang","doi":"10.1109/APSEC.2004.17","DOIUrl":"https://doi.org/10.1109/APSEC.2004.17","url":null,"abstract":"Based on the intuition that widely spread test cases should have greater chance of hitting the nonpoint failure-causing regions, several adaptive random testing (ART) methods have recently been proposed to improve traditional random testing (RT). However, most of the ART methods require additional distance computations to ensure an even spread of test cases. In this paper, we introduce the concept of localization that can be integrated with some ART methods to reduce the distance computation overheads. By localization, test cases would be selected from part of the input domain instead of the whole input domain, and distance computation would be done for some instead of all previous test cases. Our empirical results show that the fault detecting capability of our method is comparable to those of other ART methods.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122974823","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
Requirements engineering pattern structure 需求工程模式结构
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.85
T. Tsumaki
{"title":"Requirements engineering pattern structure","authors":"T. Tsumaki","doi":"10.1109/APSEC.2004.85","DOIUrl":"https://doi.org/10.1109/APSEC.2004.85","url":null,"abstract":"The pattern is one of the effective tools to record and reuse the knowledge and know-how concerning software development. Although various patterns have been previously presented, we find it difficult to describe and acquire engineering patterns to support the software development process. We collected requirements engineering patterns and studied the structures of them. In the results of the study, three kinds of problems have been discovered. The first problem is that previously presented pattern forms are not suitable to describe engineering patterns. The second problem is that it is hard to find a desired pattern from a multitude of various patterns. The third problem is that there are qualitative differences between descriptions of patterns. We considered that the cause of these problems is the form of each pattern and, established two types of pattern structures: inside structure and outside structure. This paper presents a pattern structure for requirements engineering.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122564817","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
Problems and suggestions for adopting product line software engineering from modification style development 从修改风格开发看采用产品线软件工程存在的问题及建议
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.73
Norihiko Matsuda
{"title":"Problems and suggestions for adopting product line software engineering from modification style development","authors":"Norihiko Matsuda","doi":"10.1109/APSEC.2004.73","DOIUrl":"https://doi.org/10.1109/APSEC.2004.73","url":null,"abstract":"In the intense business competitive situation of today, it is an important theme to improve software development productivity and shorten a software development period. There is product line software engineering (PLSE) as technology to contribute to this theme. However, many types of problems are thought to start adoption of PLSE. Not only economical issues, technical issues, and project risks, but also issues related time to market during core asset development, are identified. This paper address the problems which are identified at a project initiation phase in the PLSE startup organization which usually develops a new product's software by modification and discuss some ideas to deal with theses problems.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132551774","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
Monitored software components - a novel software engineering approach 监控软件组件——一种新颖的软件工程方法
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.68
Daniel Sundmark, Anders Möller, Mikael Nolin
{"title":"Monitored software components - a novel software engineering approach","authors":"Daniel Sundmark, Anders Möller, Mikael Nolin","doi":"10.1109/APSEC.2004.68","DOIUrl":"https://doi.org/10.1109/APSEC.2004.68","url":null,"abstract":"We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a component's execution is continuously monitored and experience regarding component behaviour is accumulated. As more and more experience is collected the confidence in the component grows; with the goal to eventually allow certification of the component. Continuous monitoring is also the base for contract checking, and provides means for post-mortem crash analysis; an important prerequisite for many companies to start use 3rd party component in their dependable systems. In this paper we show how four software engineering goals can be reached by monitoring four component properties.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124333220","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}
引用次数: 21
An embedded software approach for the development of SIP-based VoIP server 基于sip协议的VoIP服务器的嵌入式软件开发方法
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.24
R. Hsu, Cheng-Ting Liu, Wen-Ping Huang, Jun-Jay Yang
{"title":"An embedded software approach for the development of SIP-based VoIP server","authors":"R. Hsu, Cheng-Ting Liu, Wen-Ping Huang, Jun-Jay Yang","doi":"10.1109/APSEC.2004.24","DOIUrl":"https://doi.org/10.1109/APSEC.2004.24","url":null,"abstract":"In this paper, embedded software engineering approach is employed for the development of a SIP-based VoIP server. Signaling control functions of SIP servers are integrated and implemented in an embedded system platform. This embedded SIP server also serves as network access server (NAS) client to a centralized RADIUS server to provide user's authorization, authentication, and accounting information. Other advanced telephony features, such as voice conferences, call waiting, call on-hold, etc, can be designed in the embedded SIP server as well. In this study, the embedded software architecture and development procedure for the embedded SIP server such as hardware platform, the embedded software function, development procedures, and functional test are described. This embedded SIP server can be beneficial for frequent computer users with larger telephone usage, such as people working in global branch offices of enterprises, schools on the academic communication backbone, or research institutes among Universities on an academic broadband infrastructure.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130213954","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
An improved repository system for effective and efficient reuse of formal verification efforts 一个改进的存储库系统，用于有效和高效地重用正式的验证工作
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.28
Martín López Nores, R. Redondo, J. Pazos-Arias, J. G. Duque
{"title":"An improved repository system for effective and efficient reuse of formal verification efforts","authors":"Martín López Nores, R. Redondo, J. Pazos-Arias, J. G. Duque","doi":"10.1109/APSEC.2004.28","DOIUrl":"https://doi.org/10.1109/APSEC.2004.28","url":null,"abstract":"This paper presents several enhancements to ARIFS, a reuse environment that sets the foundations for reusing formal verification efforts in an iterative and incremental software process for the design of distributed reactive systems. A criterion based on generic components is added, together with a self-learning mechanism, to reduce the search space and maximize the probability of retrieving useful information. Besides, a formalization is given on how to apply verification tasks on a reduced number of states when the retrieved information is not enough for the user's intents. These enhancements are shown to improve both the effectiveness and the efficiency of ARIFS.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122405388","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
Constructing a usage model for statistical testing with source code generation methods 用源代码生成方法构造统计测试的使用模型
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.42
Tomohiko Takagi, Z. Furukawa
{"title":"Constructing a usage model for statistical testing with source code generation methods","authors":"Tomohiko Takagi, Z. Furukawa","doi":"10.1109/APSEC.2004.42","DOIUrl":"https://doi.org/10.1109/APSEC.2004.42","url":null,"abstract":"In statistical testing, testcases are generated using a usage model which defines usage of software as probability distribution on a state machine diagram. The aim of this study is to automatically construct a usage distribution from operational data, which assists construction of a reasonable usage model at low cost. This paper shows that applying source code generation methods based on a state machine diagram makes it possible. The prototype system has been developed to support the presented method.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115785611","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}
引用次数: 9
Property-oriented testing of real-time systems 实时系统面向属性的测试
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.78
Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
{"title":"Property-oriented testing of real-time systems","authors":"Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi","doi":"10.1109/APSEC.2004.78","DOIUrl":"https://doi.org/10.1109/APSEC.2004.78","url":null,"abstract":"Although statecharts has gained widespread use as a formalism for modeling reactive real-time systems, testing these systems still confronts some difficulties, of which a major one is the existence of numerous and complex system behaviors. It is extremely difficult to conduct comprehensive and in-depth testing of such real-time systems. This paper presents an approach to property-oriented real-time testing. Necessary real-time extensions are proposed such that the time-enriched statecharts can describe nontrivial timing constraints. The properties to be tested are characterized by a restricted real-time logic. Then the targeted test sequences are derived from the real-time models according to the user-specified properties. Using this approach, testing efforts can be focused on particular properties of the real-time systems and usually only a small portion of the total behaviors needs to be tested.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126236215","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
Systematic operational profile development for software components 软件组件的系统操作概要开发
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.95
Rakesh Shukla, D. Carrington, P. Strooper
{"title":"Systematic operational profile development for software components","authors":"Rakesh Shukla, D. Carrington, P. Strooper","doi":"10.1109/APSEC.2004.95","DOIUrl":"https://doi.org/10.1109/APSEC.2004.95","url":null,"abstract":"An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability assessment in general and it can be even more difficult for software components. This paper presents a systematic method for deriving an operational profile for software components. The method uses both actual usage data and intended usage assumptions to derive a usage structure, usage distribution and characteristics of parameters (including relationships between parameters). A usage structure represents the flow and interaction of operation calls. Statecharts are used to model the usage structures. A usage distribution represents probabilities of the operations. The method is illustrated on two Java classes but can be applied to any software component that is accessed through an application program interface (API).","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132988473","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}
引用次数: 20
Dynamic enclose cell routing in mobile sensor networks 移动传感器网络中的动态封闭单元路由
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.46
Yuan-Hung Yang, Dong-hyun Lee, Myong-Soon Park, H. In
{"title":"Dynamic enclose cell routing in mobile sensor networks","authors":"Yuan-Hung Yang, Dong-hyun Lee, Myong-Soon Park, H. In","doi":"10.1109/APSEC.2004.46","DOIUrl":"https://doi.org/10.1109/APSEC.2004.46","url":null,"abstract":"Many routing protocols for wireless sensor network have been proposed, with the purpose of achieving efficient routing. However, when the mobility increases rapidly and the network topology becomes more complex, they have to utilize broadcasting method for packet routing, but the overhead grows rapidly. In this paper, we propose dynamic enclose cell (DEC) routing algorithm to decrease the overhead of routing by constructing the cells with sensor nodes. Compared to existing routing protocols, the DEC routing algorithm is expected to decrease overheads and retain stable networks in high mobility.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"31 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122385508","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
首页 上一页 下一页 尾页
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学术官方微信