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

Third International Conference on Quality Software, 2003. Proceedings.最新文献

筛选
英文 中文
A dialog control framework for hypertext-based applications 用于基于超文本的应用程序的对话框控制框架
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319100
Matthias Book, V. Gruhn
{"title":"A dialog control framework for hypertext-based applications","authors":"Matthias Book, V. Gruhn","doi":"10.1109/QSIC.2003.1319100","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319100","url":null,"abstract":"Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insufficient dialog control logic, they cannot manage nested and hierarchical dialog structures that users have come to expect from window-based UIs. We therefore present a framework that implements a dialog control logic capable of handling complex, nested dialog structures, and introduce a notation and an XML-based language for specifying such dialog structures. Key concepts are the encapsulation of multiple dialog steps in context-independent dialog modules that can be nested arbitrarily, and the specification of multiple device-specific interaction patterns for a single device-independent application logic. The framework allows black box reuse, leaving only the implementation of the application logic, the design of the user interface and the specification of the dialog flow to application developers.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115364351","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}
引用次数: 6
Software cost estimation through conceptual requirement 通过概念需求估算软件成本
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319096
Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang
{"title":"Software cost estimation through conceptual requirement","authors":"Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang","doi":"10.1109/QSIC.2003.1319096","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319096","url":null,"abstract":"Software cost estimation is vital for the effective control and management of the whole software development process. Currently, the constructive cost model (COCOMO II) is the most popular tool for estimating software cost. It uses lines of code and function points to assess software size. However, these are actually implementation details and difficult to estimate during the early stage of software development. The entity relationship (ER) model is well used in conceptual modeling (requirements analysis) for data-intensive systems. In this article, we explore the use of ER model for the estimation of software cost. A new term, path complexity, is proposed. Based on path complexity and other factors, we built a multiple regression model for software cost estimation. The approach has been validated statistically through system data from the real industry projects.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126823899","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}
引用次数: 24
How to test software for optimal software reliability assessment 如何测试软件以获得最佳的软件可靠性评估
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319083
K. Cai, Yong-Chao Li, Ke Liu
{"title":"How to test software for optimal software reliability assessment","authors":"K. Cai, Yong-Chao Li, Ke Liu","doi":"10.1109/QSIC.2003.1319083","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319083","url":null,"abstract":"The controlled Markov chains (CMC) approach to software testing models the software under test as a controlled Markov chain and treats it as a controlled object. It treats software testing strategy as the corresponding controller. Our previous work has shown that the CMC approach is applicable to dealing with the software testing problem for optimal software reliability growth. In this paper we show that software reliability assessment can be treated as an adaptive control problem and the CMC approach is also applicable to dealing with the optimal software testing problem for software reliability assessment. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125660192","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}
引用次数: 6
Testability analysis applied to embedded data-flow software 嵌入式数据流软件的可测试性分析
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319121
N. T. Binh, M. Delaunay, C. Robach
{"title":"Testability analysis applied to embedded data-flow software","authors":"N. T. Binh, M. Delaunay, C. Robach","doi":"10.1109/QSIC.2003.1319121","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319121","url":null,"abstract":"Testability is an important quality factor of software, particularly embedded data-flow software such as avionics software. A lack of testability of such software can badly affect test costs and software dependability. Testability analysis can be used to identify parts of software which are difficult for testing. In this paper, we propose the use of the static single assignment (SSA) form to transform source code generated from data-flow designs into a data-flow representation, and then we describe some algorithms to automatically translate the SSA form into a testability model. Thus, some metrics can be applied to the testability model in order to locate the software parts which induce a weakness of the testability.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130901288","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}
引用次数: 14
Verifying CIM models of Apache Web-server configurations 验证Apache web服务器配置的CIM模型
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319113
C. Sinz, Amir Khosravizadeh, W. Küchlin, Viktor Mihajlovski
{"title":"Verifying CIM models of Apache Web-server configurations","authors":"C. Sinz, Amir Khosravizadeh, W. Küchlin, Viktor Mihajlovski","doi":"10.1109/QSIC.2003.1319113","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319113","url":null,"abstract":"We show how configuration properties of the Apache Web-server can be formally verified, so that an installation is safe with respect to both universal and site specific local constraints. Our approach starts from an existing semi-formal component model of the Web-server in the common information model (CIM) standard. Hence, our approach is applicable also to the verification of other systems for which a CIM model exists.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133885292","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}
引用次数: 14
Combining behavior and data modeling in automated test case generation 在自动测试用例生成中结合行为和数据建模
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319108
Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki
{"title":"Combining behavior and data modeling in automated test case generation","authors":"Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki","doi":"10.1109/QSIC.2003.1319108","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319108","url":null,"abstract":"Software testing plays a critical role in the process of creating and delivering high-quality software products. Manual software testing can be an expensive, tedious and error-prone process, therefore testing is often automated in an attempt to reduce its cost and improve its defect detection capability. Model-based testing, a technique used in automated test case generation, is an important topic because it addresses the need for test suites that are of high-quality and yet, maintainable. Current model-based techniques often use a single model to represent system behavior. Using a single model may restrict the number and type of test cases that may be generated. In this paper, system-level test case generation is accomplished using two models to represent system behavior. The results of case studies used to evaluate this technique indicate that for the systems studied a larger percentage of the required test cases can be generated using the combined modeling approach.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124915940","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}
引用次数: 26
A study of the metrics applied to the software evaluation framework 'SEF' 应用于软件评估框架“SEF”的度量研究
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319085
B. Wong
{"title":"A study of the metrics applied to the software evaluation framework 'SEF'","authors":"B. Wong","doi":"10.1109/QSIC.2003.1319085","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319085","url":null,"abstract":"The primary objective of this paper was to present a study on the metrics which can be applied to the software evaluation framework. The paper presents the results of a preliminary study, which focuses on the measurements applied to the framework. It provides a description of the metrics used and an analysis of how they compare to each other in the measurement of the software characteristics. This objective was accomplished by empirically testing the model with quantitative techniques. An earlier qualitative study provided a list of metrics, which were then tested with the quantitative study described in this paper. The results of this study are important as it identifies the metrics, perceived by stakeholders as essential for applying the software evaluation framework to software evaluation.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127850194","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}
引用次数: 8
A preliminary checklist for software cost management 软件成本管理的初步清单
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319095
M. Jørgensen, Kjetil Moløkken-Østvold
{"title":"A preliminary checklist for software cost management","authors":"M. Jørgensen, Kjetil Moløkken-Østvold","doi":"10.1109/QSIC.2003.1319095","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319095","url":null,"abstract":"This paper presents a process framework and a preliminary checklist for software cost management. While most textbooks and research papers on cost estimation look mainly at the \"estimation\" phase, our framework and checklist includes the phases relevant to estimation: \"preparation\", \"estimation\", \"application\", and \"learning\". We believe that cost estimation processes and checklists should support these phases to enable high estimation accuracy. The checklist we suggest is based on checklists from a number of sources, e.g., a handbook in forecasting and checklists present in several Norwegian software companies, it needs, however, to be extended through feedback from other researchers and software practitioners. There is also a need for a provision of conditions for meaningful use of the checklist issues and descriptions of the strength and sources of evidence in favor of the checklist issues. The present version of the checklist should therefore be seen as preliminary and we want to get feedback from the conference participants and other readers of this paper for further improvements.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125906577","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}
引用次数: 22
Dynamic test allocation model for software reliability 软件可靠性动态测试分配模型
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319082
S. Al-Maati, K. Rekab
{"title":"Dynamic test allocation model for software reliability","authors":"S. Al-Maati, K. Rekab","doi":"10.1109/QSIC.2003.1319082","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319082","url":null,"abstract":"In any non trivial software system the reliability of the software cannot be determined exactly. Instead, we must apply statistical methods to create an estimate based on a sample of test cases. Our goal is, given a fixed total number of test cases, to determine how to allocate these test cases among the partitions of the software so as to minimize the variance incurred by the maximum likelihood estimator of the overall software reliability. In contrast to fixed sampling models, where the proportion of test cases taken from each partition is determined before reliability testing begins, we make allocation decisions dynamically throughout the testing process. We compare the results from the dynamic test allocation model with the optimal sampling model and demonstrate its strength with respect to the variance incurred when the overall system reliability is estimated by its maximum likelihood estimator both theoretically and through Monte Carlo simulations.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134595066","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}
引用次数: 5
A model for the implementation of software process improvement: a pilot study 实现软件过程改进的模型:试点研究
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/QSIC.2003.1319103
M. Niazi, David N. Wilson, D. Zowghi
{"title":"A model for the implementation of software process improvement: a pilot study","authors":"M. Niazi, David N. Wilson, D. Zowghi","doi":"10.1109/QSIC.2003.1319103","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319103","url":null,"abstract":"Little attention has been paid in the literature on \"how to implement\" software process improvement (SPI) which has resulted in limited success for many SPI efforts. In this paper we report on our empirical study which explored the experiences and perceptions of practitioners about SPI implementation. We visited 11 companies and conducted 14 in-depth interviews. Using the different experiences and opinions of practitioners regarding SPI implementation, we have developed a model for the implementation of SPI programmes. This model has six phases - awareness, learning, pilot implementation, SPI implementation action plan, implementation across the organization and maintenance - and provides advice to practitioners in effectively implementing SPI programmes.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129732401","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
首页 上一页
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学术官方微信