There have been several model based approaches used in the recent past for alleviating complexity in design, development and test case generation for real-time embedded software systems. However, deploying/executing t...
There have been several model based approaches used in the recent past for alleviating complexity in design, development and test case generation for real-time embedded software systems. However, deploying/executing these test cases in the embedded target without affecting the real-time behavior of the system still remains a challenging and unanswered question. To address this, we propose a novel architecture to perform an integrated model based testing for embedded systems. We introduce a holistic model based design, development and testing approach with the aid of a monitor and target debugger solution for real-time embedded systems. Our proposed approach eliminates the need for dynamic source code instrumentation inserted into the target to execute the software test routines. This will result in preserving the real-time behavior which is a boon especially for real-time critical and code size constrained embedded systems. We illustrate our proposed approach with a prototype and an example.
Ajax-enabled web applications are a new breed of highly interactive, highly dynamic web applications. Although Ajax allows developers to create rich web applications, Ajax applications can be difficult to comprehend a...
详细信息
Ajax-enabled web applications are a new breed of highly interactive, highly dynamic web applications. Although Ajax allows developers to create rich web applications, Ajax applications can be difficult to comprehend and thus to maintain. For this reason, we have created FireDetective, a tool that uses dynamic analysis at both the client (browser) and server side to facilitate the understanding of Ajax applications. Using an exploratory pre-experimental user study, we see that web developers encounter problems when understanding Ajax applications. We also find preliminary evidence that the FireDetective tool allows web developers to understand Ajax applications more effectively, more efficiently and with more confidence.
This article is a brief overview of the current state of the software testing education in the Canadian and American universities. In doing so, the authors hope to pinpoint the strengths, and areas for improvement and...
详细信息
This article is a brief overview of the current state of the software testing education in the Canadian and American universities. In doing so, the authors hope to pinpoint the strengths, and areas for improvement and to encourage a systematic software testing curriculum development. We also present some recommendations for new software testing educators.
One of the prominent principles of designing services is the matter of how abstract services should be i.e. granularity. Since service-oriented analysis and design methods lack on providing a quantitative model for se...
详细信息
One of the prominent principles of designing services is the matter of how abstract services should be i.e. granularity. Since service-oriented analysis and design methods lack on providing a quantitative model for service granularity level evaluation, identification of optimally granular services is the key challenge in service-oriented solution development. This article through a systematic process proposes a model namely Weighted Granularity Level Appropriateness (WGLA) which leverages and consolidates four metrics to constitute quantitative basis for granularity appropriateness analysis. These metrics are, indeed, the four quantified attributes of service granularity including business value, reusability, context-independency, and complexity. Our preliminary controlled experiment confirms the correctness of the quantitative model. In fact, by adopting WGLA metric, service granularity appropriateness analysis could be conduct quantitatively that leads to realize an optimized service-oriented solution in terms of its granularity.
The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. In many domains, adaptations...
详细信息
The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. In many domains, adaptations may occur dynamically and in real-time, using services from heterogeneous, possibly unknown sources. This motivates a need to ensure the correct behaviour of the adapted system, and its continuing compliance to time bounds. The complexity of dynamic adaptation (DA) is significant, but unfortunately currently not well understood or formally specified. Formal methods are an attractive option for solving this problem as they provide a means to precisely model a software system. There are many formal languages targeted to different domains, and in this paper, we present the results of our analysis of three languages as potential candidates for modelling our time-constrained DA problem. In particular, we selected JOLIE, PiDuce and COWS for analysis, as they are targeted towards service-based systems and each provide means to model at least some of our requirements. Our results illustrate the strengths and limitations of each, and justify our selection of COWS as the best-fit, though limited, language for our purposes.
Despite intense research activities in the last years, HCI patterns still lack in a standardized description and organization. This makes it difficult for the developers to identify the relevant patterns for solving a...
详细信息
Increasing traffic congestion is a major problem in urban areas, which incurs heavy economic and environmental costs in both developing and developed countries. Efficient urban traffic control (UTC) can help reduce tr...
详细信息
Increasing traffic congestion is a major problem in urban areas, which incurs heavy economic and environmental costs in both developing and developed countries. Efficient urban traffic control (UTC) can help reduce traffic congestion. However, the increasing volume and the dynamic nature of urban traffic pose particular challenges to UTC. Reinforcement Learning (RL) has been shown to be a promising approach to efficient UTC. However, most existing work on RL-based UTC does not adequately address the fluctuating nature of urban traffic. This paper presents Soilse 1 , a decentralized RL-based UTC optimization scheme that includes a nonparametric pattern change detection mechanism to identify local traffic pattern changes that adversely affect an RL agent's performance. Hence, Soilse is adaptive as agents learn to optimize for different traffic patterns and responsive as agents can detect genuine traffic pattern changes and trigger relearning. We compare the performance of Soilse to two baselines, a fixed-time approach and a saturation balancing algorithm that emulates SCATS, a well-known UTC system. The comparison was performed based on a simulation of traffic in Dublin's inner city centre. Results from using our scheme show an approximate 35%-43% and 40%-54% better performance in terms of average vehicle waiting time and average number of vehicle stops respectively against the best baseline performance in our simulation.
In this paper, we propose a taxonomy that characterizes and classifies different components of autonomic application management in Grids. We also survey several representative Grid systems developed by various project...
详细信息
In this paper, we propose a taxonomy that characterizes and classifies different components of autonomic application management in Grids. We also survey several representative Grid systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the similarities and differences of state-of-the-art technologies utilized in autonomic application management from the perspective of Grid computing, but also identifies the areas that require further research initiatives.
We propose DSP-based crosstalk cancellation in WDM optical interconnects, and investigate the performance of the scheme at 10.7 Gb/s through experimental implementation of a transmitter-based DSP algorithm and optical...
详细信息
ISBN:
(纸本)9781557528896
We propose DSP-based crosstalk cancellation in WDM optical interconnects, and investigate the performance of the scheme at 10.7 Gb/s through experimental implementation of a transmitter-based DSP algorithm and optical link simulations.
The alerts produced by network-based intrusion detection systems, e.g. Snort, can be difficult for network administrators to efficiently review and respond to due to the enormous number of alerts generated in a short ...
详细信息
The alerts produced by network-based intrusion detection systems, e.g. Snort, can be difficult for network administrators to efficiently review and respond to due to the enormous number of alerts generated in a short time frame. This work describes how the visualization of raw IDS alert data assists network administrators in understanding the current state of a network and quickens the process of reviewing and responding to intrusion attempts. The project presented in this work consists of three primary components. The first component provides a visual mapping of the network topology that allows the end-user to easily browse clustered alerts. The second component is based on the flocking behavior of birds such that birds tend to follow other birds with similar behaviors. This component allows the end-user to see the clustering process and provides an efficient means for reviewing alert data. The third component discovers and visualizes patterns of multistage attacks by profiling the attacker's behaviors.
暂无评论