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

Proceedings of 16th International Conference on Software Engineering最新文献

筛选
英文 中文
Experience with the development of hard real-time embedded Ada software 有硬实时嵌入式Ada软件开发经验
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296792
T. Vardanega
{"title":"Experience with the development of hard real-time embedded Ada software","authors":"T. Vardanega","doi":"10.1109/ICSE.1994.296792","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296792","url":null,"abstract":"Though already intrinsically demanding, the development of real-time embedded on-board software is often made harsher by the constraining nature of the execution environment and the general lack of suitable support. One of the key needs in the design of these systems is to get guidance towards the definition of a system that is truly analysable against timing requirements; specialised methods and tools are needed to accommodate this particular demand. This paper reports on the use of a novel design method especially tailored towards the construction of hard real-time systems.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133554424","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 architecture: practice, potential, and pitfalls 软件架构:实践、潜力和缺陷
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296800
D. Garlan, D. Perry
{"title":"Software architecture: practice, potential, and pitfalls","authors":"D. Garlan, D. Perry","doi":"10.1109/ICSE.1994.296800","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296800","url":null,"abstract":"Whatever the long-term impact of software architecture may turn out to be, an appropriate starting point is a concrete appraisal of the current state of the practice in the use of software architecture. It is the purpose of the article to take a step in this direction. It provides concrete examples of what is now possible when architectural principles are applied to industrial problems in systematic ways, considers the potential impact of software architecture over the next few years, and suggests steps that should be taken to bring this about.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122736330","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}
引用次数: 53
TESTTUBE: a system for selective regression testing TESTTUBE:一个选择性回归测试系统
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296780
Y. Chen, David S. Rosenblum, Kiem-Phong Vo
{"title":"TESTTUBE: a system for selective regression testing","authors":"Y. Chen, David S. Rosenblum, Kiem-Phong Vo","doi":"10.1109/ICSE.1994.296780","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296780","url":null,"abstract":"The paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBE first identifies which functions, types, variables and macros are covered by each test unit in a test suite. Each time the system under test is modified, TESTTUBE identifies which entities were changed to create the new version. Using the coverage and change information, TESTTUBE selects only those test units that cover the changed entities for testing the new version. We have applied TESTTUBE to selective retesting of two software systems, an I/O library and a source code analyzer. Additionally, we are adapting TESTTUBE for selective retesting of nondeterministic systems, where the main drawback is the unsuitability of dynamic analysis for identification of covered entities. Our experience with TESTTUBE has been quite encouraging, with an observed reduction of 50% or more in the number of test cases needed to test typical software changes.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131825080","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}
引用次数: 352
A framework for evaluating regression test selection techniques 评估回归测试选择技术的框架
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296779
G. Rothermel, M. J. Harrold
{"title":"A framework for evaluating regression test selection techniques","authors":"G. Rothermel, M. J. Harrold","doi":"10.1109/ICSE.1994.296779","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296779","url":null,"abstract":"Regression testing is a necessary but expensive activity aimed at showing that code has not been adversely affected by changes. A selective approach to regression testing attempts to reuse tests from an existing test suite to test a modified program. This paper outlines issues relevant to selective retest approaches, and presents a framework within which such approaches can be evaluated. This framework is then used to evaluate and compare existing selective retest algorithms. The evaluation reveals strengths and weaknesses of existing methods, and highlights problems that future work in this area should address.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123607104","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}
引用次数: 100
Workshop on the intersection between databases and software engineeering 关于数据库和软件工程的交叉的研讨会
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.672728
R. King
{"title":"Workshop on the intersection between databases and software engineeering","authors":"R. King","doi":"10.1109/ICSE.1994.672728","DOIUrl":"https://doi.org/10.1109/ICSE.1994.672728","url":null,"abstract":"Summary form only given. The complete workshop presentation was not made available for publication as part of the conference proceedings. In 1989, a workshop was held in Napa, California, USA. The meeting brought together database and software engineering researchers, and resulted in lively discussions concerning research issues of interest to both software engineering and database researchers. This workshop is, in a sense, meant to be a sequel to the Napa Workshop. We hope to not only assess the state of the art in this research specialty, but to also develop the nucleus of a research agenda that spans both communities. Attendance at the workshop is by invitation only. Fifty-three prospective attendees submitted position papers, which were reviewed by a seven person committee representing the software engineering and database fields. Twenty-three papers were accepted. Our goal for the workshop is to have open technical discussions, not presentations of specific papers. The topics of discussion will be motivated largely by the topics covered in the accepted position statements.","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"175 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124302034","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
An integrated method for effective behaviour analysis of distributed systems 分布式系统有效行为分析的集成方法
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296793
S. Cheung, J. Kramer
{"title":"An integrated method for effective behaviour analysis of distributed systems","authors":"S. Cheung, J. Kramer","doi":"10.1109/ICSE.1994.296793","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296793","url":null,"abstract":"Behavioral analysis is a valuable aid for the design and maintenance of well-behaved distributed systems. Dataflow and reachability analyses are two orthogonal, but complementary, behavioral analysis techniques. Individually, each of these techniques may be inadequate for the analysis of large-scale distributed systems. On the one hand, dataflow analysis algorithms, while tractable, may not be sufficiently accurate to provide meaningful detection of errors. On the other hand, reachability analysis, while providing exhaustive analysis, may be computationally too expensive for complex systems. In this paper, we present a method which integrates dataflow and reachability analysis techniques to provide a flexible and effective means for analysing distributed systems at the preliminary and final design stages respectively. We also describe some effective measures taken to improve the adequacy of the individual analysis techniques using the concepts of action dependency and context constraints. A prototype supporting the method has been built, and its performance is described in this paper. A realistic example of a distributed track control system is used as a case study.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116704885","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}
引用次数: 32
Software aging 软件老化
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-21 DOI: 10.1109/ICSE.1994.296790
D. Parnas
{"title":"Software aging","authors":"D. Parnas","doi":"10.1109/ICSE.1994.296790","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296790","url":null,"abstract":"Programs, like people, get old. We can't prevent aging, but we can understand its causes, take steps to limits its effects, temporarily reverse some of the damage it has caused, and prepare for the day when the software is no longer viable. A sign that the software engineering profession has matured will be that we lose our preoccupation with the first release and focus on the long-term health of our products. Researchers and practitioners must change their perception of the problems of software development. Only then will software engineering deserve to be called \"engineering\".<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126866781","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}
引用次数: 1014
A formal approach to determining parallel resource bindings 确定并行资源绑定的正式方法
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-16 DOI: 10.1109/ICSE.1994.296762
J. Keane, W. Hussak
{"title":"A formal approach to determining parallel resource bindings","authors":"J. Keane, W. Hussak","doi":"10.1109/ICSE.1994.296762","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296762","url":null,"abstract":"The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the high-level design of such systems. In operating systems design, much use is made of the informal notion of resource bindings. A way of improving the high-level design of parallel systems is proposed by providing a formal language for enumerating the design space and thus enabling all high-level design alternatives to be represented. A design process to be used with this language is given, the aim being to establish the most appropriate binding. The process is temporal logic-based and permits high level design of parallel systems to be analysed, tested and, in certain cases, formally verified before implementation is embarked upon.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123092037","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
The role of testing methodologies in open systems standards 测试方法在开放系统标准中的作用
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-16 DOI: 10.1109/ICSE.1994.296782
G. Deshmukh, R. Deshpande, J. Leathrum, K. Liburdy
{"title":"The role of testing methodologies in open systems standards","authors":"G. Deshmukh, R. Deshpande, J. Leathrum, K. Liburdy","doi":"10.1109/ICSE.1994.296782","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296782","url":null,"abstract":"This paper describes the lifecycle role of a conformance testing research facility in the open systems standards environment. This facility, the Clemson Automated Testing System (CATS), has demonstrated the value of integrating formalized test methods within all phases of standards development. IEEE's effort to develop a standard for operating systems interfaces (POSIX) has provided a working environment to investigate and evaluate the capabilities of CATS. In this arena, CATS has proven valuable in exposing critical issues in the emerging standard and in formulating feasible solutions on multiple occasions. The role of CATS in the areas of automated testing, profile development and real-time extensions is described. A discussion of future directions for CATS and testing in open system standards concludes the paper.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129009057","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
Software process improvement experience in the DP/MIS function 有DP/MIS功能软件流程改进经验
Proceedings of 16th International Conference on Software Engineering Pub Date : 1994-05-16 DOI: 10.1109/ICSE.1994.296794
Albert Johnson
{"title":"Software process improvement experience in the DP/MIS function","authors":"Albert Johnson","doi":"10.1109/ICSE.1994.296794","DOIUrl":"https://doi.org/10.1109/ICSE.1994.296794","url":null,"abstract":"This experience report outlines Corning Inc.'s experience in successfully using software process assessment as part of their Information Service Division's software process improvement program. Improvement actions executed as indicated and prioritized by our self-assessment findings resulted in largely eliminating the cost and schedule overruns on projects in ISD's Systems Engineering Group. This paper describes the ISD process improvement initiative; a summary of our observations and the key lessons we learned concludes the paper.<<ETX>>","PeriodicalId":432962,"journal":{"name":"Proceedings of 16th International Conference on Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123419489","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}
引用次数: 27
首页 上一页 下一页 尾页
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学术官方微信