27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.最新文献

Composite propositions: toward support for formal specification of system properties 复合命题:支持系统属性的形式化规范

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199451

O. Mondragon, Ann Q. Gates, Steve Roach

引用次数: 7

Report on results of discriminant analysis experiment 判别分析实验结果报告

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199444

N. Schneidewind

引用次数: 6

A simple multi-tasking simulator 一个简单的多任务模拟器

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199482

A. D. de Beer, C. Fidge

引用次数: 1

Extending software change impact analysis into COTS components 将软件变更影响分析扩展到COTS组件

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199468

S. Bohner

引用次数: 80

A software engineering lessons learned repository 一个软件工程经验资源库

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199460

W. Harrison

引用次数: 19

An empirical study of modifying the Fagan inspection process and the resulting main effects and interaction effects among defects found, effort required, rate of preparation and inspection, number of team members and product 1st pass quality 修改Fagan检验过程的实证研究，以及在发现的缺陷、所需的努力、准备和检验的比率、团队成员数量和产品一次通过质量之间产生的主要影响和交互影响

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199450

N.S. Eickelmann, Francesca Ruffolo, J. Baik, A. Anant

引用次数: 13

An investigation of the applicability of design of experiments to software testing 实验设计在软件测试中的适用性研究

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199454

D. Kuhn, michael. reilly, michael. reilly

{"title":"An investigation of the applicability of design of experiments to software testing","authors":"D. Kuhn, michael. reilly, michael. reilly","doi":"10.1109/SEW.2002.1199454","DOIUrl":"https://doi.org/10.1109/SEW.2002.1199454","url":null,"abstract":"Approaches to software testing based on methods from the field of design of experiments have been advocated as a means of providing high coverage at relatively low cost. Tools to generate all pairs, or higher n-degree combinations, of input values have been developed and demonstrated in a few applications, but little empirical evidence is available to aid developers in evaluating the effectiveness of these tools for particular problems. We investigate error reports from two large open-source software projects, a browser and Web server, to provide preliminary answers to three questions: Is there a point of diminishing returns at which generating all n-degree combinations is nearly as effective as all n+1-degree combinations? What is the appropriate value of n for particular classes of software? Does this value differ for different types of software, and by how much? Our findings suggest that more than 95% of errors in the software studied would be detected by test cases that cover all 4-way combinations of values, and that the browser and server software were similar in the percentage of errors detectable by combinations of degree 2 through 6.","PeriodicalId":146269,"journal":{"name":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129720853","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}

引用次数: 329

Towards autonomic computing: effective event management 走向自主计算:有效的事件管理

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199448

Roy Sterritt

引用次数: 104

Towards a user-friendly design and verification environment 朝着用户友好的设计和验证环境

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199478

A. Cerone

引用次数: 1

Elemental design patterns: a formal semantics for composition of OO software architecture 元素设计模式:面向对象软件体系结构组合的形式化语义

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI: 10.1109/SEW.2002.1199472

J. McC Smith, D. Stotts

{"title":"Elemental design patterns: a formal semantics for composition of OO software architecture","authors":"J. McC Smith, D. Stotts","doi":"10.1109/SEW.2002.1199472","DOIUrl":"https://doi.org/10.1109/SEW.2002.1199472","url":null,"abstract":"Design patterns are an important concept in the field of software engineering, providing a language and application independent method for expressing and conveying lessons learned by experienced designers. There is a large gap, however, between the aesthetic and elegance of the patterns as intended and the reality of working with an ultimately mathematically expressible system such as code. We describe a step towards meaningful formal analysis of code within the language of patterns, and discuss potential uses. The major contributions include: a compendium of elemental design patterns (EDPs), a layer of seemingly simplistic relationships between objects that, on closer inspection, provide a critical link between the world of formal analysis and the realm of pattern design and implementation without reducing the patterns to merely syntactic constructs; an extension to the /spl sigmav/-calculus, termed /spl rho/-calculus, a formal notation for expressing relationships between the elements of object oriented languages, and its use in expressing the EDPs directly. We discuss their use in composition and decomposition of existing patterns, identification of pattern use in existing code to aid comprehension, and future research directions, such as support for refactoring of designs, interaction with traditional code analysis systems, and the education of students of software architecture.","PeriodicalId":146269,"journal":{"name":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126206837","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}

引用次数: 41