Software testing plays a vital role in software development life cycle. An approach of testing which takes place at design phase can remove errors in the system and improvise the developed project. Automatic test case generation can be used for testing software or real time applications. Many evolutionary algorithms are used for generating test case automatically. This paper represent review of...

We present an approach to automatically generating operation invariance tests for use with Haskell’s random testing framework QuickCheck. The motivation stems from a paper by Holdermans [8] which showed how to address certain shortcomings of straightforward testing of implementations of an abstract datatype. While effective, his solution requires extra generation work from the test engineer. Al...

Speech reception tests are commonly administered by manually scoring the oral response of the subject. This requires a test supervisor to be continuously present. To avoid this, a subject can type the response, after which it can be scored automatically. However, spelling errors may then be counted as recognition errors, influencing the test results. We demonstrate an autocorrection approach ba...

This paper addresses the problem of automatizing the production of test sequences for reactive systems. We particularly focus on two points: (1) generating relevant inputs, with respect to some knowledge about the environment in which the system is intended to run; (2) checking the correctness of the test results, according to the expected behavior of the system. We propose to use synchronous o...

The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...

Özet. Otomatik birim testler sayesinde programlar n kapsama oran n artt rmak mümkündür. Konkolik test metodu (concolic testing) otomatik birim test yarat m için kullan lan bir yaz l m testi tekni§idir. Ancak, yol patlamas (path explosion) ve k s t çözümlerinin (constraint solving) yaratt § darbo§az nedeniyle, ölçeklenebilir bir otomatik konkolik testçi geli3tirmek zor olmu3tur. Bu tekni§i ölçek...

We report on the automatic testing of the control software of the Oosterschelde kering, a storm surge barrier. The automatic testing includes automatic test case derivation and automatic test execution. This project is a joint effort of CMG and the computer science group “Formal Methods and Tools” at the university of Twente. We introduce the way we currently test at the Formal Methods and Tool...