Program testing: Specification languages and automatic test generation

The development of program testing was especially rapid between 1973 and 1977. Only a few new ideas have been put forward in recent years and in some fields as, for example, in automatic test generation there have been no advances at all. Undoubtedly, the most fruitful idea recently advanced is the formalization of design description specification languages. It is expected to provide new results both in automatic generation of reliable test sets and in the evaluation of testing results. Practically most important was the appearance of technological programming complexes that unify all individual testing concepts. It is such complexes that can contribute to widespread dissemination of new concepts and principles of program testing.