Supporting testing of specifications and implementations

A system is presented that can generate tests from the specification of a computer program. It requires some information from the user to avoid combinatorial explosion. The tests are used to test both the specification and the implementation. Two methods are presented for transforming the tests to a...

Full description

Saved in:
Bibliographic Details
Published in:Microprocessing and microprogramming 1990-08, Vol.30 (1), p.297-302
Main Authors: Arkko, Jari, Hirvisalo, Vesa, Kuusela, Juha, Nuutila, Esko
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A system is presented that can generate tests from the specification of a computer program. It requires some information from the user to avoid combinatorial explosion. The tests are used to test both the specification and the implementation. Two methods are presented for transforming the tests to a form suitable for testing the implementation. An experiment indicates that the test case generation methods are fairly effective.
ISSN:0165-6074
DOI:10.1016/0165-6074(90)90257-A