{"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}
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}
{"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}
{"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}
{"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}
{"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}
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}
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}
{"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}
{"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}