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

Fifth International Conference on Quality Software (QSIC'05)最新文献

筛选
英文 中文
Proving the safety of SQL queries 证明SQL查询的安全性
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.50
Stefan Brass, C. Goldberg
{"title":"Proving the safety of SQL queries","authors":"Stefan Brass, C. Goldberg","doi":"10.1109/QSIC.2005.50","DOIUrl":"https://doi.org/10.1109/QSIC.2005.50","url":null,"abstract":"Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime errors are possible. Since the occurrence of these errors depend on the data, they are not easily found during testing. The question whether a query is safe can be reduced to a consistency check. It is well known that consistency is in general undecidable, and that this applies also to SQL queries. However, in this paper, we propose a consistency check that can handle a surprisingly large subset of SQL (it uses Skolemization with sorted Skolem functions, and a few other tricks). This consistency check is also the basis for generating other semantic warnings. Furthermore, it can be used to generate test data for SQL queries.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128390228","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
Guiding agent-oriented requirements elicitation: HOMER 引导面向代理的需求引出:HOMER
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.34
Damien Wilmann, L. Sterling
{"title":"Guiding agent-oriented requirements elicitation: HOMER","authors":"Damien Wilmann, L. Sterling","doi":"10.1109/QSIC.2005.34","DOIUrl":"https://doi.org/10.1109/QSIC.2005.34","url":null,"abstract":"There has been a surge of interest in agent-oriented software engineering in recent years. The key area of requirements engineering for agent-based systems has received considerable attention. However, while notations and models for requirements have been discussed, there has been little attention focused on techniques for elicitation. This paper introduces HOMER, an approach for requirements elicitation that is explicitly agent-oriented. HOMER can be used with existing approaches for agent-oriented software engineering. In this paper, we show how HOMER may be integrated with a specific agent-oriented software engineering approach, ROADMAP. HOMER is aimed to increase the ease with which people may readily design and develop agent-based systems.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"25 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113969747","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
Identification of categories and choices in activity diagrams 识别活动图中的类别和选择
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.36
T. Chen, Sau-Fun Tang, P. Poon, T. H. Tse
{"title":"Identification of categories and choices in activity diagrams","authors":"T. Chen, Sau-Fun Tang, P. Poon, T. H. Tse","doi":"10.1109/QSIC.2005.36","DOIUrl":"https://doi.org/10.1109/QSIC.2005.36","url":null,"abstract":"The choice relation framework (CHOC'LATE) provides a systematic skeleton for constructing test cases from specifications. An early stage of the framework is to identify a set of categories and choices from the specification, which is not a trivial task when this document is largely informal and complex. Despite the difficulty, the identification task is very important because the quality of the identified categories and choices will affect the comprehensiveness of the test cases and, hence, the chance of revealing software faults. This paper alleviates the problem by introducing a technique for identifying categories and choices from the activity diagrams in the specification. This technique also helps determine the relations between some pair of choices in the choice relation table - an essential step of CHOC'LATE for the subsequent generation of test cases.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114345723","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}
引用次数: 18
Measuring the complexity of a UML component specification 度量UML组件规范的复杂性
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.39
Sajjad Mahmood, R. Lai
{"title":"Measuring the complexity of a UML component specification","authors":"Sajjad Mahmood, R. Lai","doi":"10.1109/QSIC.2005.39","DOIUrl":"https://doi.org/10.1109/QSIC.2005.39","url":null,"abstract":"Component based system (CBS) development is about assembling individual components to produce a working system. However, its overall complexity does not only depend on the complexity of individual components. Further, component source code information is usually unavailable and they introduce additional properties such as constraints associated with its use, interactions among components, and customizability. The traditional complexity metrics are not adequate and do not easily apply to CBS as they mainly focus on either lines of codes (LOC) or information based on objects, classes and their inheritance properties. Recent CBS research suggests that most faults are found in few components. A complexity measure at specification level can be used for identifying these components; and precautionary actions can be taken to avoid the likely failures and to lower maintenance costs. There is therefore a need to develop a new technique for measuring the complexity of a component specification. This paper describes a complexity measure for a component specification written in Unified Modeling Language (UML).","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129936461","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}
引用次数: 14
A service workflow management framework based on peer-to-peer and agent technologies 基于点对点和代理技术的服务工作流管理框架
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.8
Jun Yan, Yun Yang, R. Kowalczyk, X. Nguyen
{"title":"A service workflow management framework based on peer-to-peer and agent technologies","authors":"Jun Yan, Yun Yang, R. Kowalczyk, X. Nguyen","doi":"10.1109/QSIC.2005.8","DOIUrl":"https://doi.org/10.1109/QSIC.2005.8","url":null,"abstract":"Service workflow management which consolidates multiple services to achieve business goals has become a critical issue in service-oriented computing. Due to the unique feature of service workflows such as full distribution and high dynamicity, the contemporary workflow technology has exhibited inefficiency, vulnerability, inflexibility and lack of adaptability. Based upon the authors' previous work on peer-to-peer based workflow management and seamless integration of agents and Web services, this paper innovatively presents SwinDeW-A which is a decentralised service workflow management framework based on peer-to-peer and agent technologies. Based on this framework, this paper also discusses how autonomous service level agreement negotiation, decentralised process enactment, and autonomous process adaptation can be achieved. The proposed approach takes advantages of the peer-to-peer computing technology and the agent technology to provide more efficient, reliable, flexible and adaptive service workflow management.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126508733","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
Scientific workflow management: between generality and applicability 科学的工作流管理:在通用性与适用性之间
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.56
Zhiming Zhao, A. Belloum, A. Wibisono, F. Terpstra, P. T. D. Boer, P. Sloot, L. Hertzberger
{"title":"Scientific workflow management: between generality and applicability","authors":"Zhiming Zhao, A. Belloum, A. Wibisono, F. Terpstra, P. T. D. Boer, P. Sloot, L. Hertzberger","doi":"10.1109/QSIC.2005.56","DOIUrl":"https://doi.org/10.1109/QSIC.2005.56","url":null,"abstract":"In a problem solving environment (PSE), a scientific workflow management system (SWMS) provides a meta environment for managing activities and data in scientific experiments, for prototyping experimental computing systems and for orchestrating the runtime system behaviour. The realisation of a SWMS is often driven by domain specific applications and thus is at application level. Investigating the common characteristics in domain specific SWMSs and encapsulating them in a generic framework improve the reusability of the SWMS components and reduce the costs for introducing an e-science framework in a new science domain. In this position paper, we present our research in an ongoing project: virtual laboratory for e-science (VL-e). In the VL-e project, we are building a generic e-science framework which would support scientists from different domains to share their knowledge and to perform specific experiments. We summarise the lessons we have learned from a previous VL-e implementation, and discuss the plan for improving the quality of the SWMS support in the VL-e framework.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133461074","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
Designing activities for learning software quality practices 设计学习软件质量实践的活动
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.23
Yuen-Tak Yu, P. Poon
{"title":"Designing activities for learning software quality practices","authors":"Yuen-Tak Yu, P. Poon","doi":"10.1109/QSIC.2005.23","DOIUrl":"https://doi.org/10.1109/QSIC.2005.23","url":null,"abstract":"This paper presents our design of the learning activities in a course on software quality practices. We describe how we strive to provide opportunities for students to gain hands-on experience on exemplar software quality practices in spite of various constraints.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128159804","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
On the test case definition for GUI testing 关于GUI测试的测试用例定义
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.45
K. Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang
{"title":"On the test case definition for GUI testing","authors":"K. Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang","doi":"10.1109/QSIC.2005.45","DOIUrl":"https://doi.org/10.1109/QSIC.2005.45","url":null,"abstract":"GUI testing is an area of growing importance, facing a number of severe challenges. A few methods have been proposed for GUI testing. However it is still not clear how to define GUI test cases and how many actions should be comprised of a GUI test case. In this paper we propose an approach that defines GUI test cases as a sequence of primitive GUI actions and treats GUI test suites as an inner hierarchy of formal language. This is not only theoretically solid but also practically convenient. The dimension of a GUI test suite and the order of a GUI test case can be defined uniquely. A convenient procedure is available that generates higher-order test cases from lower-order test cases. Three testing experiments with a real-world Internet browser reveal that second-order test cases may significantly outperform first-order test cases in GUI testing and should be generated to perform particular GUI functions. In addition, the number of actions applied during testing should be used to replace the number of tests performed during testing to evaluate the effectiveness of GUI testing processes. This paper provides a potential link between formal language theory and GUI testing.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126487428","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
Operating guidelines - an automata-theoretic foundation for the service-oriented architecture 操作指南——面向服务的体系结构的自动理论基础
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.47
Peter Massuthe, K. Wolf
{"title":"Operating guidelines - an automata-theoretic foundation for the service-oriented architecture","authors":"Peter Massuthe, K. Wolf","doi":"10.1109/QSIC.2005.47","DOIUrl":"https://doi.org/10.1109/QSIC.2005.47","url":null,"abstract":"In the service-oriented architecture (SOA), we distinguish three roles of service owners: service providers, service requesters, and service brokers. Each service provider publishes information to the broker about how requesters can interact with its service. Thus, the broker can assign a fitting service provider to a querying requester. We propose the information published to the broker to be operating guidelines. Operating guidelines are essentially communication instructions for the service requester. We present an automata-theoretic approach that is centered around operating guidelines and is capable of implementing all tasks arising in the SOA.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114922108","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}
引用次数: 45
首页 上一页
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学术官方微信