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.
Assuring the security of a software system in terms of testing nowadays still is a quite tricky task to conduct. Security requirements are taken as a foundation to derive tests to be executed against a system under test. Yet, these positive requirements by far do not cover all the relevant security aspects to be considered. Hence, especially in the event of security testing, negative requirements,...
The problem of resource management in Home Automation Systems (HAS) emerges in several recent contributions due to the growth of ecological concerns and the rapid development of automated home equipments. This paper presents an ongoing work on the subject, whose goal is to provide an approach to test the resource usage of HAS, including a test suite generation and execution method. The envisioned...
Our experience with applying model-based testing on industrial systems showed that the generated test suites are often too large and costly to execute given project deadlines and the limited resources for system testing on real platforms. In such industrial contexts, it is often the case that only a small subset of test cases can be run. In previous work, we proposed novel test case selection techniques...
There are several industries in which Message Sequence Charts (MSCs) and the corresponding UML notation (Sequence Diagrams) are used to describe requirements. However, most work on model based testing has looked at testing from other languages such as input output transition systems and finite state machines. This paper explores the problem of testing on the basis of an MSC specification. We develop...
This paper addresses the problem of integration testing of data-centric dynamic compositions in service-based systems. These compositions define abstract services, which are replaced by invocations to concrete candidate services at runtime. Testing all possible runtime instances of a composition is often unfeasible. We regard data dependencies between services as potential points of failure, and introduce...
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is inefficient because hackers bypass these checks and directly send malicious data to the server. User input validation thus has to be duplicated from the client-side (HTML pages) to the server-side (PHP or JSP etc.). We present...
This paper presents User Interface Test Automation of Silverlight and Moonlight web applications. Silverlight is a new technology in Dot Net 3.5 framework developed by Microsoft. Moonlight is an equivalent technology for Linux operating system. Now a day most of the interactive and attractive web pages are developed using Silverlight and Moonlight. So in is paper we initially concentrating on user...
This paper proposes a novel approach to generating test cases from UML 2.0 activity diagrams and prioritizing those test cases using model information encapsulated in the activity diagrams. The test cases generated according to our approach are suitable for system level testing of the application. For prioritization of test cases, we propose a method based on coverage of all transitions in the activity...
In order to increase the effectiveness and efficiency of software reliability testing, an accelerated testing method based on test coverage is presented in this paper. The amount of reliability test cases is reduced by a heuristic test-suite reduction algorithm based on static analysis of test coverage. The testing process is accelerated by the strategy of not executing redundant test cases and compensating...
John Musa's first book on Software Reliability Engineering advises the analyst to use the Musa Basic Law or the Musa-Okumoto Logarithmic Law to estimate failure intensity, depending on which provides the best fit to the data. He refered to the papers by Tractenberg and Downs as providing a foundation for these models. I propose using Musa's basic model in combination with an approach Duane and Codier...
This paper proposes a software reliability model with a bathtub-shaped fault detection rate. We discuss how the inherent characteristics of the software testing process support the three phases of the bathtub; the first phase with a decreasing fault detection rate arises from the removal of simple, yet frequent faults like syntax errors and typos; the second phase possesses a constant fault detection...
This standard provides requirements for the test and review of software user documentation as part of the life cycle processes. It defines the documentation process from the viewpoint of the documentation tester and reviewer. It specifies process for use in testing and reviewing of user documentation, and provides the minimum requirements for these activities. It is relevant to roles involved in testing...
This article describes the advanced parametric models for assessment and prediction of software reliability, based on statistics of bugs at the initial stage of testing. The parametric model approach, commonly associated with reliability issues, deals with the evaluation of the amount of bugs in the code. Computed parameter values inserted into the model allow to estimate: (a) number of bugs remaining...
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. Testing remains the principal means of verification in the medical device certification regime. Traditional software test generation techniques, where the tests are generated independently of the operational environment, are not effective as the...
Coverage analysis has been playing an important role in testing traditional single threaded applications. As the number of multicore hardware being used increases, the number of multithreaded applications grows as well. In multi-threaded environment, traditional code coverage models cannot really cover the nondeterministic behavior of simultaneously running threads. The concept of synchronization...
In 2010, over 20.3 million vehicles were recalled. Software issues related to automotive controls such as to cruise control, anti-lock braking system, traction control and stability control, account for an increasingly large percentage of the overall vehicles recalled. We have developed AutoPlug, an automotive Electronic Controller Unit (ECU) test-bed to diagnose, test, validate and verify controls...
Usability testing is necessary to be performed by software development companies to determine whether their products are usable or not. It is equally important for the end-user companies running usability studies as well. This paper presents the development of Usability Management System (USEMATE), an automated system as an alternative solution to assist usability tester or practitioner to run usability...
The rise of web services and service composition in recent years makes it necessary to pay special attentions to their robustness and integrity. One of the most ideal solutions is using testing technology, we are interested in checking whether the process satisfies a given temporal safety property, the cost of dynamic testing for distributed and heterogeneous applications is huge, so forward a static...
Debugging the custom code developed for a logic controller is a crucial and high risk step for any production line startup. Emulation, the process of building a virtual 3D production line responsive in real-time to a logic controller, provides the controls engineer early access to the line. Using this safe, easy, emulated testing environment reduces startup time by up to 50%. This case study will...
Function call path testing is based on static analysis of source code. The relationship between the definitions of the overloaded function and the call points is uncertain in the static analysis, which will produce a great deal of redundant paths and increase the cost of the testing. In order to determine the paths of the actual process and get function call relation, firstly, we need to determine...
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.