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

2006 Sixth International Conference on Quality Software (QSIC'06)最新文献

筛选
英文 中文
A Test Data Generation Tool for Unit Testing of C Programs 用于C程序单元测试的测试数据生成工具
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.7
Zhongxing Xu, Jian Zhang
{"title":"A Test Data Generation Tool for Unit Testing of C Programs","authors":"Zhongxing Xu, Jian Zhang","doi":"10.1109/QSIC.2006.7","DOIUrl":"https://doi.org/10.1109/QSIC.2006.7","url":null,"abstract":"This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This makes it capable of generating test data for programs involving pointer and structure operations. Experiments on real-world programs including the GNU coreutils are presented. Some trade-offs of simulation schemes are also discussed","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115143552","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}
引用次数: 30
A Framework for Extensible Component Customization for Component-based Software Development 面向基于组件的软件开发的可扩展组件定制框架
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.1
S. Yau, Choksing Taweponsomkiat, Dazhi Huang
{"title":"A Framework for Extensible Component Customization for Component-based Software Development","authors":"S. Yau, Choksing Taweponsomkiat, Dazhi Huang","doi":"10.1109/QSIC.2006.1","DOIUrl":"https://doi.org/10.1109/QSIC.2006.1","url":null,"abstract":"Component-based software development (CBSD) increases productivity of software developers and improves overall software quality due to high degree of reusability. To achieve the full potential of CBSD, it is necessary for software developers to be able to customize components because it is rare to find the components completely matching their functional and non-functional requirements in the new applications. Existing customization approaches can be used to address this problem only in a narrow set of application domains. Addressing customization in a wide range of application domains is highly desirable, but very challenging because there are usually a number of different ways to customize a component. Different application domains can require vastly different customizations on the same component. In this paper, a framework for extensible component customization, which is independent of any run-time system or platform and can be used in a wide range of application domains, is presented","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114636779","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}
引用次数: 3
Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples 应用统计方法简化使用不完整数据样本构建的软件质量度量模型
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.13
Victor K. Y. Chan, W. E. Wong, T. Xie
{"title":"Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples","authors":"Victor K. Y. Chan, W. E. Wong, T. Xie","doi":"10.1109/QSIC.2006.13","DOIUrl":"https://doi.org/10.1109/QSIC.2006.13","url":null,"abstract":"During the construction of a software metric model, incomplete data often appear in the data sample used for the construction. Moreover, the decision on whether a particular predictor metric should be included is most likely based on an intuitive or experience-based assumption that the predictor metric has an impact on the target metric with a statistical significance. However, this assumption is usually not verifiable \"retrospectively\" after the model is constructed, leading to redundant predictor metric(s) and/or unnecessary predictor metric complexity. To solve all these problems, the authors have earlier derived a methodology consisting of the k-nearest neighbors (k-NN) imputation method, statistical hypothesis testing, and a \"goodness-of fit\" criterion. Whilst the methodology has been applied successfully to software effort metric models, it is applied only recently to software quality metric models which usually suffer from far more serious incomplete data. This paper documents the latter application based on a successful case study","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114782039","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
Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process 基于层次分析法的软件可靠性指标选择方法
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.59
Haifeng Li, Minyan Lu, Qiuying Li
{"title":"Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process","authors":"Haifeng Li, Minyan Lu, Qiuying Li","doi":"10.1109/QSIC.2006.59","DOIUrl":"https://doi.org/10.1109/QSIC.2006.59","url":null,"abstract":"It is very important to select and use appropriate software reliability metrics in software reliability engineering. This paper proposes a framework for selecting software reliability metrics based on analytic hierarchy process (AHP) and expert judgment. Selecting criteria and the metrics for selection are identified. In each development phase, the grading of metrics according to every criterion are given by experts qualitatively, and then analyzed synthetically to calculate the weights of metrics using AHP. A preliminary application is practised, and the metrics whose weights are top-ranked are recommended and analyzed. Sensitivity and consistency of this method are also analyzed. Compared with general selecting criteria, the method studied in this paper can be used to select appropriate metrics correctly, stably and systemically. Furthermore, the final selection results are accordant with engineering experience, and using the metrics recommended will make software reliability evaluation more reliable and effective","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123429117","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
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems 用一种新的离散事件系统控制模型表示SDL扩展有限状态机
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.53
Peng-fei Wang, K. Cai
{"title":"Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems","authors":"Peng-fei Wang, K. Cai","doi":"10.1109/QSIC.2006.53","DOIUrl":"https://doi.org/10.1109/QSIC.2006.53","url":null,"abstract":"This paper discusses EFSM for SDL and transforms EFSM into a novel control model of discrete event systems. We firstly propose a control model of discrete event systems, where the event set is made up of several conflicting pairs and control is implemented to select one event of the pair. We then transform EFSM for SDL to the control model to clarify the control mechanism functioning in SDL flow graphs. This work views the EFSM for SDL in the perspective of supervisory control theory, and this contributes to the field of software cybernetics, which explores the theoretically justified interplay of software and the control","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129245747","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
Experiences with PASS: Developing and Using a Programming Assignment aSsessment System PASS的经验:开发和使用程序设计作业评估系统
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.28
Yuen-Tak Yu, C. Poon, Marian Choy
{"title":"Experiences with PASS: Developing and Using a Programming Assignment aSsessment System","authors":"Yuen-Tak Yu, C. Poon, Marian Choy","doi":"10.1109/QSIC.2006.28","DOIUrl":"https://doi.org/10.1109/QSIC.2006.28","url":null,"abstract":"Computer programming is a skill required in many study disciplines, but acquiring the skill has been known to be difficult for many beginners. With the primary aim to improving the teaching and learning of computer programming, we have developed a Web-based system, namely Programming Assignment aSsessment System (PASS), for use in our courses. This paper presents our experiences with the development and usage of the system, and discusses its impact on our practices in teaching and learning","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127218508","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}
引用次数: 39
Object-Relational Database Metrics Formalization 对象-关系数据库度量形式化
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.44
A. Baroni, C. Calero, Fernando Brito e Abreu, M. Piattini
{"title":"Object-Relational Database Metrics Formalization","authors":"A. Baroni, C. Calero, Fernando Brito e Abreu, M. Piattini","doi":"10.1109/QSIC.2006.44","DOIUrl":"https://doi.org/10.1109/QSIC.2006.44","url":null,"abstract":"In this paper the formalization of a set of metrics for assessing the complexity of ORBDs is presented. An ontology for the SQL:2003 standard was produced, as a framework for representing the SQL schema definitions. It was represented using UML. The metrics were defined with OCL, upon the SQL:2003 ontology","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116902494","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
Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience 向非it学生教授面向对象系统分析:一种实践经验
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.62
N. Yusop
{"title":"Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience","authors":"N. Yusop","doi":"10.1109/QSIC.2006.62","DOIUrl":"https://doi.org/10.1109/QSIC.2006.62","url":null,"abstract":"Teaching software development course is not easy even to people with computer science qualification, let alone to those without such background. However, the author personal experience has proven that this is not impossible. This paper aims at sharing the method adopted in teaching object-oriented systems analysis to postgraduate students without academic qualification or experience in information technology or computer science. Most of them are merely end-users to a number of ubiquitous applications software such as word processors. For the said course, three aspects were given special emphasis: concepts and theories familiarization, application of the theories, and familiarization of technical contents. In view of their background, with respect to the aspects addressed, the author would suggest that the method applied in the teaching of systems analysis is considerably successful for they manage to produce the deliverables required with acceptable quality","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131521829","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
Early Usability Evaluation in Model Driven Architecture Environments 模型驱动架构环境中的早期可用性评估
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.26
S. Abrahão, E. Insfrán
{"title":"Early Usability Evaluation in Model Driven Architecture Environments","authors":"S. Abrahão, E. Insfrán","doi":"10.1109/QSIC.2006.26","DOIUrl":"https://doi.org/10.1109/QSIC.2006.26","url":null,"abstract":"Due to the increasing interest in the model driven architecture (MDA) paradigm, the conceptual models have become the backbone of the software development process. So far some methods exist to develop a user interface according to a MDA-compliant method, none of them explicitly connects usability to their process activities. In this paper, we present a framework which incorporates usability as part of a MDA development process. In particular, a usability model for early evaluation is proposed. Using this model, the usability of a software system is evaluated and improved at the platform independent model (PIM) level. It focuses on the correspondences between the abstract user interface elements and the final user interface elements in a specific platform (CM). This framework has been successfully applied to an industrial MDA tool","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"21 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134300521","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}
引用次数: 54
Control-Flow Analysis and Representation for Aspect-Oriented Programs 面向方面程序的控制流分析与表示
2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.20
Jianjun Zhao
{"title":"Control-Flow Analysis and Representation for Aspect-Oriented Programs","authors":"Jianjun Zhao","doi":"10.1109/QSIC.2006.20","DOIUrl":"https://doi.org/10.1109/QSIC.2006.20","url":null,"abstract":"Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, focused primarily on problem analysis, language design, and implementation. Even though the importance of program comprehension and software maintenance is known, it has received little attention in the aspect-oriented paradigm. However, as the software systems coded in AOP languages are accumulated, the development of techniques and tools to support program comprehension and software maintenance tasks for aspect-oriented software will become important. In order to understand and maintain aspect-oriented programs, abstract models for representing these programs are needed. In this paper, we present techniques to construct control-flow representations for aspect-oriented programs, and discuss some applications of the representations in a program comprehension and maintenance environment","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127951389","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信