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

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

筛选
英文 中文
A Multivariate Analysis of Static Code Attributes for Defect Prediction 用于缺陷预测的静态代码属性的多元分析
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.4
Burak Turhan, A. Bener
{"title":"A Multivariate Analysis of Static Code Attributes for Defect Prediction","authors":"Burak Turhan, A. Bener","doi":"10.1109/QSIC.2007.4","DOIUrl":"https://doi.org/10.1109/QSIC.2007.4","url":null,"abstract":"Defect prediction is important in order to reduce test times by allocating valuable test resources effectively. In this work, we propose a model using multivariate approaches in conjunction with Bayesian methods for defect predictions. The motivation behind using a multivariate approach is to overcome the independence assumption of univariate approaches about software attributes. Using Bayesian methods gives practitioners an idea about the defectiveness of software modules in a probabilistic framework rather than the hard classification methods such as decision trees. Furthermore the software attributes used in this work are chosen among the static code attributes that can easily be extracted from source code, which prevents human errors or subjectivity. These attributes are preprocessed with feature selection techniques to select the most relevant attributes for prediction. Finally we compared our proposed model with the best results reported so far on public datasets and we conclude that using multivariate approaches can perform better.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"22 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":"129055898","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}
引用次数: 51
Test-Based Specifications of Components and Systems 基于测试的组件和系统规范
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.58
D. Hamlet
{"title":"Test-Based Specifications of Components and Systems","authors":"D. Hamlet","doi":"10.1109/QSIC.2007.58","DOIUrl":"https://doi.org/10.1109/QSIC.2007.58","url":null,"abstract":"Several program-analysis schemes now make unusual use of information derived from execution sampling. From finite test sets these techniques derive measures with wider meaning, which can then be exploited in novel ways. We call test information used beyond its actual limitations a test-based specification. The idea is quite different from the usual software specification, which is an a priori statement of what a program should do. Rather, a test-based specification is an empirical approximation to what a program actually does do. The great virtue in analysis using test-based specifications is that (in contrast to the usual software specifications) test-based analysis is decidable and automatic. A test-based specification system for component-based software development (CBSD) has been implemented over the past five years, along with an extension of fundamental testing theory to precisely describe its properties. The CBSD tools provide an ideal context for experiments to study test-based specification, providing insights into sub- domain testing, composition of test results, and especially the role that program persistent state plays in testing and analysis. This paper describes the CBSD theory and tools, lists insights gained, and suggests new ways to think about and practice testing using test-based specifications.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"11 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":"125612816","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
A Reinforcement-Learning Approach to Failure-Detection Scheduling 故障检测调度的强化学习方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.4385492
Fancong Zeng
{"title":"A Reinforcement-Learning Approach to Failure-Detection Scheduling","authors":"Fancong Zeng","doi":"10.1109/QSIC.2007.4385492","DOIUrl":"https://doi.org/10.1109/QSIC.2007.4385492","url":null,"abstract":"A failure-detection scheduler for an online production system must strike a tradeoff between performance and reliability. If failure-detection processes are run too frequently, valuable system resources are spent checking and rechecking for failures. However, if failure-detection processes are run too rarely, a failure can remain undetected for a long time. In both cases, system performability suffers. We present a model-based learning approach that estimates the failure rate and then performs an optimization to find the tradeoff that maximizes system performability. We show that our approach is not only theoretically sound but practically effective, and we demonstrate its use in an implemented automated deadlock-detection system for Java.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"10 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":"128034220","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
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach 用模型检查验证UML图:一种基于逻辑的重写方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.69
Farid Mokhati, P. Gagnon, M. Badri
{"title":"Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach","authors":"Farid Mokhati, P. Gagnon, M. Badri","doi":"10.1109/QSIC.2007.69","DOIUrl":"https://doi.org/10.1109/QSIC.2007.69","url":null,"abstract":"We present, in this paper, a framework supporting a formal verification of UML diagrams using the Maude language. The approach considers both static and dynamic features of object-oriented systems. We focus, in particular, on UML class, state and communication diagrams. The formal and object-oriented language Maude, based on rewriting logic, supports formal specification and programming of concurrent systems, as well as model checking. The major motivations of this work are: (1) bind together the UML notation and the Maude language (2) preserve the coherence in object-oriented systems description, (3) use model checking techniques to support formally their verification process. The generated Maude specifications, from the considered UML diagrams, are validated by simulation and model checking. The approach is illustrated using a concrete case study.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"72 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":"125914720","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
Systematic Development of Quality Aware Decentralised Service-Oriented Systems 有质量意识的分散式服务系统的系统开发
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.56
L. Chan, S. Karunasekera
{"title":"Systematic Development of Quality Aware Decentralised Service-Oriented Systems","authors":"L. Chan, S. Karunasekera","doi":"10.1109/QSIC.2007.56","DOIUrl":"https://doi.org/10.1109/QSIC.2007.56","url":null,"abstract":"Quality-of-Service (QoS) enhanced service-oriented systems are becoming more important due to the need to support various demands of different application domains. Such rising importance and inadequate existing solutions necessitate a finer feature-level development support that can promote systematic verification of more robust QoS features. Consequently, this paper proposes a systematic methodology to develop versatile or adaptive QoS features in service-oriented systems built for decentralised environments such as peer-to- peer and mobile networks.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"44 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":"122588908","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 Pattern-Based Constraint Description Approach for Web Services 基于模式的Web服务约束描述方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.5
Qianxiang Wang, Min Li, Na Meng, Yonggang Liu, Hong Mei
{"title":"A Pattern-Based Constraint Description Approach for Web Services","authors":"Qianxiang Wang, Min Li, Na Meng, Yonggang Liu, Hong Mei","doi":"10.1109/QSIC.2007.5","DOIUrl":"https://doi.org/10.1109/QSIC.2007.5","url":null,"abstract":"Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-security, WS-reliable, WSOL, and service interaction protocols are all typical efforts toward this direction. Based on the cognition that a complete description of service is impossible, this paper proposes a pattern based constraint description approach for web services. We illustrate the approach with a constraint pattern hierarchy which focuses on the messages exchanged between client and server. And a RDF based constraint description language is proposed, so as to give explicit semantics to the specified constraint descriptions. The application on a web-based auction system shows that our approach is feasible.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"31 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":"130410520","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
Semantic Computing and Quality Software 语义计算与质量软件
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.48
P. Sheu
{"title":"Semantic Computing and Quality Software","authors":"P. Sheu","doi":"10.1109/QSIC.2007.48","DOIUrl":"https://doi.org/10.1109/QSIC.2007.48","url":null,"abstract":"The field Semantic Computing applies technolo- gies in natural language processing, data and knowledge engineering, software engineering, computer systems and networks, signal processing and pattern recogni- tion, and any combination of the above to extract, access, transform and synthesize the semantics as well as the contents of multimedia, texts, services and structured data.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"30 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120914230","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
Proposition for E-DoD: An Overall Plan for Network-Centric Operation 电子国防部的主张:网络中心作战的总体方案
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.41
R. Paul
{"title":"Proposition for E-DoD: An Overall Plan for Network-Centric Operation","authors":"R. Paul","doi":"10.1109/QSIC.2007.41","DOIUrl":"https://doi.org/10.1109/QSIC.2007.41","url":null,"abstract":"DoD currently has a crisis of software economics. As software becomes complex, our ability to design,develop, produce, distribute, and maintain software isbeing increasingly challenged. This crisis shows every sign of deepening in the future.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"13 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":"123677619","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 QoS-Enabled WorkManager Model for Web Application Servers 一个支持qos的Web应用服务器工作管理器模型
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.6
Wei Wang, Wen-bo Zhang, Jun Wei, Tao Huang
{"title":"A QoS-Enabled WorkManager Model for Web Application Servers","authors":"Wei Wang, Wen-bo Zhang, Jun Wei, Tao Huang","doi":"10.1109/QSIC.2007.6","DOIUrl":"https://doi.org/10.1109/QSIC.2007.6","url":null,"abstract":"The overload of Web application servers (WAS) is a typical and critical problem encountered in nowaday Web commerce. This problem imposes greater demands on WAS to provide QoS support under overload conditions. However, even with a practical solution, the implementation of a flexible QoS model to enable finegrained QoS control in WAS is still a challenging task. In this paper we propose a QoS-enabled workmanager model (WMQ), which hides the complexity of QoS mechanisms implementations and provides a flexible QoS architecture. Hybrid QoS schemes are proposed base on this model to support self-optimization and fine-grained QoS control. We implement this model and integrate it in a Web application server. Our integrating experience shows that the WMQ model significantly reduces the implementation effort in developing a QoS-enabled WAS. We evaluate this model by a TPC-W workload generator in a typical e-commerce application. Evaluation results show that, our overload control allows consistent performance and improves the system throughput up to 22% during extreme overload. In addition, compared with other widely used scheduling policies, our hybrid request scheduling policy shows better performance on improving the system throughput and minimizing the number of aborted requests.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"65 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":"115366427","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
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria 基于安全评估标准的场景编织安全需求提取
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.47
Hiroya Itoga, A. Ohnishi
{"title":"Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria","authors":"Hiroya Itoga, A. Ohnishi","doi":"10.1109/QSIC.2007.47","DOIUrl":"https://doi.org/10.1109/QSIC.2007.47","url":null,"abstract":"Software is required to comply with the laws and standards of software security. However, stakeholders with less concern regarding security can neither describe the behaviour of the system with regard to security nor validate the system's behaviour when the security function conflicts with usability. Scenarios or use- case specifications are common in requirements elicitation and are useful to analyse the usability of the system from a behavioural point of view. In this paper, the authors propose a method to weave scenario fragments based on security evaluation criteria into scenarios. The experiments showed that the weaving method led to a better scenario than the method involving writing or modifying the scenario with reference to security evaluation criteria.","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":"128717897","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
首页 上一页 下一页 尾页
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学术官方微信