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

Seventh International Conference on Quality Software (QSIC 2007)最新文献

筛选
英文 中文
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis 一种有效的基于程序路径分析的迭代变形测试算法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.15
Guowei Dong, Changhai Nie, Baowen Xu, Lulu Wang
{"title":"An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis","authors":"Guowei Dong, Changhai Nie, Baowen Xu, Lulu Wang","doi":"10.1109/QSIC.2007.15","DOIUrl":"https://doi.org/10.1109/QSIC.2007.15","url":null,"abstract":"Metamorphic testing (MT) is very practical and effective for programs with oracle problems, and many researches have been done in this field. In this article, we present a new iterative MT algorithm, APCEMSI, to avoid the blindness of existing MT methods. The test suites generated by APCEMSI satisfy a criterion which is defined upon program path analysis technique. Experiment result shows that APCEMSI could find errors effectively with much fewer test cases.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117111854","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
Learning Effective Oracle Comparator Combinations for Web Applications 学习网络应用程序中有效的 Oracle 比较器组合
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.33
Sara Sprenkle, Emily Hill, L. Pollock
{"title":"Learning Effective Oracle Comparator Combinations for Web Applications","authors":"Sara Sprenkle, Emily Hill, L. Pollock","doi":"10.1109/QSIC.2007.33","DOIUrl":"https://doi.org/10.1109/QSIC.2007.33","url":null,"abstract":"Web application testers need automated, effective approaches to validate the test results of complex, evolving Web applications. In previous work, we developed a suite of automated oracle comparators that focus on specific characteristics of a Web application's HTML response. We found that oracle comparators' effectiveness depends on the application's behavior. We also found that by combining the results of two oracle comparators, we could achieve better effectiveness than using a single oracle comparator alone. However, selecting the most effective oracle combination from the large suite of comparators is difficult. In this paper, we propose applying decision tree learning to identify the best combination of oracle comparators, based on the tester's effectiveness goals. Using decision tree learning, we train separately on four Web applications and identify the most effective oracle comparator for each application. We evaluate the learned comparators' effectiveness in a case study and propose a process for testers to apply our learning approach in practice.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129746916","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}
引用次数: 10
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL Isabelle/HOL下验证JVML/CLDC优化的指称语义模型
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.2
H. Yahyaoui, M. Debbabi, N. Tawbi
{"title":"A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL","authors":"H. Yahyaoui, M. Debbabi, N. Tawbi","doi":"10.1109/QSIC.2007.2","DOIUrl":"https://doi.org/10.1109/QSIC.2007.2","url":null,"abstract":"The main intent of this paper is to present a semantic framework for the validation of JVML/CLDC optimizations. The semantic style of the framework is denotational and rests on an extension of the resource pomsets semantics of Gastin and Mislove [12]. The resource pomsets is a fully abstract semantic model that is based on true concurrency. However, it does not support non-determinism that emerges while interpreting JVML/CLDC programs. In this paper, we present an extension of this model that aims to support unbounded non-determinism. More precisely, we give an overview of the construction of the process space and exhibit its algebraic properties. The elaborated semantics is embedded in the proof assistant Isabelle [28] in order to validate optimizations of JVML/CLDC programs. A case study for the validation of some optimizations of JVML/CLDC programs is also presented. The studied optimizations are: constant propagation and dead assignment elimination.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"2002 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128317565","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
AOP Based Trustable SLA Compliance Monitoring for Web Services 基于AOP的Web服务可信赖SLA遵从性监控
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.17
Congwu Chen, Lei Li, Jun Wei
{"title":"AOP Based Trustable SLA Compliance Monitoring for Web Services","authors":"Congwu Chen, Lei Li, Jun Wei","doi":"10.1109/QSIC.2007.17","DOIUrl":"https://doi.org/10.1109/QSIC.2007.17","url":null,"abstract":"With the integration of Web Services as a business solution in many enterprise applications, the quality of service (QoS) presented by Web services is becoming the main concern of both service providers and clients. QoS requirements are recorded as part of the bi-lateral service-level agreement (SLA). In an open and service-oriented market, it is crucial to establish trustable SLA compliance monitoring and thus to assure clients the QoS claimed by providers are credible. In this paper, we propose a novel trustable mechanism to monitor and evaluate SLA compliance based on the aspect oriented programming (AOP) paradigm. Authoritative monitoring aspects are supplied by a trustable SLA manager and by weaving the aspects into susceptible service runtime, service providers are ensured to monitor and report their service status obligatorily and accurately. Our mechanism is trustable, scalable and easy to deploy. We have engaged this mechanism into SOAPExpress and results show that it is effective.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"27 Suppl 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124572988","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}
引用次数: 12
Trustworthiness Evaluation and Testing of Open Source Components 开源组件的可信度评估与测试
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.66
Anne Immonen, M. Palviainen
{"title":"Trustworthiness Evaluation and Testing of Open Source Components","authors":"Anne Immonen, M. Palviainen","doi":"10.1109/QSIC.2007.66","DOIUrl":"https://doi.org/10.1109/QSIC.2007.66","url":null,"abstract":"The use of Open Source Components (OSCs) is rapidly increasing in software systems. One of the biggest obstacles for the use of OSCs is the fact that the software integrators can not be sure of the quality of the components. Thus, it is the responsibility of the integrators to perform the quality evaluation. When building products using OSCs, the integrators should have a clear method and tools that facilitate and automate the evaluation work. Our contribution is a method and tooling for trustworthiness evaluation and testing of OSCs. The method provides clear guidelines to assist the integrators to perform the evaluation in their own software development environment. The tooling assists in the technical trustworthiness evaluation, containing tools for reliability analysis and testing. The tools are independent, co-operating in the open source context.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130631771","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}
引用次数: 32
Distribution Metric Driven Adaptive Random Testing 分布度量驱动的自适应随机测试
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.26
T. Chen, Fei-Ching Kuo, Huai Liu
{"title":"Distribution Metric Driven Adaptive Random Testing","authors":"T. Chen, Fei-Ching Kuo, Huai Liu","doi":"10.1109/QSIC.2007.26","DOIUrl":"https://doi.org/10.1109/QSIC.2007.26","url":null,"abstract":"Adaptive random testing (ART) was developed to enhance the failure detection capability of random testing. The basic principle of ART is to enforce random test cases evenly spread inside the input domain. Various distribution metrics have been used to measure different aspects of the evenness of test case distribution. As expected, it has been observed that the failure detection capability of an ART algorithm is related to how evenly test cases are distributed. Motivated by such an observation, we propose a new family of ART algorithms, namely distribution metric driven ART, in which, distribution metrics are key drivers for evenly spreading test cases inside ART. Out study uncovers several interesting results and shows that the new algorithms can spread test cases more evenly, and also have better failure detection capabilities.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114079370","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
Improving Model-Checkers for Software Testing 改进软件测试的模型检查器
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.30
G. Fraser, F. Wotawa
{"title":"Improving Model-Checkers for Software Testing","authors":"G. Fraser, F. Wotawa","doi":"10.1109/QSIC.2007.30","DOIUrl":"https://doi.org/10.1109/QSIC.2007.30","url":null,"abstract":"In recent years, automated test-case generation with model-checkers has seen increasing attention in the research community. The use of model-checkers for testing offers full automation, a choice of different methods to derive test-suites, and is efficient under certain preconditions. Model-checkers, however, were not originally intended for this task. Therefore, there are several drawbacks that a tester has to cope with. If model-checkers were designed or adapted to take into account the needs that result from the application to software testing, this could lead to significant improvements with regard to test-suite quality and performance. In this paper, we discuss the drawbacks of current model-checkers when used for testing, and suggest ten ways in which model-checkers could be enhanced to be better suited for the task of test-case generation.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127951919","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
Refinement of a Tool to Assess the Data Quality in Web Portals 门户网站数据质量评估工具的改进
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.46
Angélica Caro, C. Calero, J. E. D. Salamanca, M. Piattini
{"title":"Refinement of a Tool to Assess the Data Quality in Web Portals","authors":"Angélica Caro, C. Calero, J. E. D. Salamanca, M. Piattini","doi":"10.1109/QSIC.2007.46","DOIUrl":"https://doi.org/10.1109/QSIC.2007.46","url":null,"abstract":"The Internet is now firmly established as an environment for the administration, exchange and publication of data. To support this, a great variety of Web applications have appeared, among these web portals. Numerous users worldwide make use of Web portals to obtain information for different purposes. These users, or data consumers, need to ensure that this information is suitable for the use to which they wish to put it. PDQM (portal data quality model) is a model for the assessment of portal data quality. It has been implemented in the PoDQA tool (portal data quality assessment tool), which can be accessed at http://podqa.webportalqualitv.com. In this paper we present the various refinements that it has been necessary to make in order to obtain a tool which is stable and able to make accurate and efficient calculations of the elements needed to assess the quality of the data of a Web portal.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131347873","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}
引用次数: 4
Towards a Software Component Certification Framework 迈向软件组件认证框架
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.64
Alexandre Alvaro, E. Almeida, S. Meira
{"title":"Towards a Software Component Certification Framework","authors":"Alexandre Alvaro, E. Almeida, S. Meira","doi":"10.1109/QSIC.2007.64","DOIUrl":"https://doi.org/10.1109/QSIC.2007.64","url":null,"abstract":"The growing use of commercial components in large systems makes selection and evaluation of components an essential activity. Many organizations struggle in their attempts to select an appropriate component in their system. In this way, we propose a certification framework to evaluate the quality of software components in an efficient way.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"264 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133225162","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
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid 验证网络物理系统的不干扰
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.68
Yan Sun, B. McMillin, Xiaoqing Frank Liu, D. Cape
{"title":"Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid","authors":"Yan Sun, B. McMillin, Xiaoqing Frank Liu, D. Cape","doi":"10.1109/QSIC.2007.68","DOIUrl":"https://doi.org/10.1109/QSIC.2007.68","url":null,"abstract":"The advanced electric power grid is a complex real-time system having both cyber and physical components. While each component may function correctly, independently, their composition may yield incorrectness due to interference. One specific type of interference is in the frequency domain, essentially, violations of the Nyquist rate. The challenge is to encode these signal processing problem characteristics into a form that can be model checked. To verify the correctness of the cyber-physical composition using model-checking techniques requires that a model be constructed that can represent frequency interference. In this paper, RT-PROMELA was used to construct the model, which was checked in RT-SPIN. In order to reduce the state explosion problem, the model was decomposed into multiple sub-models, each with a smaller state space that can be checked individually, and then the proofs checked for noninterference. Cooperation among multiple clock variables due to their lack of notion of urgency and their asynchronous interactions, are also addressed.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115529064","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}
引用次数: 42
下一页 尾页
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学术官方微信