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

2006 Sixth International Conference on Quality Software (QSIC'06)最新文献

筛选
英文 中文
Co-evolution of i* Models and 3APL Agents i*模型与3APL试剂的协同进化
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.19
A. Krishna, Ying Guan, A. Ghose
{"title":"Co-evolution of i* Models and 3APL Agents","authors":"A. Krishna, Ying Guan, A. Ghose","doi":"10.1109/QSIC.2006.19","DOIUrl":"https://doi.org/10.1109/QSIC.2006.19","url":null,"abstract":"Agent-oriented conceptual modelling (AOCM), as exemplified by the i* notation (Yu, 1995), represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organisational contexts, stakeholder intentions and rationale. Our objective in this paper is to define means for executing i* models by translating these into set of interacting agents implemented in the 3APL language. We also propose a hybrid modelling, or co-evolution, approach in which i* models and 3APL agent programs are concurrently maintained and updated, while maintaining some modicum of loose coupling via consistency constraints. This paper explores how these two otherwise disparate approaches might be used in a synergistic fashion for requirement engineering","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115704948","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
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs 对称测试中测试质量的半经验模型:在Java卡api测试中的应用
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.6
A. Gotlieb, Patrick Bernard
{"title":"A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs","authors":"A. Gotlieb, Patrick Bernard","doi":"10.1109/QSIC.2006.6","DOIUrl":"https://doi.org/10.1109/QSIC.2006.6","url":null,"abstract":"In the smart card quality assurance field, software testing is the privileged way of increasing the confidence level in the implementation correctness. When testing Java Card application programming interfaces (APIs), the tester has to deal with the classical oracle problem, i.e. to find a way to evaluate the correctness of the computed output. In this paper, we report on an experience in testing methods of the Oberthur Card Systems Cosmo 32 RSA Java Card APIs by using the Symmetric Testing paradigm. This paradigm exploits user-defined symmetry properties of Java methods as test oracles. We propose an experimental environment that combines random testing and symmetry checking for (on-card) cross testing of several API methods. We develop a semi-empirical model (a model fed by experimental data) to help deciding when to stop testing and to assess test quality","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127248232","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
Adaptive Random Testing with Enlarged Input Domain 放大输入域的自适应随机测试
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.8
Johannes Mayer, Christoph Schneckenburger
{"title":"Adaptive Random Testing with Enlarged Input Domain","authors":"Johannes Mayer, Christoph Schneckenburger","doi":"10.1109/QSIC.2006.8","DOIUrl":"https://doi.org/10.1109/QSIC.2006.8","url":null,"abstract":"Adaptive random testing (ART) subsumes a family of random testing techniques that are designed to be more effective than pure random testing. These methods spread test cases more evenly within the input domain than a uniform distribution does. In the present paper, it is investigated why standard ART methods are less effective for higher failure rates. Therefore, the spatial distribution of the test cases generated by these methods is analyzed - also in higher dimensions - with a new approach. Based on the results of the analysis, improved algorithms are proposed that are equally effective for all failure rates as an empirical study reveals","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114893343","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
Managing Quality of Context in Pervasive Computing 普适计算中上下文质量的管理
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.38
Yingyi Bu, T. Gu, Xianping Tao, Jun Li, Shaxun Chen, Jian Lu
{"title":"Managing Quality of Context in Pervasive Computing","authors":"Yingyi Bu, T. Gu, Xianping Tao, Jun Li, Shaxun Chen, Jian Lu","doi":"10.1109/QSIC.2006.38","DOIUrl":"https://doi.org/10.1109/QSIC.2006.38","url":null,"abstract":"Context-awareness plays a key role in a paradigm shift from traditional desktop styled computing to emerging pervasive computing. Many context-aware systems have been built to achieve the vision of pervasive computing and alleviate the human attention bottleneck; however, these systems are far from real world applications. Quality of context is critical in reducing the gap between existing systems and real-life applications. Aiming to provide the support of quality of context, in this paper, we propose a novel quality model for context information and a context management mechanism for inconsistency resolution. We also build a prototype system to validate our proposed model and mechanism, and to assist the development of context-aware applications. Through our evaluations and case study, context-aware applications can be built with the support of quality of context","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123529856","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}
引用次数: 94
Quality Assessment of Mutation Operators Dedicated for C# Programs c#程序专用突变操作符的质量评估
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.51
A. Derezińska
{"title":"Quality Assessment of Mutation Operators Dedicated for C# Programs","authors":"A. Derezińska","doi":"10.1109/QSIC.2006.51","DOIUrl":"https://doi.org/10.1109/QSIC.2006.51","url":null,"abstract":"The mutation technique inserts faults in a program under test in order to assess or generate test cases, or evaluate the reliability of the program. Faults introduced into the source code are defined using mutation operators. They should be related to different, also object-oriented features of a program. The most research on OO mutations was devoted to Java programs. This paper describes analytical and empirical study performed to evaluate the quality of advanced mutation operators for C# programs. Experimental results demonstrate effectiveness of different mutation operators. Unit tests suites and functional tests were used in experiments. A detailed analysis was conducted on mutation operators dealing with delegates and exception handling","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115357653","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}
引用次数: 54
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration 结合形式概念分析和服务集成切片技术提取可重用的面向对象遗留代码段
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.29
Zhuopeng Zhang, Hongji Yang, W. Chu
{"title":"Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration","authors":"Zhuopeng Zhang, Hongji Yang, W. Chu","doi":"10.1109/QSIC.2006.29","DOIUrl":"https://doi.org/10.1109/QSIC.2006.29","url":null,"abstract":"Web services, together with service-oriented architectures, are promising integration technology to facilitate legacy system Webification and evolution. However, a service-oriented re-engineering process is still essential for legacy systems to survive in the service-oriented computing environment. In this service-oriented re-engineering process, understanding and reusing object-oriented code turn to be important activities. In this paper, we proposed a comprehensive approach to support the extraction and integration of reusable object-oriented legacy code. In the extraction phase, formal concept analysis, which is a general and flexible technique for recovering structural design information, and inter-procedural program slicing are adopted as main reverse engineering techniques to recover reusable object-oriented code. In the integration phase, service packaging processes are presented in details. Our approach produces extracted components with core legacy object-oriented code function in Web services by wrapping underlying computing models with XML","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129472997","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 Modeling Framework for Service-Oriented Architecture 面向服务体系结构的建模框架
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.3
Zhang Tao, Shi Ying, Sheng Cao, Xiangyang Jia
{"title":"A Modeling Framework for Service-Oriented Architecture","authors":"Zhang Tao, Shi Ying, Sheng Cao, Xiangyang Jia","doi":"10.1109/QSIC.2006.3","DOIUrl":"https://doi.org/10.1109/QSIC.2006.3","url":null,"abstract":"As a new type of software architecture, service-oriented architecture (SOA) provides a blueprint to solve software reuse and enterprise system integration issues. With the emergence and the rapid development of Web services technologies, SOA has been paid an increasing attention and gained a wide application. For the purpose of supporting service-oriented system development, SOA should be described at a high level of abstraction regardless of techniques involved in the application employment. In the context of the supply-chain management system (SCMS), this paper puts forward a modeling framework for SOA, which regards service component as a first-class modeling entity. In virtue of the meta-modeling techniques, the meta-model of the SCMS is given to promise the interoperation between different systems. Furthermore, architecture specification in SCMS is given and we refine the model to manifest the practicability of our approach","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116817819","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}
引用次数: 41
An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements 一种组合多个组件实现以满足质量要求的方法
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.10
Jie Yang, Gang Huang, Li Zhou, Zhao-Qiong Liu, Meng Ye, Ying Chen
{"title":"An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements","authors":"Jie Yang, Gang Huang, Li Zhou, Zhao-Qiong Liu, Meng Ye, Ying Chen","doi":"10.1109/QSIC.2006.10","DOIUrl":"https://doi.org/10.1109/QSIC.2006.10","url":null,"abstract":"In component-based software systems, sometimes it is difficult to find a single component implementation that satisfies requirements concerning multiple qualities. However, it is possible to compose multiple implementations with identical functions but different qualities to satisfy the requirement. The keys to the composition include (a) finding out the requirement which requires the composition and (b) the design of composition policy to ensure the desired qualities. In this paper, we present an approach consisting of three steps to the composition of component implementations. The identification step leverages some analysis method to find out the necessity of composition as well as the according candidate implementations. The policy design step is responsible for the design and description of composition policies, which are proved to provide the desired qualities. The implementation step carries out the designed policies. The last two steps can be automated to a certain degree. The example of Java Pet Store demonstrates the approach","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116254373","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
Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams 面向智能体的概念模型与用例图的协同演化
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.18
Moshiur Bhuiyan, M. Islam, A. Krishna, A. Ghose
{"title":"Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams","authors":"Moshiur Bhuiyan, M. Islam, A. Krishna, A. Ghose","doi":"10.1109/QSIC.2006.18","DOIUrl":"https://doi.org/10.1109/QSIC.2006.18","url":null,"abstract":"Agent-oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase requirements which includes organizational contexts, stakeholder intentions and rationale. On the other hand, use case diagram is used for capturing functional requirements of the system. The integration of i* model and use case diagram closes the gap of capturing organizational requirements and system requirements. But in both contexts the requirements might change at any time. Any change made in one model must be reflected in the other. This paper proposes a methodology supporting the co-evolution of these two otherwise disparate approaches in a synergistic fashion","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116291556","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
Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems 在软件密集型系统的设计和实现中正确使用代理技术
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.49
R. Gustavsson
{"title":"Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems","authors":"R. Gustavsson","doi":"10.1109/QSIC.2006.49","DOIUrl":"https://doi.org/10.1109/QSIC.2006.49","url":null,"abstract":"Envisions of future network enabled socio-technical systems are in focus of several international ongoing efforts by industry and academia. Different interest groups, e.g., the agent and the grid computing communities, have to that end put forward several roadmaps. However, those roadmaps by and large presuppose a key role to be played by their favorite technologies. We propose another complementary approach with a focus on the requirements on the goal system (network enabled capabilities) and a generic configurable framework to support design, implementation, monitoring, and maintenance of future dependable and secure socio-technical systems. Our methodological approach is grounded on IEEE standards on software intensive systems and on own experiences in development of such systems. We propose the use of agent technologies foremost in requirement engineering and high-level design whence the implementation platform is in our cases preferably based on service oriented architectures as in grid computing","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128254647","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学术文献互助群
群 号：481959085
Book学术官方微信