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.
Software Testing has been a costly process used in industry for purpose of verification of software. It consumes nearly thirty to fifty percent of the entire software development cost. Test oracle is considered as an important component of the testing process, which ensures about the correctness of software behavior. In search based test generations, specification based test generations or in intelligent...
The quality evaluation of random number sequences is a rather complex and resource-expensive process with a peculiar property: there is no finite amount of testing that can ensure perfect randomness. Yet applying multiple randomness tests, each evaluating the sequence from one specific and significant point of view, is vital for obtaining relevant results which can guide the tester in accepting or...
FOI is establishing a facility for destructive HPM testing and is developing an envisaged test methodology for such tests. The methodology consists of two test phases: (1) Determine the lowest power density required to destroy an object within a frequency range, using a reverberation chamber. (2) At this frequency, determine the most sensitive direction of attack using an HPM generator. A reverberating...
An automated process for generating test inputs for web services from a WSDL is presented. A grammatical representation of the web service is extracted from the WSDL and used to produce test cases. A context-free grammar (CFG) is generated from the XSD that is stored in the WSDL. The CFG is provided as input into a constraint-satisfaction problem solver to automatically generate a diverse set of structurally...
Cloud Testing is a critical part of cloud computing, a new direction in information technology. Cloud-based testing is more efficient and effective than traditional methods [11]. Cloud testing comes to reduce cost of this activity. A cloud application case study has been performed in this paper. At first, we introduce a new framework for cloud testing that includes four components, application analyzer,...
A Hardware Test-Bed (HTB) is developed to serve as a platform for power grid emulation. For maximum flexibility, power converters, which can accommodate various control algorithms and behave distinctively based on the applied model and control, is adopted. With the developed emulators, such as generator, load, wind turbine, and PV emulators, diverse research and experiments can be performed by using...
The aim of this work is to design an intelligent system for evaluating knowledge level of power plant operators who have completed training program. To build the evaluation system, skilled plant operator performance during fault conditions is simulated through expert system techniques. Rule based expert system developed, stores domain knowledge as set of rules. The system is integrated with Supervisory...
Safety and security aspects of radioactive substances from the sender to the receiver are important and should be assured. This research proposes implementation of modified Vernam algorithm to encrypt SMS which contains status information in transporting radioactive substances The results show that there are no errors in the process of data encryption and decryption as long as it uses the same key...
Applications with a Graphical User Interface (GUI) front-end are ubiquitous, thus it is of great importance to assure the quality of such systems. Model-based GUI testing provides an effective mechanism for automated testing of applications with a GUI. However, most existing model-based GUI test generation techniques produce many infeasible (i.e., Broken) event sequences which are used as test cases...
Search-based test generators, such as those using genetic algorithms and alternative variable methods, can automatically generate test inputs. They typically rely on fitness functions to calculate fitness scores for guiding the search process. This paper presents a novel rule-based testing (RBT) approach to automated generation of test inputs from Java byte code without using fitness functions. It...
This article describes a systematic approach to testing behavioural aspects of Web Services that communicate using the JSON data format. As a key component, the Quviq QuickCheck property-based testing tool is used to automatically generate a large number of test cases from an abstract description of the service behaviour in the form of a finite state machine. The same behavioural description is also...
This paper discusses PID tuning capabilities of a digital excitation system and a new feature called automatic tuning which can accelerate the process involve of commissioning the generator with the new excitation system. Based on given excitation system parameters, several PID tuning approaches are reported. Since in general, these parameters are not available during commissioning, specifically the...
Amongst the features of Service Oriented Architectures (SOAs), their flexibility, dynamicity, and scalability make them particularly attractive for adoption in the ICT infrastructure of organizations. Such features come at the cost of improved difficulty in monitoring the SOA for error detection: i) faults may manifest themselves differently due to services and SOA evolution, and ii) interactions...
The lightning protection performance of the carbon fiber composite (CFC) main rotor blade of a helicopter is studied by using high-voltage large-current generators. According to the lightning zoning of this helicopter, the blade tip of the main rotor blade was considered belonging to lightning Zone 1A, the blade airfoil part and the blade root of main rotor blade were considered belonging to lightning...
Deterministic random bit generators can be used for cryptographic operations. An important feature of the DREG is collision resistance in order to avoid the generation of the same output sequence for different seeds. Further features are reverse calculation resistance and fault attack detection, which can in our design be reached by the COSSMA approach (COmplete Set of State MAchines) in combination...
Nowadays, renewable energy resources (RERs) are greatly increasing. The intermittent characteristics of the RERs will affect the transmission network expansion planning (TNEP). Consequently, this paper presents a new problem formulation and solution procedure for the TNEP which can cope with the intermittent characteristics. Taguchi's Orthogonal Array Testing (TOAT) is used to select the scenarios...
Simulation-based approaches that require to drive the design under verification (DUV) to specific conditions, like for example, scenario-based testing and dynamic assertion-based verification (ABV), cannot rely on generic coverage-driven stimuli generators. On the contrary, constraint-based generation must be adopted. In this context, among several solutions, the Universal Verification Methodology...
Lightweight property-based testing tools are becoming popular these days. With property-based testing, developers can test properties of the system under test against large varieties of randomly generated inputs without writing test cases. Despite the advantages of property-based testing, current property-based testing tools have a major drawback: they require developers to write generator functions...
Web applications are increasingly resorting to public cloud platforms such as the Amazon Web Services (AWS) Elastic Compute Cloud (EC2). However, previous studies have shown that the virtualized infrastructures used in a cloud environment can introduce performance issues. Hence, it is crucial to test the performance of the cloud to support Web applications. This is challenging because the performance...
Companies that provide web applications need to perform frequent regression testing because companies often encounter various security attacks and frequent feature update demands from users. Typically, such applications require regression testing processes that require minimal test effort because they have already been deployed and used in the field. In our previous work, we presented an efficient...
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.