The use of techniques for automating the generation of test scripts is important as it can reduce the time and cost of the process. The recent method for automatic generation of tests using metaheuristic techniques i.e. Genetic Algorithms and Simulated Annealing. There is a great deal of research into the use of Genetic Algorithms to obtain a specific coverage in software testing but none is us...

The paradigm of model-based testing shifts the focus of testing from writing individual test cases to developing a model from which a test suite can be generated automatically. We report on our experience with model-based testing of a highly programmable system that implements intelligent telephony services in the U.S. telephone network. Our approach used automatic test-case generation technolo...

Path testing a program involves generating all paths through the program, and finding a set of program inputs that will execute every path. Since it is impossible to cover all paths in a program, path testing can be relaxed by selecting a subset of all executable paths that fulfill a certain path selection criterion and finding test data to cover it. The automatic generation of such test paths ...

There can be no doubt that electronics, and most particularly the software they contain, are the key to innovative and marketable functionality in modern vehicles However, a high level of reliability, safety, and quality in vehicle electronics is vital. There are currently two very important trends in automotive software development:  Controllers and functions are developed with the aid of sim...

Automatic transmissions are difficult to test and validate, due to the complex interaction of mechanics, hydraulics, electronics, and transmission control software. This paper introduces how simulation-based automatic generation of test scenarios can maximize test coverage and reduce test workload at the same time. This tool, TestWeaver, has been applied by SAGW during the development of the ap...

ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed for the Faculty of Information Technology in response to an investigation into appropriate assessment alternatives designed to cope with the ever increasing enrolment numbers in tertiary institutions, in particular in...

This paper describes an application of boundary scan IEEE Std. 1149.1 at system level. It provides the description of the design and the implementation options of a VME boundary scan controller board prototype and the corresponding software. The prototype was designed to use the Module Test and Maintenance (MTM) bus, existing in the VME 64x backplane, to apply the IEEE 1149.1 test vectors to a ...

This paper describes a method for automatic generation of tests from specifications written in Statecharts. These tests are to be applied to an implementation to validate the consistency of the implementation with respect to the specification. For test coverage, we adapt the notions of control-flow coverage and data-flow coverage used traditionally in software testing to Statecharts. In particu...

Formalized analysis method is a technology that insures quality of software reliability. It can detect mistakes and flaws effectively in software design. Based on the research of model checking techniques for composition of web services, we establish an automatic test framework for web services composition of BPEL. Static test method is used and test cases are generated automatically in this fr...