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

System testing for object-oriented frameworks using hook technology 使用hook技术对面向对象框架进行系统测试

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

Jehad Al Dallal, P. Sorenson

引用次数: 17

Automated validation of class invariants in C++ applications c++应用程序中类不变量的自动验证

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

T. Gibbs, B. Malloy, James F. Power

引用次数: 7

Identifying cause and effect relations between events in concurrent event-based components 识别并发事件组件中事件之间的因果关系

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

M. Dias, D. Richardson

引用次数: 4

Analyzing dependencies in large component-based systems 分析大型基于组件的系统中的依赖关系

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

M. Vieira, D. Richardson

引用次数: 47

Automatic verification of any number of concurrent, communicating processes 自动验证任意数量的并发通信进程

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

M. Calder, Alice Miller

引用次数: 9

Enabling iterative software architecture derivation using early non-functional property evaluation 使用早期非功能属性评估实现迭代软件架构派生

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

K. S. Barber, T. Graser, J. Holt

{"title":"Enabling iterative software architecture derivation using early non-functional property evaluation","authors":"K. S. Barber, T. Graser, J. Holt","doi":"10.1109/ASE.2002.1115011","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115011","url":null,"abstract":"The structure of a software architecture strongly influences the architecture's ability to prescribe systems satisfying functional requirements, non functional requirements, and overall qualities such as maintainability, reusability, and performance. Achieving an acceptable architecture requires an iterative derivation and evaluation process that allows refinement based on a series of tradeoffs. Researchers at the University of Texas at Austin are developing a suite of processes and supporting tools to guide architecture derivation from requirements acquisition through system design. The various types of decisions needed for concurrent derivation and evaluation demand a synthesis of evaluation techniques, because no single technique is suitable for all concerns of interest. Two tools in this suite, RARE and ARCADE, cooperate to enable iterative architecture derivation and architecture property evaluation. RARE guides derivation by employing a heuristics knowledge base, and evaluates the resulting architecture by applying static property evaluation based on structural metrics. ARCADE provides dynamic property evaluation leveraging simulation and model-checking. This paper presents a study whereby RARE and ARCADE were employed in the early stages of an industrial project to derive a Domain Reference Architecture (DRA), a high-level architecture capturing domain functionality, data, and timing. The discussion emphasizes early evaluation of performance qualities, and illustrates how ARCADE and RARE cooperate to enable iterative derivation and evaluation. These evaluations influenced DRA refinement as well as subsequent design decisions involving application implementation and computing platform selection.","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":"129309939","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}

引用次数: 25

Constructing CORBA-supported oracles for testing: a case study in automated software testing 为测试构建corba支持的oracle:自动化软件测试中的一个案例研究

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

P. Fenkam, H. Gall, M. Jazayeri

引用次数: 9

Adapting applications on the fly 动态地调整应用程序

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

A. Ketfi, N. Belkhatir, P. Cunin

{"title":"Adapting applications on the fly","authors":"A. Ketfi, N. Belkhatir, P. Cunin","doi":"10.1109/ASE.2002.1115042","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115042","url":null,"abstract":"Summary form only given. Adapting a component-based application means adapting one or more of its components, and in general, adapting a component at run-time means disconnecting it from the application and connecting a new version of this component. Many approaches like OLAN and DCUP are based on component models in which each component is constituted by a functional part and a control part. This last part provides a set of services to administrate the component. In our approach we aim to separate the control part outside the component. The benefit is the possibility to apply our solutions to existing models that have not been designed to support the dynamic adaptation. Through a first experimentation on the JavaBeans component model, we define an adaptation process composed of several steps: (1) defining the mapping rules between the old and the new component (correspondence between properties and services); (2) passivating the old and the new components; (3) transferring the state of the old component into the new one according to the mapping rules defined before; (4) disconnecting the old component and connecting the new one; (5) activating the new component. These steps may constitute the basic activities of an adaptation machine.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"77 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":"129979237","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}

引用次数: 15

A model of planning and enactment support in complex software development projects 复杂软件开发项目中的计划和制定支持模型

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

S. Goldmann

{"title":"A model of planning and enactment support in complex software development projects","authors":"S. Goldmann","doi":"10.1109/ASE.2002.1115040","DOIUrl":"https://doi.org/10.1109/ASE.2002.1115040","url":null,"abstract":"Summary form only given. We propose an approach to facilitating not only project enactment but also project planning and monitoring, by tracking all decisions made during project planning and enactment and managing dependencies between these decisions. In order to identify those dependencies relevant for a decision, we established an extendable model of planning and plan enactment, which explicitly describes the activities likely to occur while planning and enacting a software development project, as well as standard dependencies between these activities. We formalized this model by adapting an existing dependency management system, the Redux Model of Design, to record planning and plan enactment decisions and their dependencies. Furthermore, we are currently identifying heuristics to automatically capture typical dependencies, and defining rules to provide automatic planning support where possible. This approach allows to interleave planning and plan enactment, and to feed enactment data back into the plan, either by automatically reacting to enactment events and plan changes, or by notifying the appropriate person(s). Thus, we provide extensive support for the process of planning and enacting software development projects, in the form of dependency management, user notifications, and, where possible, automation of selective process steps.","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":"130717642","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

Generating expected results for automated black-box testing 为自动化黑盒测试生成预期的结果

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

Patrick J. Schroeder, Patrick Faherty, B. Korel

引用次数: 58