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.
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a definition of the hybrid approach to the specification, analysis and testing of stateful grid services using ASM. This approach allows an easy integration of created specification of developed middle ware with existing components of grid systems. The important...
We describe an automated approach for systematic black-box testing of database management systems (DBMS) using a relational constraint solver. We reduce the problem of automated database testing into generating three artifacts: (1) SQL queries for testing, (2) meaningful input data to populate test databases, and (3) expected results of executing the queries on the generated data. We leverage our...
The Prospec software tool facilitates the construction of formal specifications in LTL by automating Dwyer's Specification Pattern System as extended by Mondragon and Salamah. The LTL generation has been verified through the automated creation of a rigorous test set. Over 3 million test cases were generated and executed, providing extensive coverage of the system.
Compilers play an important role in software development, and it is quite necessary to perform abundant testing to ensure the correctness of compilers. A critical task in compiler testing is to validate the semantic-soundness property which requires consistence between semantics of source programs and behavior of target executables. For validating this property, one main challenging issue is generation...
Combinatorial testing in VDM involves the automatic generation and execution of a large collection of test cases derived from templates provided in the form of trace definitions added to a VDM specification. The main value of this is the rapid detection of run-time errors caused by forgotten preconditions as well as broken invariants and post-conditions. Trace definitions are defined as regular expressions...
The potential of applying search-based testing principles to functional testing has been demonstrated in various cases. The focus was mainly on simulating the system under test using a model or compiled source code in order to evaluate test cases. However, in many cases only the final hardware unit is available for testing. This research presents an approach in which evolutionary functional testing...
In an age of rapid development in increasingly complex environments, automation is the only real hope for achieving any acceptable level of test coverage. Yet, even with all of the tools and technology available, the overwhelming amount of testing is still being done manually. Test automation is a vital component of every test project. While testing seems to take a new dimension, the big question...
Phishing is a web-based attack where users are allured to visit fake websites and provide their personal information. Traditional anti-phishing tools are successful to mitigate the attack partially. Most of the tools are focused on protecting users. However, there exists lack of efforts to help anti-phishing professionals who manually verify a reported phishing site and take further actions. Moreover,...
Databases have become an integral part of the web applications in the current world. Database based applications have brought a revolution in the domain of information technology. These applications interact with the databases using Structured Query Language (SQL) queries embedded in the code. There are automated ways to test the applications written in imperative and structured languages. However,...
The order in which tests are executed can significantly impact the total test execution time. In this paper, we evaluate two test prioritization techniques (manual and automatic) in the context of mobile phone testing. The manual technique produces test sequences created by test experts, while the automatic one generates sequences mechanically based on the permutation of the tests. Both techniques...
Recently search based software engineering (SBSE) has evolved as a major research field in the software engineering community. SBSE has been applied successfully to many software engineering activities ranging from requirement engineering to software maintenance and quality assessment. One area where SBSE has seen much application is test data generation. Search based test data generation techniques...
This paper describes the test oracle generation from an abstraction relation document that is documented using Parnas's Module Documentation (MD) method. This work is part of on-going research that addresses the problem of improving the effectiveness of fault detection. We focus our work on unit/module testing where each module may consist of several programs. The aim of our project is to investigate...
Most current approaches to Web service discovery exploit description logic-based matchmaking algorithms. Until now, these Semantic Web Service technologies have not substituted for traditional search methods, because higher modeling costs, such as representing service annotation ontologies and domain ontologies, are required. In this paper, we present an automatic testing-based approach to the discovery...
We present the results of an evaluation where we studied the effectiveness of automatic test generation for graphical user interface (GUI) testing of smartphone applications. To describe the context of our evaluation, the tools and the test model library we have developed for the evaluation are also presented. The library contains test models for basic S60 applications, such as camera, contacts, etc...
In this paper, we describe our experience with automated testing of a mission-critical internal Voice-over-IP (VoIP) conferencing application which presents a web interface as well as a voice interface. We document the challenges that we had to overcome when testing this application and then present our solution using open source testing tools. The lessons learned from this experience may be applicable...
Software testing is complex and costly. It has become increasingly difficult to assess the quality of software and evaluate its correctness due to the ever increasing complexity of the software implementations as well as their dynamic nature in terms of the requirements changes and functionality updates. It is practically not possible to test a software system for all possible combinations of inputs,...
Manual testing is a laborious and time consuming process. In addition, it may not be effective in finding certain defects. Therefore, we introduce an effective framework for automated testing to help solve such problems. The proposed framework helps automate the distribution, execution, and results analysis of test cases. The workflow of tests and test environments are graphically expressed as tables...
This paper presents the design of a system for testing database-centric software applications using surrogate databases. Traditional testing approaches, such as using test bed databases and using stub code or mock objects, are often either difficult to implement and manage, or do not provide entirely effective verification of the functionality of the application under test. Testing database-centric...
This paper describes a GUI testing toolset. This toolset was designed to augment the primary testing activities found in a normal GUI testing cycle. It includes an automatic test case and test automation generator, static binary analysis, a GUI change tracking tool and a comprehensive reporting mechanism. An empirical study on a complex system demonstrates that the toolset could greatly reduce the...
There are several approaches available for creating Web application UI test automation. This paper describes the motivation for creating a new Web application test framework, and briefly describes the architecture and design of the framework. The framework is browser agnostic, easy to use, employs a high level programming language and development environment allowing integrated debugging and object...
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.