首页 > 最新文献

6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)最新文献

英文 中文
Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods 测试面向方面的程序:一种基于建议和方法之间相互作用覆盖的方法
M. Bernardi, G. D. Lucca
Testing is a fundamental issue to ensure software quality. Testing aspect oriented programs may be more difficult than traditional ones, due to the large impact that aspects have on the static structure and dynamic behavior of the overall system. Aspects may be sources for failures due to new kinds of faults in their code, by affecting the overall quality of the system. New testing approaches and criteria, taking into account the aspect-oriented constructs, are needed to capture the new kind of program failures. In this paper we propose a set of testing coverage criteria based on the interactions among the advices and the methods they affect. The proposed criteria are based on the inter-procedural aspect control flow graph (IACFG) representing the inter-procedural interactions among advices and methods.
测试是保证软件质量的基本问题。测试面向方面的程序可能比传统的更困难,因为方面对整个系统的静态结构和动态行为有很大的影响。通过影响系统的整体质量,方面可能是由于其代码中新类型的错误而导致的失败的来源。考虑到面向方面的构造,需要新的测试方法和标准来捕获新的程序失败类型。本文提出了一套基于建议及其影响的方法之间相互作用的测试覆盖率准则。所提出的准则是基于程序间方面控制流图(IACFG)来表示建议和方法之间的程序间交互。
{"title":"Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods","authors":"M. Bernardi, G. D. Lucca","doi":"10.1109/QUATIC.2007.17","DOIUrl":"https://doi.org/10.1109/QUATIC.2007.17","url":null,"abstract":"Testing is a fundamental issue to ensure software quality. Testing aspect oriented programs may be more difficult than traditional ones, due to the large impact that aspects have on the static structure and dynamic behavior of the overall system. Aspects may be sources for failures due to new kinds of faults in their code, by affecting the overall quality of the system. New testing approaches and criteria, taking into account the aspect-oriented constructs, are needed to capture the new kind of program failures. In this paper we propose a set of testing coverage criteria based on the interactions among the advices and the methods they affect. The proposed criteria are based on the inter-procedural aspect control flow graph (IACFG) representing the inter-procedural interactions among advices and methods.","PeriodicalId":236466,"journal":{"name":"6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134218113","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}
引用次数: 18
Model-Driven Software Development for Pervasive Information Systems Implementation 面向普适信息系统实现的模型驱动软件开发
José Eduardo Fernandes, R. J. Machado, J. Carvalho
Model-driven development (MDD) conceptions and techniques essentially centre the focus of development on models. They are subject of current research as they allow enhanced productivity, technological platform independence and longevity of software artifacts. Another area of current research is the ubiquitous/pervasive computing area. This field of computing research focuses on the widespread adoption of embedded or mobile heterogeneous computing devices, which, when properly orchestrated, globally compose pervasive information systems (PIS). This work intends to clarify how should be MDD concepts and techniques structurally consolidated into an approach to software development for PIS. It involves two projects as case studies. From these case studies, it will be proposed methodological insights to design approaches for software development of PIS. While clarifying several issues pertaining to MDD for PIS, it shall promote other research works based on issues needing further study.
模型驱动的开发(MDD)概念和技术本质上把开发的焦点集中在模型上。它们是当前研究的主题,因为它们允许提高生产力、技术平台独立性和软件工件的寿命。当前研究的另一个领域是泛在/普适计算领域。这个计算研究领域的重点是嵌入式或移动异构计算设备的广泛采用,这些设备经过适当的编排,可以在全球范围内组成普适信息系统(PIS)。这项工作旨在阐明MDD概念和技术应该如何在结构上整合到PIS的软件开发方法中。它涉及两个项目作为案例研究。从这些案例研究中,将提出对PIS软件开发设计方法的方法学见解。在明确PIS MDD相关若干问题的同时,根据需要进一步研究的问题,推动其他研究工作。
{"title":"Model-Driven Software Development for Pervasive Information Systems Implementation","authors":"José Eduardo Fernandes, R. J. Machado, J. Carvalho","doi":"10.1109/quatic.2007.26","DOIUrl":"https://doi.org/10.1109/quatic.2007.26","url":null,"abstract":"Model-driven development (MDD) conceptions and techniques essentially centre the focus of development on models. They are subject of current research as they allow enhanced productivity, technological platform independence and longevity of software artifacts. Another area of current research is the ubiquitous/pervasive computing area. This field of computing research focuses on the widespread adoption of embedded or mobile heterogeneous computing devices, which, when properly orchestrated, globally compose pervasive information systems (PIS). This work intends to clarify how should be MDD concepts and techniques structurally consolidated into an approach to software development for PIS. It involves two projects as case studies. From these case studies, it will be proposed methodological insights to design approaches for software development of PIS. While clarifying several issues pertaining to MDD for PIS, it shall promote other research works based on issues needing further study.","PeriodicalId":236466,"journal":{"name":"6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133005778","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}
引用次数: 10
Model Driven Development of Software Product Lines 软件产品线的模型驱动开发
A. Bragança, R. J. Machado
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside the research community and big companies is still very restricted. We believe that model-driven approaches, like OMG's MDA, with proper tool support, can bring the advantages of product lines to a broader audience. In this thesis we propose an approach to achieve this goal in which modeling is inspired by UML and automation is based on metamodeling and transformation languages using publicly available tools.
软件产品线和相关的方法,如软件工厂,正开始引起行业从业者的注意。然而,在研究界和大公司之外,它们的应用仍然非常有限。我们相信模型驱动的方法,如OMG的MDA,在适当的工具支持下,可以将产品线的优势带给更广泛的受众。在这篇论文中,我们提出了一种实现这一目标的方法,其中建模受到UML的启发,自动化基于元建模和使用公共可用工具的转换语言。
{"title":"Model Driven Development of Software Product Lines","authors":"A. Bragança, R. J. Machado","doi":"10.1109/QUATIC.2007.25","DOIUrl":"https://doi.org/10.1109/QUATIC.2007.25","url":null,"abstract":"Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside the research community and big companies is still very restricted. We believe that model-driven approaches, like OMG's MDA, with proper tool support, can bring the advantages of product lines to a broader audience. In this thesis we propose an approach to achieve this goal in which modeling is inspired by UML and automation is based on metamodeling and transformation languages using publicly available tools.","PeriodicalId":236466,"journal":{"name":"6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115428426","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}
引用次数: 10
期刊
6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1