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

筛选
英文 中文
Software testing education and training in Hong Kong 香港的软件测试教育及培训
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.57
F. Chan, W. Tang, T. Chen
{"title":"Software testing education and training in Hong Kong","authors":"F. Chan, W. Tang, T. Chen","doi":"10.1109/QSIC.2005.57","DOIUrl":"https://doi.org/10.1109/QSIC.2005.57","url":null,"abstract":"While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in software development do not take software testing sufficiently seriously as an important task. It is worthwhile to find out how far organizations are carrying out software testing in a systematic and structured manner or still taking on an ad-hoc approach. A survey was conducted to understand the software testing practices and the level of related education and training in Hong Kong. It was found that most testing team members did not have formal training in software testing. University curricula generally did not prepare graduates with enough coverage in software testing. It is proposed that a review of the current software engineering curricula in the universities to examine the coverage of software testing will be useful to the development of quality software.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"11 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":"115381759","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
Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation 动作机器——建立一个基于符号计算的模型组成、探索和一致性测试框架
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.10
W. Grieskamp, N. Tillmann, C. Campbell, Wolfram Schulte, Margus Veanes
{"title":"Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation","authors":"W. Grieskamp, N. Tillmann, C. Campbell, Wolfram Schulte, Margus Veanes","doi":"10.1109/QSIC.2005.10","DOIUrl":"https://doi.org/10.1109/QSIC.2005.10","url":null,"abstract":"We report on a framework for model composition, exploration, and conformance testing based on symbolic execution. The foundations of this framework are given by so-called action machines, a variation of labeled transition systems which communicate over synchronously stepped actions and constraints attached to them. The implementation is based on XRT, an exploration engine for .NET CIL code which supports symbolic computation. The main application is in the area of model-based conformance testing, where our approach addresses practical problems users at Microsoft have in applying model-based testing technology.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"168 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":"128346862","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}
引用次数: 19
Design patterns for agent-based service composition in the Web 为Web中基于代理的服务组合设计模式
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.22
Ingo Müller, Peter Braun, R. Kowalczyk
{"title":"Design patterns for agent-based service composition in the Web","authors":"Ingo Müller, Peter Braun, R. Kowalczyk","doi":"10.1109/QSIC.2005.22","DOIUrl":"https://doi.org/10.1109/QSIC.2005.22","url":null,"abstract":"Service-oriented architectures have been recognized as advantageous architectural styles for future enterprise and scientific applications. However, on top of already available middleware layers, many problems regarding services engineering and management have been identified as open issues. The integration of agent-based approaches can provide promising solutions in order to overcome these prevailing obstacles. This paper identifies two agent-based design patterns based on a classification scheme outlining several ways for agent-service integration in the context of agent-based service composition.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"16 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":"128381040","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}
引用次数: 1
A method of generating massive virtual clients and model-based performance test 一种生成大量虚拟客户端和基于模型的性能测试方法
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.4
Gyu-Baek Kim
{"title":"A method of generating massive virtual clients and model-based performance test","authors":"Gyu-Baek Kim","doi":"10.1109/QSIC.2005.4","DOIUrl":"https://doi.org/10.1109/QSIC.2005.4","url":null,"abstract":"Testing the performance of a server that handles massive connections requires to generate massive virtual client connections and to model realistic traffic. In this paper, we propose a novel approach to generate massive virtual clients and realistic traffic. Our approach exploits the Windows I/O completion port (IOCP), which is the Windows NT operating system support for developing a scalable, high throughput server, and model-based testing scenarios. We describe implementation details of the proposed approach. Through analysis and experiments, we prove that the proposed method can predict and evaluate performance data more accurately in cost-effective way.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"37 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":"124492003","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
Towards goal-oriented design of agent systems 面向目标的智能体系统设计
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.68
J. Khallouf, M. Winikoff
{"title":"Towards goal-oriented design of agent systems","authors":"J. Khallouf, M. Winikoff","doi":"10.1109/QSIC.2005.68","DOIUrl":"https://doi.org/10.1109/QSIC.2005.68","url":null,"abstract":"The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial. Goals also play a key role in the implementation of proactive software agents. However, although some agent-oriented software engineering methodologies have incorporated (aspects of) goal-oriented requirements engineering, and although they target agent platforms that provide goals as an implementation construct, none of the methodologies provide a goal-oriented design process. We present modifications to the Prometheus methodology which make it more goal-oriented in its design phases and report on an experimental evaluation comparing the effectiveness of the original and refined methodologies.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"117 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":"126517179","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}
引用次数: 11
OMWSC - an ontology-based model for Web services composition OMWSC——用于Web服务组合的基于本体的模型
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.44
Jiangang Ma, Yanchun Zhang, Minglu Li
{"title":"OMWSC - an ontology-based model for Web services composition","authors":"Jiangang Ma, Yanchun Zhang, Minglu Li","doi":"10.1109/QSIC.2005.44","DOIUrl":"https://doi.org/10.1109/QSIC.2005.44","url":null,"abstract":"Web services have been increasingly used to integrate and build business applications over the Internet in the recent years. Once a Web service is published and deployed, other applications can discover and invoke it. A component Web service usually provides clients with single and simple functionality, but complex Web-based applications and business communities often involve different kinds and numbers of Web services to achieve their objectives. This puts forward to a challenge: how to automatically compose component Web services to form a new composite Web service? In this paper we study the issue of composing Web services with combination of ontology, Web services and agent technology. We present a goal-driven and ontology-based architecture in which (1) user's goal is decomposed to subgoals; (2) the information in the goal and Web services are annotated with domain specific ontology; (3) AI technology and theory of reasoning about action are used to compose Web services. We also present a composing algorithm to show an application.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"3 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":"116894004","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}
引用次数: 11
A system to mark programs automatically 一种自动标记程序的系统
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.9
Ken Ngo-Pham, J. Bigham, Julian Rodaway, L. Tokarchuk
{"title":"A system to mark programs automatically","authors":"Ken Ngo-Pham, J. Bigham, Julian Rodaway, L. Tokarchuk","doi":"10.1109/QSIC.2005.9","DOIUrl":"https://doi.org/10.1109/QSIC.2005.9","url":null,"abstract":"This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of software and then marks it according to criteria and solutions provided by the examiner. It has been designed as a client server system supporting many simultaneous clients, with a modular structure that provides flexibility, allowing components to be added for new courses and kinds of questions without having to change the existing core structure. It is hoped that by sharing this software with others, a set of modules can be constructed to examine a range of programming questions. This report outlines the structure of the system. It is currently being evaluated in class assessments for software courses in network programming.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"23 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":"128195917","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
Quality assurance in the design of Web information systems Web信息系统设计中的质量保证
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.51
Alexander Bienemann, B. Thalheim, K. Schewe, Jane Zhao
{"title":"Quality assurance in the design of Web information systems","authors":"Alexander Bienemann, B. Thalheim, K. Schewe, Jane Zhao","doi":"10.1109/QSIC.2005.51","DOIUrl":"https://doi.org/10.1109/QSIC.2005.51","url":null,"abstract":"Despite the fact that several integrated development methods for Web information systems (WISs) have been proposed, quality assurance for such systems has hardly been addressed. In this paper some quality criteria are postulated and investigated by combining semi-formal and formal methods. On a high level of abstractions WISs can be described by abstract locations and transitions between them. These so-called story spaces can be formalised using abstract state machines (ASMs), which permit to verify, whether user-tailored versions are compatible with user preferences. Furthermore, ASMs provide a framework for refinement, which permits the integration of story spaces with extended views on databases. This leads to further proof obligations for consistency that can be formalised in the logic associated with ASMs.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"40 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":"122486469","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
Dynamic delivery of software development curriculum 软件开发课程的动态交付
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.25
Allan Fisher, J. Lehman
{"title":"Dynamic delivery of software development curriculum","authors":"Allan Fisher, J. Lehman","doi":"10.1109/QSIC.2005.25","DOIUrl":"https://doi.org/10.1109/QSIC.2005.25","url":null,"abstract":"\"Courseware\" may have replaced traditional textbooks as the source of pedagogy in modern classrooms, but the problem of keeping curriculum in sync with changing needs remains. We present one approach to meeting those needs: dynamic curriculum delivery. In this approach, analysis of data from student performance, feedback from teachers, and the ongoing use of expert knowledge from the field keep courseware up to date, relevant, and consistent with the educational goals of the school, teachers, and students, in a variety of educational and cultural contexts.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"30 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":"121353107","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
Modeling software characteristics and their correlations in a specific domain by comparing existing similar systems 通过比较现有的类似系统,对特定领域的软件特征及其相关性进行建模
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.43
A. Osada, Daigo Ozawa, H. Kaiya, K. Kaijiri
{"title":"Modeling software characteristics and their correlations in a specific domain by comparing existing similar systems","authors":"A. Osada, Daigo Ozawa, H. Kaiya, K. Kaijiri","doi":"10.1109/QSIC.2005.43","DOIUrl":"https://doi.org/10.1109/QSIC.2005.43","url":null,"abstract":"Software in a specific domain has several characteristics and each characteristic should be fixed when the software requirements are specified. In addition, these characteristics sometimes correlate with each other. However, we sometimes forget to specify several characteristics and/or to take their correlations into account during requirements elicitation. In this paper, we propose a meta-model for representing such characteristics and their correlations, and also propose a method to build a model for a specific domain by using documents about existing software systems. By using our model for a domain, a requirements specification for a system in the domain could be complete and unambiguous because requirements analysts can check the characteristics that should be decided. The specification could be also correct and consistent because the analysts can know side effects of a requirement change by using correlation among the characteristics. We have applied our methods to a case study for confirming the usefulness of such model and the methods.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"21 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":"126555394","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
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学术官方微信