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.
Automated Graphical User Interface (GUI) testing is one of the most widely used techniques to detect faults in mobile applications (apps) and to test functionality and usability. GUI testing exercises behaviors of an application under test (AUT) by executing events on GUIs and checking whether the app behaves correctly. In particular, because Android leads in market share of mobile OS platforms, a...
Detecting lock-related defects has long been a hot research topic in software engineering. Many efforts have been spent on detecting such deadlocks in concurrent software systems. However, latent locks may be hidden in application programming interface (API) methods whose source code may not be accessible to developers. Many APIs have latent locks. For example, our study has shown that J2SE alone...
Stored procedures in database management systems are often used to implement complex business logic. Correctness of these procedures is critical for correct working of the system. However, testing them remains difficult due to many possible states of data and database constraints. This leads to mostly manual testing. Newer tools offer automated execution for unit testing of stored procedures but the...
Product Families are gaining interest because ofthe increasing demand for customizable products. However, testing a Product Family is a difficult task, in special, fordependable products, in which the exception handling mustalso be well tested. Model-based testing (MBT) can be usefulfor testing Product Families, in which a behavior model can beobtained from the requirements, this model being used...
In this paper, A test bench system used in the test of UAV is put forward. The system is consisted of four parts which includes bearing part of UAV, ground support position, transmission mechanism and measuring weight parts. Bearing part of UAV is used for placing the object to be measured which is connected to one end of the drive mechanism through the connecting shaft, The other end of the drive...
Based on hardware and software integration testing and model driven testing binding requirements, we propose a model based on the needs of embedded software driver initial framework to analyze and identify the needs of embedded systems hardware and software object creation object interaction model, then the model analysis and testing constraints and on the basis of test scenarios, and then establish...
The testability of equipment has become the key factor affecting equipment availability, and detracts from readiness and mission success. To overcome the current problems associated with the analysis of equipment testability, such as non-comprehensive failure mode coverage, low fault detection rate, and low fault location accuracy, this paper presents a system testability modeling and analysis method...
Having scientific publications is an evidence of a lecturer's efforts to fulfill the obligation to carry out research activities as one of the three obligations of Higher Education in Indonesia, i.e. education and teaching, research, and community service. The objective of this research is to evaluate the determinant factors of publication in Scopus by Institut Teknologi Sepuluh Nopember (ITS) lecturers...
The common defect types and signal characteristics of the steel pipe are introduced, the time-frequency analysis is applied to the signal, experiment results are consistence with simulation results. Inner burr model is constructed to analysis the signal characteristic of various burrs. The ensemble empirical mode decomposition (EEMD) method and wavelet packet analysis are used for the adaptive decomposition...
Model assessment of Land suitability (MAOLS) is a valuable tool for palm land, and it is used to manage the natural resource in the land clearing of oil palm plantations. This model is applied to a decision support system (DSS) for oil palm plantation land clearing problem. This issue is intended to avoid excessive land clearing, therefore the efficient analysis in decision making is necessary. DSS...
Qubit models for defining the structures and functionalities are developed to improve the performance of the analysis of digital devices by increasing the dimension of the data and memory structures. The basic concepts, terminology, definitions, necessary for the implementation of quantum computation in the practice of modeling computer structures, are introduced. The examples proving the efficiency...
In order to verify whether the functions have been rightly implemented into the software, the developer is involved with the task of developing a set of test cases thereby influencing the set of functions and modules present in the software so that the developer can judge upon the defects laid into the implemented functions. The set of functions which these test cases influence comprises what in common...
In order to improve the reliability of electronic products and reduce the probability of failure of spare parts, this paper proposes a method of using alternation to detect electronic products regularly. Firstly, we regard the original element and the spare part as the reserve system and consider the fault of the elements caused by human error at the same time. Secondly, we take the Alternate interval...
Security protection is usually thought to be a separate process in web application development phases but the external security protection mechanisms are not effective to control threats and vulnerabilities in web applications. As a consequence, researchers have realized security development should be an integral part of System Development Lifecycle of web applications. This article presents a universal...
Electromagnetic acoustic transducer (EMAT) is a kind of non-contact ultrasonic transducer, and during its operation, no liquid coupling is required. Despite this advantage, EMAT has low transduction efficiency and its performance depends on the tested object, thus further research of its complex multiphysics transduction mechanism involving both electromagnetic and elastodynamic phenomena is paramount...
This preliminary study investigates feasibility of a running speed based heart rate (HR) prediction. It is basically motivated from the assumption that there is a significant relationship between HR and the running speed. In order to verify the assumption, HR and running speed data from 217 subjects of varying aerobic capabilities were simultaneously collected during an incremental treadmill exercise...
Simulating inertial system was applied to the test of the starting and braking performance of rotary mechanism. The accuracy of inertia has an important impact on test precision of simulating inertial system. So the distribution of the inertia error caused by the mass error and the centroid error is analyzed and the models of the simulating inertial system with the theoretical inertia and the limit...
This talk presents results recently published in Software Testing, Verification and Reliability. In recent years, important efforts have been made for offering a dedicated language for modelling and verifying/proving security protocols. However, verifying the security protocol model does not guarantee that the actual implementation of the protocol will fulfil these properties. In this talk we present...
This paper proposes an online calculation method of theoretical power losses for high-voltage(HV) distribution system based on rapid modeling and data quality analysis in order to improve the timeliness, accuracy and efficiency of the important task. At first the power grid structure model can be rapidly formed according to the basis data library transferred from the original PSD-BPA format file....
In this paper, we present the design and analysis of a soft wearable sleeve capable of modulating the stiffness of a joint. The sleeve uses a novel fabric-like architecture of miniaturized soft fluidic actuators known as Fiber Reinforced Elastomeric Enclosures (FREEs). By selective actuation of FREEs in this architecture, we demonstrate joint stiffening in either one or both directions. The paper...
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.