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

International Conference on software Maintenance (ICSM)

作者： L.C. Briand Y. Labiche G. Soccar Department of Systems and Computer Engineering Software Quality Engineering Laboratory Carleton University Ottawa ONT Canada

We present a methodology and a tool to support test selection from regression test suites based on change analysis in object-oriented designs. We assume that designs are represented using the Unified Modeling Language (UML) and we propose a formal mapping between design changes and a classification of regression test cases, i.e., three categories: reusable, retestable, and obsolete. We provide evidence of the feasibility of the methodology and its usefulness by using our prototype tool on an industrial case study.

关键词： Automatic testing Unified modeling language System testing software testing Costs Design engineering software quality Laboratories systems engineering and theory Drives

来源：评论

学校读者我要写书评

暂无评论

A graphically based language for constructing, executing and analysing models of software systems

A graphically based language for constructing, executing and...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： R.J. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This paper describes a modelling tool in which the traditional model generation technique of writing "programming language like" code is replaced with a model generation tool which uses a graphical representation of models whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool.

关键词： software systems Application software software engineering computer science Costs Writing Hardware Assembly Programming software development management

来源：评论

学校读者我要写书评

暂无评论

Managing QoS for multimedia applications in a differentiated services environment

Managing QoS for multimedia applications in a differentiated...

引用

International Workshop on Active Middleware Services

作者： M. Mahajan M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University Piscataway NJ USA

The overall quality of network connections has a significant impact on the performance of networked applications. Consequently, QoS management for networked multimedia applications over IP is a significant and immediate challenge. While differentiated services (diffserv) provide a sense of resource allocation and QoS, they do not guarantee QoS. This paper presents design, implementation and evaluation of a content-aware bandwidth broker (CABB) that manages QoS of multimedia applications for the diffserv environment. CABB allocates network resources to multimedia flows based on client requirement and the tolerance and adaptability of the application. CABB has been implemented and evaluated using the NS-2 simulator toolkit. Evaluations show that CABB improves network resource allocations and increases overall throughput. The results also show that multimedia flows are better managed and controlled, thereby improving perceived QoS and avoiding possible congestion in core routers.

关键词： Environmental management Quality of service Diffserv networks Resource management Bandwidth Application software IP networks Content management Communication system traffic control Multiprotocol label switching

来源：评论

学校读者我要写书评

暂无评论

Adaptive admission control of multimedia traffic in high-speed networks

Adaptive admission control of multimedia traffic in high-spe...

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： S. Jagannathan A. Tohmaz A. Chronopoulos H.G. Cheung Embedded Systems and Networking Laboratory Department of Electrical and Computer Engineering University of Missouri Rolla MO USA Parallel and Distributed Systems Lab Department of Computer Science University of Texas-San Antonio TX USA

This paper proposes a novel real-time adaptive admission control (AAC) scheme with a desired quality of service (QoS) guarantee and high network utilization in high speed networks. The QoS is given in terms of service delay, which is defined as the time it takes for a source to get admitted into the network after it initiates its intended request, packet/cell losses, and transmission delay (time taken to complete transmission from its initiation). AAC uses the following information - the available capacity from a novel adaptive bandwidth estimation scheme, a congestion indicator derived from a congestion controller, peak cell rate estimate from new sources, along with the desired QoS metrics, and outputs an 'admit' or 'reject' decision signal to the new sources while guaranteeing QoS and network utilization. Simulation results are presented by streaming ON/OFF and video data into the network. Results show that the proposed AAC admits significantly more traffic compared to other available admission control schemes thereby guaranteeing high network utilization while maintaining the desired QoS.

关键词： Programmable control Adaptive control Admission control Communication system traffic control High-speed networks Quality of service Delay effects Propagation losses Bandwidth Streaming media

来源：评论

学校读者我要写书评

暂无评论

A case study using the round-trip strategy for state-based class testing

A case study using the round-trip strategy for state-based c...

引用

International Symposium on software Reliability engineering (ISSRE)

作者： G. Antoniol L.C. Briand M. Di Penta Y. Labiche Research Centre On Software Technology Department of Engineering University of Sannio Benevento Italy Software Quality Engineering Laboratory Systems and Computer Engineering Carleton University Ottawa ONT Canada

A number of strategies have been proposed for state-based class testing. An important proposal made by Chow (1978), that was subsequently adapted by Binder (1999), consists in deriving test sequences covering all round-trip paths in a finite state machine (FSMs). Based on a number of (rather strong) assumptions, and for traditional FSMs, it can be demonstrated that all operation and transfer errors in the implementation can be uncovered. Through experimentation, this paper investigates this strategy when used in the context of UML statecharts. Based on a set of mutation operators proposed for object-oriented code we seed a significant number of faults in an implementation of a specific container class. We then investigate the effectiveness of four test teams at uncovering faults, based on the round-trip path strategy, and analyze the faults that seem to be difficult to detect. Our main conclusion is that the round-trip path strategy is reasonably effective at detecting faults (87% average as opposed to 69% for size-equivalent, random test cases) but that a significant number of faults can only exhibit a high detection probability by augmenting the round-trip strategy with a traditional black-box strategy such as category-partition testing. This increases the number of test cases to run -and therefore the cost of testing- and a cost-benefit analysis weighting the increase of testing effort and the likely gain in fault detection is necessary.

关键词： computer aided software engineering Fault detection software testing Unified modeling language Proposals Containers Costs software quality Automata Genetic mutations

来源：评论

学校读者我要写书评

暂无评论

Comparisons of error control techniques for wireless video multicasting

Comparisons of error control techniques for wireless video m...

引用

IEEE International Conference on Performance, Computing and Communications (IPCCC)

作者： Peng Ge P.K. McKinley Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

ISBN: (纸本)0780373715

This paper explores three different methods, employed separately and in combination, to improve the quality of video delivery on wireless local area networks. The approaches are: leader-driven multicast (LDM), monitoring MAC layer unicast (re)transmissions by other receivers; application-level forward error correction (FEC) using block erasure codes; negative feedback from selected receivers in the form of extra parity requests (EPR). The performance of these three methods is evaluated using both experiments on a mobile computing testbed and simulation. The results indicate that, while LDM is helpful in improving the raw packet reception rate, the combination of FEC and EPR is most effective in improving the frame delivery rate.

关键词： Error correction Forward error correction Paramagnetic resonance Wireless LAN Monitoring Unicast Negative feedback Mobile computing Testing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Requirements patterns for embedded systems

Requirements patterns for embedded systems

引用

IEEE International Conference on Requirements engineering

作者： S. Konrad B.H.C. Cheng Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

In software engineering, design patterns propose solution skeletons for common design problems. The solution skeleton is described in such a way that the design can be used for other projects, where each application tailors the design to specific project constraints. This paper describes research into investigating how a similar approach to reuse can be applied to requirements specifications, which we term requirements patterns. Specifically, the paper explores how object-oriented modeling notations, such as the Unified Modeling Language (UML), can be used to represent common requirements patterns. Structural and behavioral information are captured as part of a requirements pattern. In order to maximise reuse, we focus on requirements patterns for embedded systems. This paper also describes case studies that illustrate how we have applied these general patterns to multiple embedded systems applications from the automotive industry.

关键词： Embedded system software engineering Object oriented modeling Unified modeling language Application software Skeleton Automotive engineering Pattern analysis Collaborative work Laboratories

来源：评论

学校读者我要写书评

暂无评论

Programming language support for adaptable wearable computing

Programming language support for adaptable wearable computin...

引用

International Symposium on Wearable computers

作者： P.K. McKinley S.M. Sadjadi E.P. Kasten R. Kalaskar Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

software on wearable computers must adapt to dynamic environmental conditions, such as changes in packet loss behavior on wireless communication channels. This paper investigates the use of programming language constructs to realize adaptive behavior. A prototype language, Adaptive Java, was used to construct MetaSocket components, whose composition and behavior can be adapted to changing conditions during execution. MetaSockets were then integrated into Pavilion, a web-based collaboration framework, and experiments were conducted on a mobile computing testbed containing Xybernaut MA-V wearable computer systems. Performance results demonstrate the utility of MetaSockets in reducing file transfer time and enhancing the quality of interactive audio streams.

关键词： computer languages Wearable computers Wireless communication software prototyping Prototypes Java Collaboration Mobile computing System testing Streaming media

来源：评论

学校读者我要写书评

暂无评论

Separating introspection and intercession to support metamorphic distributed systems

Separating introspection and intercession to support metamor...

引用

International Conference on distributed Computing systems Workshop

作者： E.P. Kasten P.K. McKinley S.M. Sadjadi R.E.K. Stirewalt Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the activity of changing behavior (intercession). This paper explores the use of language constructs to separate these parts of reflective functionality. This separation and "packaging" of reflective primitives is intended to facilitate the design of correct and consistent adaptive middleware. A prototype language, called Adaptive Java, is described in which this functionality is realized through extensions to the Java programming language. A case study is described in which "metamorphic" socket components are created from regular socket classes and used to realize adaptive behavior on wireless network connections.

关键词： Middleware Reflection computer networks distributed computing Wireless networks Prototypes Java Sockets Mobile computing Quality of service

来源：评论

学校读者我要写书评

暂无评论

Information Leakage from Optical Emanations

引用

ACM Transactions on Information and System Security 2002年第3期5卷 262-289页

作者： Loughry, Joe Umphress, David A. Lockheed Martin Space Systems Denver Dept. 3740 Mail Stop X3741 P.O. Box 179 CO 80201 United States Auburn University Department of Computer Science and Software Engineering AL 215 Dunstan Hall 36849 United States

A previously unknown form of compromising emanations has been discovered. LED status indicators on data communication equipment, under certain conditions, are shown to carry a modulated optical signal that is significantly correlated with information being processed by the device. Physical access is not required;the attacker gains access to all data going through the device, including plaintext in the case of data encryption systems. Experiments show that it is possible to intercept data under realistic conditions at a considerable distance. Many different sorts of devices, including modems and Internet Protocol routers, were found to be vulnerable. A taxonomy of compromising optical emanations is developed, and design changes are described that will successfully block this kind of “Optical TEMPEST” attack. © 2002, ACM. All rights reserved.

关键词： Comint Communication Compromising emanations COMSEC Covert channel EMSEC Encryption Experimentation Fiber optics Information displays Light emitting diode (LED) Security SIGINT TEMPEST

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：