This paper provides an overview of a system which allows to integrate detection of potential timing attack with a regular test suite. The authors examine previous approaches to the problem and discuss their usefulness and fitness for the purposes of automated testing. A developer-friendly system for detecting timing issues using Valgrind is presented, and integration with Google Test is discuss...

This study describes the context for the development of a tool to formatively assess information technology skills of students. The tool provides a reliable and valid assessment of word processing competency, utilizing automation to apply the test instrument via the Microsoft Office package. Tests can be designed directly by tutors, and delivered via a network. Evaluation of the tests suggests ...

This paper considers the problem of automatically generating tests from Z specifications based on userdefined testing criteria. Automation is facilitated by formally specifying heuristics for generating tests that can be applied to a specification using general purpose theorem proving tools. The formal specification of the heuristics also allows desirable properties to be checked and comparativ...

Command, Control, and Information Systems (C2ISs) are complex software products that must conform to agreed standards in order to be interoperable in joint and combined operations. Due to the complexity of information exchange between heterogeneous C2ISs, thorough testing is indispensable to gain confidence that these standards are implemented correctly and semantic interoperability is indeed a...

In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to ...

grammar ThreeFieldGrammar; structure { start: field1 & separator & field2 & separator & field3 & "\n"; separator: "-"; abstract field1; abstract field2; abstract field3; } An abstract grammar captures an incomplete specification. A non-terminal node must be declared abstract if it does not have a corresponding RHS. A grammar that has at least one abstract node must be declared abstract. A deriv...

Model-based GUI testing (MGT) is emerging as a promising approach for testing applications with a graphical user interface (GUI). Currently, test models in MGT approaches are close to the GUI implementation with limited ability to represent abstract actions. This paper introduces the Action-Event Framework (AEF), a MGT framework. This framework helps testers abstract away from low-level details...

The object-oriented design of software in C++ using class templates presents many advantages. However, testing template based C++ software involves some unique issues not usually faced in testing non-template based software. This paper will describe these testing issues and proposed solutions using an automated testing framework based on Markov chain usage models. The framework is being used to...

Software testing is a labor-intensive and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test-tool. Properties from first order logic can be expressed in the system, Gast automatically generates appropriate test-data, evaluates the property for these values, and analyzes the test-results. In this way it becomes easier and cheap...

Recently, cloud computing platforms, such as Microsoft Azure, are available to provide convenient infrastructures such that cloud applications could conduct cloud and data-intensive computing. To ensure high quality of cloud applications under development, developer testing (also referred to as unit testing) could be used. Generally, manual developer testing is time consuming and labor intensiv...