检索结果-内蒙古大学图书馆

Generating unit test sequences for aspect-oriented programs: Towards a formal approach using UML state diagrams

Generating unit test sequences for aspect-oriented programs:...

ITI 3rd International Conference on Information and Communications Technology, ICICT 2005 - Enabling Technologies for the New Knowledge Society

作者： Badri, Mourad Badri, Linda Bourque-Fortin, Maxime Software Engineering Research Laboratory Department of Mathematics and Computer Science University of Quebec at Trois-Rivières C.P. 500 Trois-Rivières Que. G9A 5H7 Canada

ISBN: (纸本)0780392701

Aspect-Oriented Programming is an emerging software engineering paradigm that improves separation of crosscutting concerns in a program. Existing object-oriented programming languages suffer from a serious limitation in modularizing adequately crosscutting concerns. Many concerns crosscut several classes in an object-oriented system. However, in spite of the many claimed benefits that the aspect paradigm seems to be offering, it remains clear that it is not yet mature. Aspect technology introduces, in fact, new dimensions in terms of control and complexity. Moreover, aspects have great latitude to interact with basic classes of a system. Those interactions constitute a new source for faults in a program. Existing object-oriented testing techniques are not adequate for testing aspect-oriented programs. Thus, new testing techniques must be developed for aspect-oriented programs. We present, in this paper, a new technique for aspect-oriented unit testing based on dynamic behavior. We also introduce several testing criteria. We focus on the integration of one or more aspects to a class. The proposed technique is based on UML statecharts. The primary objective is to verify that this integration is done correctly, without modifying the original behavior of the basic class.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Finite equational bases in process algebra: Results and open questions

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2005年 3838 LNCS卷 338-367页

作者： Aceto, Luca Fokkink, Wan Ingolfsdottir, Anna Luttik, Bas Centre of the Danish National Research Foundation Aalborg University Fr. Bajersvej 7B 9220 Aalborg Ø Denmark CWI Department of Software Engineering PO Box 94079 1090 GB Amsterdam Netherlands Department of Mathematics and Computer Science Eindhoven Technical University P.O. Box 513 5600 MB Eindhoven Netherlands Department of Computer Science Reykjavfk University Ofanleiti 2 103 Reykjavík Iceland Vrije Universiteit Amsterdam Department of Computer Science Section Theoretical Computer Science De Boelelaan 1081a 1081 HV Amsterdam Netherlands

ISBN: (纸本)354030911X

Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these semantics in the setting of the basic process algebra BCCSP, and tried to give finite complete axiomatizations for them. Obtaining such axiomatizations in concurrency theory often turns out to be difficult, even in the setting of simple languages like BCCSP. This has raised a host of open questions that have been the subject of intensive research in recent years. Most of these questions have been settled over BCCSP, either positively by giving a finite complete axiomatization, or negatively by proving that such an axiomatization does not exist. Still some open questions remain. This paper reports on these results, and on the state-of-the-art in axiomatizations for richer process algebras with constructs like sequential and parallel composition. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Finite automata

来源：评论

学校读者我要写书评

暂无评论

Generating aspects-classes integration testing sequences a collaboration diagram based strategy

Generating aspects-classes integration testing sequences a c...

引用

International Conference on software engineering research, Management and Applications (SERA)

作者： P. Massicotte M. Badri L. Badri Software Engineering Laboratory Department of Mathematics and Computer Science University of Quebec Trois-Rivières Trois-Rivieres QUE Canada

Aspect-oriented software development is an emerging software engineering paradigm. It provides new constructs and tools to improve separation of crosscutting concerns into single units called aspects. The aspect paradigm introduces, in fact, new abstractions in software development. AspectJ is an aspect-oriented extension for Java. Actually, existing object-oriented programming languages suffer from a serious limitation in modularizing adequately crosscutting concerns. Many concerns crosscut several classes in an object-oriented system. However, the aspect paradigm introduces new dimensions in terms of control and complexity. New dependencies between aspects and classes result in new testing challenges. In fact, aspects can interact with any class in a program. Interactions between aspects and classes are new sources for program faults. Object-oriented testing techniques do not cover the new dimensions introduced by aspects. Thus, new aspect-oriented testing techniques must be developed. We propose, in this paper, a new technique to generate test sequences based on the dynamic interactions between aspects and classes. We focus, in particular, on the integration of one or more aspects in a collaboration between a group of objects. The paper also introduces associated testing criteria. The proposed approach follows an iterative process.

关键词： Collaboration software engineering software testing Object oriented programming Collaborative software Laboratories mathematics computer science Java Iterative methods

来源：评论

学校读者我要写书评

暂无评论

WS-attestation: efficient and fine-grained remote attestation on Web services

WS-attestation: efficient and fine-grained remote attestatio...

引用

IEEE International Conference on Web Services (ICWS)

作者： S. Yoshihama T. Ebringer M. Nakamura S. Munetoh H. Maruyama Tokyo Research Laboratory IBM Yamato Kanagawa Japan Department of Computer Science and Software Engineering University of Melbourne Australia

This paper proposes WS-attestation, attestation architecture on Web services framework. We aim at providing software oriented, dynamic and fine-grained attestation mechanism that leverages TCG technologies to increase trust and confidence in integrity reporting. In addition, the architecture allows efficient binding of attestation with application context, privacy protection, as well as infrastructural support for attestation validation.

关键词： Web services computer architecture Protection Service oriented architecture Application software Information security software measurement Operating systems Laboratories computer science

来源：评论

学校读者我要写书评

暂无评论

Generating unit test sequences for aspect-oriented programs: towards a formal approach using UML state diagrams

Generating unit test sequences for aspect-oriented programs:...

引用

ITI International Conference on Information and Communications Technology (ICICT)

作者： M. Badri L. Badri M. Bourque-Fortin Software Engineering Research Laboratory Department of Miathematics and Computer Science University of Quebec Trois-Rivières Trois-Rivieres QUE Canada

Aspect-oriented programming is an emerging software engineering paradigm that improves separation of crosscutting concerns in a program. Existing object-oriented programming languages suffer from a serious limitation in modularizing adequately crosscutting concerns. Many concerns crosscut several classes in an object-oriented system. However, in spite of the many claimed benefits that the aspect paradigm seems to be offering, it remains clear that it is not yet mature. Aspect technology introduces, in fact, new dimensions in terms of control and complexity. Moreover, aspects have great latitude to interact with basic classes of a system. Those interactions constitute a new source for faults in a program. Existing object-oriented testing techniques are not adequate for testing aspect-oriented programs. Thus, new testing techniques must be developed for aspect-oriented programs. We present, in this paper, a new technique for aspect-oriented unit testing based on dynamic behavior. We also introduce several testing criteria. We focus on the integration of one or more aspects to a class. The proposed technique is based on UML statecharts. The primary objective is to verify that this integration is done correctly, without modifying the original behavior of the basic class

关键词： Unified modeling language software testing software engineering Object oriented programming Scattering Laboratories computer science Java Collaborative work

来源：评论

学校读者我要写书评

暂无评论

Analog complex wavelet filters

Analog complex wavelet filters

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： S.A.P. Haddad J.M.H. Karel R.L.M. Peeters R.L. Westra W.A. Serdijn Electronics Research Laboratory Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technnology Delft Netherlands Department of Mathematics University of Maastricht Maastricht Netherlands

This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pade approximation. The complex wavelet filter design is based on the combination of the real and the imaginary state-space descriptions that implement the respective transfer functions. In other words, a complex filter is implemented by an ordinary state-space structure for the real part and an extra C matrix for the imaginary part. Several complex wavelets, such as Gabor, Gaussian and Morlet complex wavelets, are obtained and simulations demonstrate excellent approximations to the ideal wavelets.

关键词： Wavelet transforms Filters mathematics Transfer functions Signal analysis Laboratories computer science Signal detection Wavelet analysis Information analysis

来源：评论

学校读者我要写书评

暂无评论

Transient growth: Experiments, DNS and theory

Transient growth: Experiments, DNS and theory

引用

4th International Symposium on Turbulence and Shear Flow Phenomena, TSFP 4

作者： Ergin, F. Gökhan Choudhari, Meelan Fischer, Paul Tumin, Anatoli Mechanical and Aerospace Engineering Department Case Western Reserve University Cleveland OH 44106 United States Computational Modelling and Simulation Branch NASA Langley Research Center Hampton VA 23681 United States Mathematics and Computer Science Division Argonne National Laboratory Argonne IL 60439 United States Department of Aerospace and Mechanical Engineering University of Arizona Tucson AZ 85721 United States

Transient growth of linearly stable disturbances is believed to play an important role in the subcritical transition of laminar boundary layers and the self-sustained nature of boundary layer fluctuations in a fully turbulent flow. Prior work on transient growth has focused on identifying the optimum initial disturbances that result in maximum transient growth. This paper addresses the companion issue of receptivity of those disturbances, the mechanism that determines the actual magnitudes of transient growth that are realized in a given physical situation. A synergistic combination of experimental, computational, and theoretical approaches is used to quantify the flow receptivity to surface roughness in a Blasius boundary layer. Results reveal the non-optimality of the transient growth factors involved as well as the sensitive dependence of flow perturbations to the geometric characteristics of the roughness distribution. Direct numerical simulations (DNS) are compared in detail with experimental results, results obtained from linear receptivity theory and optimal disturbance calculations. DNS shows good agreement with the experimental results. Differences between the linear theory and DNS are attributed to nonlinear receptivity mechanisms. Results also support the proposal by Fransson et al. (2004) that disagreement between optimal disturbances and experiments/DNS may be attributed to differences involving the wall normal location of the streamwise vortex initiating the transient growth.

关键词： Laminar boundary layer

来源：评论

学校读者我要写书评

暂无评论

Automated detection of performance regressions: the mono experience

Automated detection of performance regressions: the mono exp...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS)

作者： T. Kalibera L. Bulej P. Tuma Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Czech Republic

engineering a large software project involves tracking the impact of development and maintenance changes on the software performance. An approach for tracking the impact is regression benchmarking, which involves automated benchmarking and evaluation of performance at regular intervals. Regression benchmarking must tackle the nondeterminism inherent to contemporary computer systems and execution environments and the impact of the nondeterminism on the results. On the example of a fully automated regression benchmarking environment for the mono open-source project, we show how the problems associated with nondeterminism can be tackled using statistical methods.

关键词： MONOS devices Benchmark testing software performance software testing software quality Quality assurance Automatic testing Robustness Performance analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

Reliability of the beamsplitter based Bell-state measurement

Reliability of the beamsplitter based Bell-state measurement

引用

Quantum Electronics and Laser science Conference (QELS)

作者： Yoon-Ho Kim W.P. Grice Department of Physics Pohang University of Science and Technology Pohang South Korea Computer Science and Mathematics Division Oak Ridge National Laboratory Center for Engineering Science Advanced Research Oak Ridge TN USA

ISBN: (纸本)1557527962

A linear 50/50 beamsplitter, together with a coincidence measurement, has been widely used in quantum optical experiments, such as teleportation, dense coding, etc., for interferometrically distinguishing, measuring, or projecting onto one of the four two-photon polarization Bell-states |/spl Psi//sup (-)/>. In this paper, we demonstrate that the coincidence measurement at the output of a beamsplitter cannot be used as an absolute identifier of the input state |/spl Psi//sup (-)/> nor as an indication that the input photons have projected to the |/spl Psi//sup (-)/> state.

关键词： Optical interferometry Nonlinear optics Quantum entanglement Optical scattering Teleportation Optical polarization Photonics Society Quantum mechanics Nonlinear optical devices Optical pumping

来源：评论

学校读者我要写书评

暂无评论

Measurement of the spectral properties of the two-photon state generated via type-II spontaneous parametric down-conversion

Measurement of the spectral properties of the two-photon sta...

引用

Quantum Electronics and Laser science Conference (QELS)

ISBN: (纸本)0819458988

We report the complete measurement of the spectral properties of photon pairs generated via spontaneous parametric down-conversion. The measurements, which include not only single-photon spectra, but also two-photon joint spectra, were performed for both cw and ultrafast pumping configurations. In agreement with theoretical predictions, the spectra for the ultrafast pumped case reveal asymmetries not present with cw pumping.

关键词： Quantum mechanics Quantum entanglement Bandwidth Polarization Frequency Nonlinear optics Optical pumping Ultrafast optics Photonics Society Photonic crystals

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：