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

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

筛选
英文 中文
An experience on using the team software process for implementing the Capability Maturity Model for software in a small organization 在小型组织中使用团队软件过程实现软件的能力成熟度模型的经验
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319118
Miguel A. Serrano, C. M. D. Oca, Karina Cedillo
{"title":"An experience on using the team software process for implementing the Capability Maturity Model for software in a small organization","authors":"Miguel A. Serrano, C. M. D. Oca, Karina Cedillo","doi":"10.1109/QSIC.2003.1319118","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319118","url":null,"abstract":"We describe our experience on how we used the team software process (TSP/sup SM/) as a foundation for implementing a software process improvement (SPI) initiative in a small software development company. The Capability Maturity Model for software (SW-CMM/sup TM/) was chosen as the model to follow and the IDEAL model as the organizational improvement model for planning and implementing the improvement actions. The TSP to SW-CMM gap analysis and a Capability Maturity Model based assessment for internal process improvement (CBA IPI) self assessment were used to diagnose and guide the SPI efforts. In this paper, we present our findings and experiences on this SPI initiative.","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":"126437546","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
Measuring functional size of interactive software: a support system based on XForms-format user interface specifications 测量交互软件的功能大小:基于xforms格式用户界面规范的支持系统
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319123
Z. Li, Makoto Nonaka, Aki Kakurai, M. Azuma
{"title":"Measuring functional size of interactive software: a support system based on XForms-format user interface specifications","authors":"Z. Li, Makoto Nonaka, Aki Kakurai, M. Azuma","doi":"10.1109/QSIC.2003.1319123","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319123","url":null,"abstract":"This study reports a measurement support system, which was developed based on the XForms-format user interface (UI) specifications in order to facilitate the process of measuring the functional size of interactive software. XForms is the next generation of Web forms. As it is capable of describing the purpose and the presentation of the Web form separately, the semantics of user-computer interactions, which is essential to the functional size measurement (FSM), can be extracted from the specification. In this study, we propose several extensions to the current W3C's XForms for its application in FSM. The procedure of measuring the functional size, which was proposed in our past study, is further automated based on the XForms-format UI specifications. The interactive part of a car-navigation software product was measured with the support system and the results suggest that this system is effective in generating reliable results and reducing measurement costs.","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":"132808802","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
Visualization techniques of management rules for software development projects 软件开发项目管理规则的可视化技术
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319122
J. Vázquez, José Luis Álvarez Macías, José Cristóbal Riquelme Santos, Isabel M. Ramos, J. Aguilar-Ruiz, Francisco J. Ferrer-Troyano
{"title":"Visualization techniques of management rules for software development projects","authors":"J. Vázquez, José Luis Álvarez Macías, José Cristóbal Riquelme Santos, Isabel M. Ramos, J. Aguilar-Ruiz, Francisco J. Ferrer-Troyano","doi":"10.1109/QSIC.2003.1319122","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319122","url":null,"abstract":"The application of data mining techniques to the managing of software development projects (SDP) is not an uncommon phenomenon, as in any other productive process that generates information in the way of input data and output variables. In this paper, a set of tools developed by the authors, that generate, in a visual way, managing rules suitable to cover minimum goals in a SDP are presented. Although the techniques used are able to generate quantitative rules, giving numeric values suitable for these goals, the visual representation of these rules helps their easy and quick understanding by a manager of a SDP. The application to a database generated from the simulation of a project allows to establish a profitable comparison and to demonstrate the validity of the techniques.","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":"115605954","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
Behavioral verification of distributed concurrent systems with BOBJ 基于BOBJ的分布式并发系统行为验证
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319106
J. Goguen, Kai Lin
{"title":"Behavioral verification of distributed concurrent systems with BOBJ","authors":"J. Goguen, Kai Lin","doi":"10.1109/QSIC.2003.1319106","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319106","url":null,"abstract":"Following a brief introduction to classical and behavioral algebraic specification, this paper discusses the verification of behavioral properties using BOBJ, especially its implementation of conditional circular coinductive rewriting with case analysis. This formal method is then applied to proving correctness of the alternating bit protocol, in one of its less trivial versions. We have tried to minimize mathematics in the exposition, in part by giving concrete illustrations using the BOBJ system.","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":"115749503","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
Constructing a reproducible testing environment for distributed Java applications 为分布式Java应用程序构建可重复的测试环境
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319128
Jessica Chen, Kun Wang
{"title":"Constructing a reproducible testing environment for distributed Java applications","authors":"Jessica Chen, Kun Wang","doi":"10.1109/QSIC.2003.1319128","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319128","url":null,"abstract":"Executions with internal nondeterministic choices make the testing procedure non-repeatable. A natural solution is to artificially enforce and direct the execution to take the desired path so that a test can be reproduced. With geographically distributed processes and heterogeneous platform architectures, distributed systems have raised new dimensions of challenges to develop effective techniques for the reproducible testing. In this paper, we discuss the architectural and design issues on constructing an environment to automate such a testing for distributed Java applications. Our focus is on controlling the order of input and remote call events in the application under test during the test procedure. The testing environment is by itself distributed and does not require code intrusion.","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":"116137650","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
Evaluating interrater agreement with intraclass correlation coefficient in SPICE-based software process assessment 用类内相关系数评价基于spice的软件过程评价中的类间一致性
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319115
Hyung-Min Park, Ho-Won Jung
{"title":"Evaluating interrater agreement with intraclass correlation coefficient in SPICE-based software process assessment","authors":"Hyung-Min Park, Ho-Won Jung","doi":"10.1109/QSIC.2003.1319115","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319115","url":null,"abstract":"As software process assessment (SPA) involves a subjective procedure, its reliability is an important issue. Two types of reliability have intensively been investigated in SPA: internal consistency (internal reliability) and interrater agreement (external reliability). This study investigates interrater agreement. Cohen's Kappa coefficient has been a popular measure for estimating interrater agreement. However, the application of Kappa coefficient in certain situations is incorrect due to the \"Kappa Paradoxes\". To cope with the insufficiency of Kappa coefficient, this study applied the intraclass correlation coefficient (ICC) to estimate interrater agreement. The ICC has not been employed in the SPA context. In addition, we examined the stability of the estimated ICC value by using a bootstrap resampling method. Results show that ICC could be applied where the Kappa coefficient could not be applied, but not all cases.","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":"120979131","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
Incremental testing for self-evolving timed systems 自进化定时系统的增量测试
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319080
V. Alagar, O. Ormandjieva, M. Zheng
{"title":"Incremental testing for self-evolving timed systems","authors":"V. Alagar, O. Ormandjieva, M. Zheng","doi":"10.1109/QSIC.2003.1319080","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319080","url":null,"abstract":"Self-evolving software systems in time-critical domains adapt themselves automatically to changes in external situations and internal conditions. This paper presents a black-box method for incrementally generating test cases for self-evolving systems.","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":"127751653","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
Experiences in the inspection process characterization techniques 具有检验工艺表征技术的经验
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319126
V. Narayana, Rajashekara Swamy
{"title":"Experiences in the inspection process characterization techniques","authors":"V. Narayana, Rajashekara Swamy","doi":"10.1109/QSIC.2003.1319126","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319126","url":null,"abstract":"Implementation of a disciplined engineering approach to software development requires the existence of an adequate supporting measurement & analysis system. Due to demands for increased efficiency and effectiveness of software processes, measurement models need to be created to characterize and describe the various processes usefully. The data derived from these models should then be analyzed quantitatively to assess the effects of new techniques and methodologies. In recent times, statistical and process thinking principles have led software organizations to appreciate the value of applying statistical process control techniques. As part of the journey towards SW-CMM/spl reg/ Level 5 at the Motorola Malaysia Software Center, which the center achieved in October 2001, considerable effort was spent on exploring SPC techniques to establish process control while focusing on the quantitative process management KPA of the SW-CMM/spl reg/. This paper discusses the evolutionary learning experiences, results and lessons learnt by the center in establishing appropriate analysis techniques using statistical and other derivative techniques. The paper discusses the history of analysis techniques that were explored with specific focus on characterizing the inspection process. Future plans to enhance existing techniques and to broaden the scope to cover analysis of other software processes are also discussed.","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":"117104853","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
Generating, selecting and prioritizing test cases from specifications with tool support 在工具支持下，从规格说明书中生成、选择和排序测试用例
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319089
Ysong Yueh Yu, S. Ng, E. Chan
{"title":"Generating, selecting and prioritizing test cases from specifications with tool support","authors":"Ysong Yueh Yu, S. Ng, E. Chan","doi":"10.1109/QSIC.2003.1319089","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319089","url":null,"abstract":"The classification-tree method provides a systematic way for software testers to derive test cases by considering important relevant aspects that are identified from the specification. The method has been used in many real-life applications and shown to be effective. This paper presents several enhancements to the method by annotating the classification tree with additional information to reduce manual effort in the generation, selection and prioritization of test cases. A tool for supporting this enhanced process is also described.","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":"114306874","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}
引用次数: 23
Testing decomposition of component specifications based on a rule for formal verification 基于正式验证规则测试组件规范的分解
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319098
M. S. Lund
{"title":"Testing decomposition of component specifications based on a rule for formal verification","authors":"M. S. Lund","doi":"10.1109/QSIC.2003.1319098","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319098","url":null,"abstract":"This paper proposes a general technique for testing decomposition of component specifications based on rules for formal verification. Component specifications are expressed as pairs of two models: a context assumption and a component guarantee. Thereby they capture the contract-like nature between the component to be developed and the context in which it is supposed to work. The paper provides empirical evidence that A/G rules developed for formal methods are highly relevant as patterns for testing decomposition of component specifications. More explicitly, that testing the validity of decomposition based on A/G rules is valid, and moreover, that testing based on A/G rules is more efficient that a conventional approach for the same kind of test-quality.","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":"121892535","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
首页 上一页 下一页 尾页
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学术官方微信