Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319100
Matthias Book, V. Gruhn
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319096
Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319083
K. Cai, Yong-Chao Li, Ke Liu
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319121
N. T. Binh, M. Delaunay, C. Robach
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319113
C. Sinz, Amir Khosravizadeh, W. Küchlin, Viktor Mihajlovski
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319108
Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319085
B. Wong
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319095
M. Jørgensen, Kjetil Moløkken-Østvold
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319082
S. Al-Maati, K. Rekab
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.
{"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}
Pub Date : 1900-01-01DOI: 10.1109/QSIC.2003.1319103
M. Niazi, David N. Wilson, D. Zowghi
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：