{"title":"Stochastic voting algorithms for Web services group testing","authors":"W. Tsai, Dawei Zhang, R. Paul, Yinong Chen","doi":"10.1109/QSIC.2005.58","DOIUrl":"https://doi.org/10.1109/QSIC.2005.58","url":null,"abstract":"This paper proposes a stochastic voting for testing a large number of Web services (WS) under group testing. In the future, a large number of WS would be available and they need to be tested and evaluated in real time. While numerous test input generation techniques are available to generate test inputs, the oracle or the expected output of these test input is often difficult to obtain. One way to obtain the oracle in this case is to give the same input to multiple WS and to establish the oracle by a majority voting. This is based on the assumption that faulty WS often would not produce consistent results, and thus if a majority can be reached, the oracle can be established statistically. However, even correct WS may still produce slightly different outputs, and thus the majority-voting scheme must be carefully designed to distinguish correct but slightly variant output from truly incorrect output. This paper proposes a hierarchical classification based on simulated annealing and multi-dimensional Chi-square statistical techniques to analyze data to see if a majority can be reached. The algorithm is evaluated by a comprehensive simulated data as well as actual data. The data show that the proposed algorithm is effective even in a difficult situation where clusters of WS produce clusters of output.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"41 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":"125014493","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":"Principles of timing anomalies in superscalar processors","authors":"I. Wenzel, R. Kirner, P. Puschner, B. Rieder","doi":"10.1109/QSIC.2005.49","DOIUrl":"https://doi.org/10.1109/QSIC.2005.49","url":null,"abstract":"The counter-intuitive timing behavior of certain features in superscalar processors that cause severe problems for existing worst-case execution time analysis (WCET) methods is called timing anomalies. In this paper, we identify structural sources potentially causing timing anomalies in superscalar pipelines. We provide examples for cases where timing anomalies can arise in much simpler hardware architectures than commonly supposed (i.e., even in hardware containing only in-orderfunctional units). We elaborate the general principle behind timing anomalies and propose a general criterion (resource allocation criterion) that provides a necessary (but not sufficient) condition for the occurrence of timing anomalies in a processor. This principle allows to state the absence of timing anomalies for a specific combination of hardware and software and thus forms a solid theoretic foundation for the time-predictable execution of real-time software on complex processor hardware.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"19 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":"126848719","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 the UML evaluation using taxonomic patterns on meta-classes","authors":"Haohai Ma, Zhe Ji, W. Shao, Lu Zhang","doi":"10.1109/QSIC.2005.70","DOIUrl":"https://doi.org/10.1109/QSIC.2005.70","url":null,"abstract":"In order to evaluate the design quality of the UML, understanding meta-classes is a key activity as they are the primary weapons by which the UML specifies the application domains. The paper introduces taxonomic patterns for clustering the UML meta-classes based on the observation of their evolution and fitness. The result sets of the patterns assist in finding the evidence of the concerns about the UML design and quality. It not only helps to find out problematic meta-classes, possible design defects of the UML and the inconsistency between the UML meta-models and the application domains; but also provides valuable information for guiding the development and evaluation of the UML. The work can be the basis of further quality analysis of the UML meta-models.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"14 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":"128165959","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":"Tool support for agent development using the Prometheus methodology","authors":"L. Padgham, John Thangarajah, M. Winikoff","doi":"10.1109/QSIC.2005.66","DOIUrl":"https://doi.org/10.1109/QSIC.2005.66","url":null,"abstract":"We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus design tool) which supports the design of an intelligent agent system using the Prometheus methodology. We describe how PDT supports the various stages of Prometheus through various means such as consistency checking, support for entity propagation, and hierarchical views. We also describe works that are currently in progress which involves the development of a plug-in for Eclipse with the aim of creating a single integrated development environment which would support the complete development cycle of an agent system from design to deployment.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"355 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":"115897846","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":"Replication for adaptive responsiveness in service-oriented systems","authors":"S. Yau, Gaurav Goyal, Yisheng Yao","doi":"10.1109/QSIC.2005.53","DOIUrl":"https://doi.org/10.1109/QSIC.2005.53","url":null,"abstract":"A major advantage of service-oriented architecture (SOA) is the ability to enable rapid formation of large-scale distributed systems. A dominant factor for the success of service-oriented system is the responsiveness of services, i. e. the availability and timeliness of services when needed. As different levels of responsiveness are expected under various situations, a major limitation of most existing service-oriented systems is that they serve all requests in the order of their arrival. Hence, all clients receive the same level of responsiveness. In this paper, an approach to efficiently and transparently providing adaptive responsiveness is presented. This approach includes an extended SOA architecture with replication and situation-aware load balancing for enabling service providers to offer adaptive responsiveness to clients. Moreover, our approach provides adaptable system capacity at runtime which reduces the cost for service replications, such as energy consumption. Experimental results are also presented to demonstrate the advantages of our approach.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"77 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":"115964296","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":"Ontology based requirements analysis: lightweight semantic processing approach","authors":"H. Kaiya, M. Saeki","doi":"10.1109/QSIC.2005.46","DOIUrl":"https://doi.org/10.1109/QSIC.2005.46","url":null,"abstract":"We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the domain ontology that represents semantic components. Our ontology system consists of a thesaurus and inference rules and the thesaurus part comprises domain specific concepts and relationships suitable for semantic processing. It allows requirements engineers to analyze a requirements specification with respect to the semantics of the application domain. More concretely, we demonstrate following three kinds of semantic processing through a case study, (1) detecting incompleteness and inconsistency included in a requirements specification, (2) measuring the quality of a specification with respect to its meaning and (3) predicting requirements changes based on semantic analysis on a change history.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"44 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":"131264732","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}
Bruce Quig, Michael Kölling, J. Rosenberg, P. Steele
{"title":"Interactive visualisation and testing of Jini services","authors":"Bruce Quig, Michael Kölling, J. Rosenberg, P. Steele","doi":"10.1109/QSIC.2005.37","DOIUrl":"https://doi.org/10.1109/QSIC.2005.37","url":null,"abstract":"Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. However, their dynamic nature however provides extra challenges when understanding, developing, testing and debugging such architectures. This paper identifies and discusses a number of issues and difficulties that are faced in their development. It discusses ways in which the building of such systems can be supported by development tools, focusing particularly on interactive testing and debugging mechanisms. A prototype tool for monitoring and interactively testing Jini services that has been developed to address, and further investigate these issues, is then described.","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":"115940177","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 multi-property trust model for reconfiguring component software","authors":"Minghui Zhou, Hong Mei, Lu Zhang","doi":"10.1109/QSIC.2005.5","DOIUrl":"https://doi.org/10.1109/QSIC.2005.5","url":null,"abstract":"While component software continues to grow in size and complexity, it becomes increasingly difficult to ensure qualities for component services, especially at run-time. This paper focuses on a framework on middleware for dynamic re-configuration of components of different qualities from the view of trust. Firstly, a trust management model is built, in which the management framework and measurement model are presented. Secondly, the reconfiguration algorithm is described based on the model. Thirdly, the trust management is implemented as a kind of public services and some tools on a J2EE-compliant middleware platform, i.e., PKUAS. Finally, the related work is discussed and compared with our research.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"58 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":"121964794","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":"Relevant past performance for selecting Web services","authors":"W. Sherchan, S. Krishnaswamy, S. Loke","doi":"10.1109/QSIC.2005.52","DOIUrl":"https://doi.org/10.1109/QSIC.2005.52","url":null,"abstract":"The selection of Web services is typically based on performance (or perception of performance) in past invocations. Instead of using the entire history of invocations in evaluating the performance of services, we use a portion of the history, selected with respect to the current user request. To facilitate this selection, we establish that it is feasible to infer the requirements and preferences of the users from the SLA.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"62 17 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":"128658986","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":"An efficient consistency management algorithm for real-time mobile collaboration","authors":"S. Citro, J. McGovern, C. Ryan","doi":"10.1109/QSIC.2005.13","DOIUrl":"https://doi.org/10.1109/QSIC.2005.13","url":null,"abstract":"Real time mobile collaboration involves two or more co-workers operating concurrently on a shared document using independent mobile devices. The replicated architecture is attractive for such applications since it does not rely on a central server and a user can continue to work on his or her own local document replica even during disconnection period. Several consistency management algorithms have been proposed, however the resource usage of such algorithms, which is critical in a mobile environment, has not been formally studied. Mobile devices are constrained in terms of memory and processing power, and operate in networking environments with limited bandwidth and transient connectivity. Therefore, algorithms that use resources more effectively improve the quality of the user experience in a mobile environment. ISO 9126-1 considers software to be efficient if it provides a balance between performance, and resource utilisation while performing its function. Therefore, this paper evaluates the efficiency of existing techniques, and proposes a more efficient consistency management algorithm. The new algorithm leverages existing techniques which are shown to be efficient and incorporates a novel history management strategy called partial history copy. Different combinations of these techniques are tested and compared to determine which one is most efficient and thus suitable for mobile usage.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"12 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":"125494967","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}