GENERATING TEST CASES FROM FORMAL SPECIFICATIONS

被引：0

作者：

Toth, Kalman C. ^{[1
]}

Donat, Michael R. ^{[1
]}

Joyce, Jeffrey J. ^{[1
,2
]}

机构：

[1] Department of Computer Science, University of British Columbia, #201 — 2366 Main Mall, Vancouver,BC,V6T 1Z4, Canada

[2] Hughes Aircraft of Canada, Systems Division, Canada

来源：

INCOSE International Symposium | 1996年 / 6卷 / 01期

关键词：

Requirements engineering - Software testing;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

This paper describes the possible process elements and benefits of applying Formal Methods to the specification and testing of software requirements. It is argued that the overall effort required to generate test cases can be significantly reduced by applying these methods. Ambiguities and inconsistencies are identified and removed from the specifications through the use of formal methods. This paper provides a sketch of a theoretic foundational for generating test cases from formalized software requirements specifications thereby reducing test development effort and providing developers and testers with a consistent interpretation of requirements. Preliminary work also supports the thesis that test case generation can be automated. © 1996 The Authors.

引用

页码：463 / 470