Proceedings 17th IEEE International Conference on Automated Software Engineering,最新文献_第3页

Assumption generation for software component verification 软件组件验证的假设生成

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114984

D. Giannakopoulou, C. Pasareanu, H. Barringer

引用次数: 202

Process support for tools interoperability 对工具互操作性的过程支持

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115043

Anh-Tuyet Le

{"title":"Process support for tools interoperability","authors":"Anh-Tuyet Le","doi":"10.1109/ASE.2002.1115043","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115043","url":null,"abstract":"Summary form only given. Our work seeks to build a platform that makes entities of various types (component, COTS, tools, etc.) interoperate in order to build a new application. We call this new kind of application a federation. Our federations use workflow as a support for application integration and interoperability. In this approach, the process is not defined in term of tools and their parameters; instead, the process is high level and describes only abstract steps without knowledge on how these steps will be carried out. Therefore, the federation offers a means to describe and control the synchronization between the abstract and executable process, and a set of concrete tools. The federation ensures that the execution of the abstract level involves a compatible real execution at the concrete level. Indeed, the real execution requires the collaboration of several tools. The description on how the abstract level is refined into the real execution satisfies consistency rules and interoperability paradigms. We think our work contributes by providing a high level view in which the application can be described, independently from the real tools specificities, and by providing the means to describe the application behavior and the tools can be used and modified flexibly and dynamically.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114754796","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

Interfaces for modular feature verification 模块特性验证接口

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115013

Harry C. Li, S. Krishnamurthi, Kathi Fisler

引用次数: 44

Generating product-lines of product-families 生成产品族的产品线

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114997

D. Batory, R. Lopez-Herrejon, Jean-Phillipe Martin

{"title":"Generating product-lines of product-families","authors":"D. Batory, R. Lopez-Herrejon, Jean-Phillipe Martin","doi":"10.1109/ASE.2002.1114997","DOIUrl":"https://doi.org/10.1109/ASE.2002.1114997","url":null,"abstract":"GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are refinements or layers, which are modules that implement a feature that many programs of a product-line can share. Unlike conventional components (e.g., COM, CORBA, EJB), a layer encapsulates fragments of multiple classes. Sets of fully formed classes can be produced by composing layers. Layers are modular, albeit unconventional, building blocks of programs. But what are the building blocks of layers? We argue that facets is an answer. A facet encapsulates fragments of multiple layers, and compositions of facets yields sets of fully formed layers. Facets arise when refinements scale from producing variants of individual programs to producing variants of multiple integrated programs, as typified byproduct families (e.g., MS Office). We present a mathematical model that explains relationships between layers and facets. We use the model to develop a generator for tools (i.e., product family) that are used in language-extensible Integrated Development Environments (IDEs).","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122939642","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}

引用次数: 87

Generative design patterns 生成式设计模式

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114991

S. MacDonald, D. Szafron, J. Schaeffer, J. Anvik, S. Bromling, K. Tan

引用次数: 39

Deviation analysis through model checking 通过模型校核进行偏差分析

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1114992

M. Heimdahl, Yunja Choi, M. Whalen

引用次数: 20

From early requirements to user interface prototyping: a methodological approach 从早期需求到用户界面原型:一种方法论方法

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115025

Alicia Martínez, Hugo Estrada, Juan Sánchez, Ó. Pastor

引用次数: 25

Automating requirements traceability: Beyond the record & replay paradigm 自动化需求跟踪:超越记录和重放范例

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115010

Alexander Egyed, P. Grünbacher

引用次数: 158

Towards certifying domain-specific properties of synthesized code 对合成代码的特定领域属性进行认证

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115032

Grigore Roşu, J. Whittle

引用次数: 8

Generating test data for functions with pointer inputs 为带有指针输入的函数生成测试数据

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI: 10.1109/ASE.2002.1115007

Srinivas Visvanathan, Neelam Gupta

{"title":"Generating test data for functions with pointer inputs","authors":"Srinivas Visvanathan, Neelam Gupta","doi":"10.1109/ASE.2002.1115007","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115007","url":null,"abstract":"Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are passed as inputs to a function. In this case, the shape of the input data structure as well as the data values in the fields of this data structure need to be determined for traversal of the given path. The existing techniques to address this problem are inefficient since they use backtracking to simultaneously satisfy the constraints on the pointer variables and the data values used along the path. In this paper, we develop a novel approach that allows the generation of the shape of an input data structure to be done independently of the generation of its data values so as to force the control flow of a function along a given path. We also present a new technique that generates the shape of the input data structure by solving a set of pointer constraints derived in a single pass of the statements along the path. Although simple, our approach is powerful in handling pointer aliasing. It is efficient and provides a practical solution to generating test data for functions with pointer inputs.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130986300","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