The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This work develops a static analysis to create a model of the behavior of an Android application's GUI. We propose the window transition graph (WTG), a model representing the possible GUI window sequences and their associated events and callbacks. A key component and contribution of our work is the careful modeling of the stack of currently-active windows, the changes to this stack, and the effects...
The Low Level Direct Drive (LLDD) test technique is applied to aircraft in accordance with ARP5583A in order to determine the transfer function for electromagnetic compatibility stress versus strength assessments of whole system against equipment level test results. The LLDD technique when used to recreate a free space illumination environment for HIRF (High Intensity Radiated Fields) requires considerable...
Independent testing in the enterprise is largely a manual activity with manual test design and manual creation of test scripts. Enterprises often outsource independent testing to third party service providers. During knowledge transition, the service provider test team has to understand the IT system functionality and the test scripts which can be non-trivial as currency of documents could be a challenge...
Digital Game-Based Learning (DGBL) is becoming increasingly prevalent. Its participant-players are in millions and its revenues are in billions of dollars. There is a gap in how effectiveness DGBL software is to encourage students in learning and increase their motivation in learning process. This paper aims to discuss children and teenagers' education with DGBL software and the motivation design...
The automated testing of Web-based software can drastically improve the quality and reduce the costs of software development and testing. To make it more efficient we should analyze the habits and preferences of end-users. Here we analyze the known approaches to users' social habits analysis, and their applications for improving the efficiency of testing of Web applications, taking as an example the...
Increasing user acceptance remains as a critical issue to be resolved in the implementation of any new technology. This research aims to empirically distinguish the factors leading to an e-audit system acceptance in the public sector. The theoretical framework used in this study was adapted from Technology Acceptance Model (TAM), as well as external variables gathered from previous studies. In this...
Test and validation of autonomous mechatronic systems is a major challenge. Due to more complex tasks as well as dynamic environments, existing test and validation methods are reaching their limits. The complexity and diversity of their elements and interrelations of these as well as interrelations with environmental elements have to be handled because established methods do not consider the characteristics...
In the study of gas-liquid two-phase flow and heat transfer of evaporative cooling generator, has important significance to test the accuracy of void ratio. This paper first introduces the principle of ray testing, should pay attention to the selection of γ-ray source. The ray test two-phase flow void ratio of the experimental platform is established. The test data and drift model, one-dimensional...
This study aims to implement fuzzy logic controller using Mamdani and defuzzification method of Centroid, as a controller for train speed. Research methodology employed consists of Modeling, Design, Testing, and Analysis. At Modeling phase, the system is modeled utilizing transfer function model; at Design phase, the system with fuzzy logic controller is designed; at Testing phase, system output is...
Role-based access control is an important access control method for securing computer systems. A role-based access control policy can be implemented incorrectly due to various reasons, such as programming errors. Defects in the implementation may lead to unauthorized access and security breaches. To reveal access control defects, this paper presents a model-based approach to automated generation of...
Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text-based requirements to the system design model and provide an infrastructure to support analysis and verification. However, SysML is not a methodology, nor a method. This opens-up discussions of how to utilize SysML provided infrastructure to successfully achieve analysis...
Self-adaptive software systems (SASS) are equipped with feedback loops to adapt autonomously to changes of the software or environment. In established fields, such as embedded software, sophisticated approaches have been developed to systematically study feedback loops early during the development. In order to cover the particularities of feedback, techniques like one-way and in-the-loop simulation...
This paper presents a novel reverse engineering technique for obtaining real-life event logs from distributed systems. This allows us to analyze the operational processes of software systems under real-life conditions, and use process mining techniques to obtain precise and formal models. Hence, the work can be positioned in-between reverse engineering and process mining. We present a formal definition,...
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
The paper delves into decision making with partial knowledge focused on students' behaviour in multiple-choice testing. To address to this problem, we first provided a binary knowledge model and, then, relaxing some assumptions, allowed for the more realistic framework of partial knowledge which, in turn, adds uncertainty to the assessment of students' knowledge due to their incentive to make a guess...
The correctness of model transformations is key to obtain reliable MDE solutions. However, current transformation tools provide limited support to statically detect and correct errors. This way, the identification of errors and their correction are mostly manual activities. Our aim is to improve this situation. Based on a static analyser for ATL model transformations which we have previously built,...
Medical device software malfunctioning can lead to injuries or death for humans and, therefore, its development should adhere to certification standards. However, these standards establish general guidelines on the use of common software engineering activities without any indication regarding methods and techniques to assure safety and reliability. This paper presents a formal development process,...
In this work the analysis of possible approaches to SEU-hardness testing for SRAM with error correction were conducted. Efficiency of the aproach proposed by Aeroflex was evaluated, and the results of experimental investigation for 16 Mbit SRAM under heavy ion and focused laser irradaition were provided.
Verification has indisputably become the primary challenge today with recent industry studies estimating that half of all chips manufactured require one or more re-spins. Ideally the performance of the design should be verified for all possible circumstances under which it might be operated in the real world. Unfortunately, it requires a long time to generate and run test sequences. Under the time...
Model-based testing is of high practical relevance and many model-based testing approaches have been developed during the last years. But the key question under which conditions model-based testing pays off and a related decision support procedure for its application has not been sufficiently addressed. In this paper we develop a generic decision support procedure whether to apply model-based testing...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.