Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003最新文献

Current trends in adoption of the CMMI/spl reg/ Product Suite 采用CMMI/spl规范/产品套件的当前趋势

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-17 DOI: 10.1109/CMPSAC.2003.1245331

D. Zubrow

引用次数: 1

Software documentation-driven manufacturing: viaduct between software engineering and virtual engineering 软件文档驱动制造:软件工程和虚拟工程之间的高架桥

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-17 DOI: 10.1109/CMPSAC.2003.1245382

Luqi, X. Liang, L. Zhang, V. Berzins

引用次数: 2

BINTEST - search-based test case generation 基于搜索的测试用例生成

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-17 DOI: 10.1109/CMPSAC.2003.1245318

Sami Beydeda, V. Gruhn

引用次数: 3

Incremental transformation of procedural systems to object oriented platforms 过程系统到面向对象平台的增量转换

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245356

Ying Zou, K. Kontogiannis

{"title":"Incremental transformation of procedural systems to object oriented platforms","authors":"Ying Zou, K. Kontogiannis","doi":"10.1109/CMPSAC.2003.1245356","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245356","url":null,"abstract":"Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineering source code transformation framework to support the incremental migration of such procedural legacy systems to object oriented platforms. First, a source code representation framework that uses a generic domain model for procedural languages allows for the representation of abstract syntax trees as XML documents. Second, a set of transformations allow for the identification of object models in specific parts of the legacy source code. In this way, the migration process is applied incrementally on different parts of the system. A clustering technique is used to decompose a program into a set of smaller components that are suitable for the incremental migration process. Finally, the migration process gradually composes the object models obtained at every stage to generate an amalgamated object model for the whole system. . A case study for the migration of a medium size C system to C++ is discussed as a proof of concept.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116928407","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}

引用次数: 13

Integrating runtime assertions with dynamic types: structuring a derivation from an incomputable specification 将运行时断言与动态类型集成:从不可计算的规范构造派生

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245389

P. Bailes, Colin J. M. Kemp

引用次数: 2

Semantic-based approach to streaming XML contents using Xstream 使用Xstream进行XML内容流的基于语义的方法

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245326

E. Y. Wong, A. Chan, H. Leong

引用次数: 7

Workshop on Architectures for Complex Application Integration (WACAI 2003) 复杂应用集成体系结构研讨会(WACAI 2003)

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245392

P. Maheshwari, I. Gorton, Anna Liu

引用次数: 1

Data-flow-based unit testing of aspect-oriented programs 面向方面程序的基于数据流的单元测试

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245340

Jianjun Zhao

{"title":"Data-flow-based unit testing of aspect-oriented programs","authors":"Jianjun Zhao","doi":"10.1109/CMPSAC.2003.1245340","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245340","url":null,"abstract":"The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of software testing is known, it has received little attention in the aspect-oriented paradigm. In this paper, we propose a data-flow-based unit testing approach for aspect oriented programs. Our approach tests two types of units for an aspect-oriented program, i.e., aspects that are modular units of crosscutting implementation of the program, and those classes whose behavior may be affected by one or more aspects. For each aspect or class, our approach performs three levels of testing, i.e., intra-module, inter-module, and intra-aspect or intra-class testing. For an individual module such as apiece of advice, a piece of introduction, and a method, we perform intra-module testing. For a public module along with other modules it calls in an aspect or class, we perform inter-module testing. For modules that can be accessed outside the aspect or class and can be invoked in any order by users of the aspect or class, we perform intra-aspect or intra-class testing. Our approach can handle unit testing problems that are unique to aspect-oriented programs. We use control flow graphs to compute def-use pairs of an aspect or class being tested and use such information to guide the selection of test for the aspect or class.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129637665","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}

引用次数: 133

Tolerance of control-flow testing criteria 控制流量测试标准的公差

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245339

S. Vilkomir, K. Kapoor, Jonathan P. Bowen

引用次数: 30

Meta model approach for mediation 用于中介的元模型方法

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 Pub Date : 2003-11-03 DOI: 10.1109/CMPSAC.2003.1245383

Masataro Shiroiwa, T. Miura, I. Shioya

引用次数: 8