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

[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools最新文献

筛选
英文 中文
PISCES: a tool for predicting software testability 双鱼座:预测软件可测试性的工具
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205866
J. Voas, K. Miller, J. Payne
{"title":"PISCES: a tool for predicting software testability","authors":"J. Voas, K. Miller, J. Payne","doi":"10.1109/AQSDT.1992.205866","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205866","url":null,"abstract":"Before a program can fail, a software fault must be executed, that execution must alter the data state, and the incorrect data state must propagate to state that results directly in an incorrect output. This paper describes a tool called PISCES (developed by Reliable Software Technologies Corporation) for predicting the probability that faults in a particular program location will accomplish all three of these steps causing program failure. PISCES is a tool that is used during software verification and validation to predict a program's testability.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116672990","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}
引用次数: 28
Design, implementation, and case study of a function level unit test environment 功能级单元测试环境的设计、实现和案例研究
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205865
J.D. Creasman, C. Born
{"title":"Design, implementation, and case study of a function level unit test environment","authors":"J.D. Creasman, C. Born","doi":"10.1109/AQSDT.1992.205865","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205865","url":null,"abstract":"The continuing focus on reduction of software development cycle time, while maintaining ever increasing standards of quality, has caused renewed emphasis to be placed on software testing technology as innovative strategies are sought. Existing development processes have generally been refined to the point where little wasted time remains to be removed. This is particularly true in the development of older, well established software. A function level unit test environment (FLUTE) provides a method for reorganizing the early stages of code development and test into a more efficient development model. The goal of this approach is to reduce the time spent on early testing, yet increase the value of such testing to the overall software quality. Following a statement of the relative issues, this paper defines what is meant by a function level unit test environment and moves on to describe an actual implementation of this methodology within a large scale, systems software development project. A case study summarizes the results which were achieved.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117330116","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
A-Vu: a visualization tool for complex software systems a - vu:复杂软件系统的可视化工具
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205852
J. Smart, V. Vemuri
{"title":"A-Vu: a visualization tool for complex software systems","authors":"J. Smart, V. Vemuri","doi":"10.1109/AQSDT.1992.205852","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205852","url":null,"abstract":"The basic concepts underlying the A-Vu utility are presented. A-Vu is a general purpose tool for visualizing the structural aspects of complex software designs. Starting from a directed graph representation of a system or an Ada program library, A-Vu develops a variety of 'nice' graphs that reveal different visual representations of a design. A-Vu determins the method of visual expression, organizes the diagram in terms of desirable perceptual properties, and establishes an aesthetic layout. Formally, given a directed graph G=(V,E), A-Vu searches for a configuration C such that a suitably defined 'energy' function J(C) is minimized. The definition of J(C) includes software engineering considerations such as layering and modularity, as well as aesthetic considerations like visual appeal, cognitive correctness, and so on. This function is used in conjunction with simulated annealing and genetic algorithm techniques to obtain the 'minimum energy' configurations.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116216865","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
A data flow coverage testing tool for C 数据流覆盖测试工具
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205829
J. R. Horgan, S. London
{"title":"A data flow coverage testing tool for C","authors":"J. R. Horgan, S. London","doi":"10.1109/AQSDT.1992.205829","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205829","url":null,"abstract":"Describes ATAC (Automatic Test Analysis for C), a tool for data flow coverage testing of C programs. ATAC is being used as a research instrument at Purdue and Bellcore and as a software development tool at Bellcore. The authors discuss the design of ATAC, a preliminary view of its uses in development, and its research uses.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127199861","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}
引用次数: 112
Assessment of reverse engineering tools: A MECCA approach 逆向工程工具的评估:麦加方法
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205845
T. Skramstad, M.K. Khan
{"title":"Assessment of reverse engineering tools: A MECCA approach","authors":"T. Skramstad, M.K. Khan","doi":"10.1109/AQSDT.1992.205845","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205845","url":null,"abstract":"It is a general requirement in the software engineering field that quality and productivity should be taken into consideration. Software development tools can have significant impacts in assuring the quality of a software system and productivity of the development process. In a rapidly evolving engineering field such as software engineering, it is therefore important to select appropriate development tools. This paper discusses the reverse engineering tool as a quality software development tool. An introduction to the reverse engineering tools, their impact on the development environment and their functionality in general are cited before a MECCA-model for assessing specific tools is proposed. The main objective is to introduce the reader to how a reverse engineering tool can be assessed in terms of quality and productivity.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126207880","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
A tool for software quality 软件质量的工具
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205848
C. Lac, Jean-Luc Raffy
{"title":"A tool for software quality","authors":"C. Lac, Jean-Luc Raffy","doi":"10.1109/AQSDT.1992.205848","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205848","url":null,"abstract":"The authors present a theoretical study of a tool used to improve the quality of delivered software. Common approaches to software quality focus on the quantitative aspects of the code and neglect the qualitative sides of the utilization though these last characteristics are far from being worthless for the end-user. Starting from the work of B.W. Boehm et al. (1978) and J.A. McCall et al. (1977) concerning factors, criteria and metrics, the authors have constructed a model which serves to put together the user's needs and the programmer's possibilities. The model incorporates a quantitative assessment of both addresses. The algorithms of the tool using this model are also described.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126331894","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
CDA: a system for understanding the dynamic properties of data processing programs CDA:用于理解数据处理程序动态特性的系统
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205867
W. Howden, G. Shi
{"title":"CDA: a system for understanding the dynamic properties of data processing programs","authors":"W. Howden, G. Shi","doi":"10.1109/AQSDT.1992.205867","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205867","url":null,"abstract":"During software maintenance, it is of critical importance for maintenance staff to understand how a system works and when they make a change to part of the system, what effects this change will have on other parts of the system. It is observed that much of the program understanding process revolves around dynamic properties such as the states, state sequences and state transition operations. Hence, it is necessary to support the understanding process when the staff is reasoning about what could take place when the program is in operation and what could happen if part of the code is modified. CDA is a system for understanding the dynamic properties of large data processing programs. It allows the user to incrementally document their understanding of a program as working hypotheses and abstract operations with CDA comments. It then verifies these hypotheses to determine if they are justified. The justified hypotheses and abstract operations form an incremental specification of the program. Over time, the documentation improves in quality and completeness as new comments are added to justify and check the assumptions underlying new changes made to the code.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130057248","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
SEMST-a support environment for the management of software testing 用于管理软件测试的支持环境
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205830
Lulu Liu, D. Robson
{"title":"SEMST-a support environment for the management of software testing","authors":"Lulu Liu, D. Robson","doi":"10.1109/AQSDT.1992.205830","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205830","url":null,"abstract":"This paper presents a newly developed environment for supporting the management of software testing. This environment has been built on the top of UNIX and RCS to maintain all versions of the specifications, the test cases and programs, as well as managing the relationships among these components. It is a practical model of applying software configuration management methods to the testing process.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115409077","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
SQEngineer: a methodology and tool for specifying and engineering software quality SQEngineer:用于指定和工程软件质量的方法和工具
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205855
M.S. Hanna, W. Loew-Blosser
{"title":"SQEngineer: a methodology and tool for specifying and engineering software quality","authors":"M.S. Hanna, W. Loew-Blosser","doi":"10.1109/AQSDT.1992.205855","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205855","url":null,"abstract":"Quality control techniques such as reviews, walkthroughs, inspections, and testing have been both suggested and heavily used in practice to build quality software. However, all these techniques are effective only as defect detection rather than prevention techniques. A more effective approach to preventing defects from being introduced into the product is to engineer quality into software. Software must be developed to meet quality requirements that have been specified and agreed upon. This paper proposes a methodology and an automated tool for specifying quality requirements and engineering quality into software. The SQEngineer methodology and tool evolved over a two year period through which they were used by software professionals in the graduate programs in software at the University of St. Thomas (USA) to develop quality plans for real life applications.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122154659","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
Integrated CASE: our experience with Teamwork and Rational 综合案例:我们在团队合作和理性方面的经验
[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI: 10.1109/AQSDT.1992.205863
P. H. Luckey, R. M. Pittman, R. Saxton
{"title":"Integrated CASE: our experience with Teamwork and Rational","authors":"P. H. Luckey, R. M. Pittman, R. Saxton","doi":"10.1109/AQSDT.1992.205863","DOIUrl":"https://doi.org/10.1109/AQSDT.1992.205863","url":null,"abstract":"Mapping existing software development processes to new development methods, and implementing these methods with new and emerging computer aided software engineering (CASE) tools, is now beginning to fulfil to original CASE promises of minimizing the cost and improving the quality of software. In addition to these advantages, the computer-assistance provided by the tools, coupled with the object-oriented approach advocated by current methods, promises both near-term as well as long-term productivity increases.<<ETX>>","PeriodicalId":150873,"journal":{"name":"[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133796684","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
首页 上一页 下一页 尾页
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学术官方微信