Communications software design for testability: specification transformations and testability measures

Authors
Dssouli, R Karoui, K Saleh, K Cherkaoui, O
Citation
R. Dssouli et al., Communications software design for testability: specification transformations and testability measures, INF SOFTW T, 41(11-12), 1999, pp. 729-743
Citations number
28
Categorie Soggetti
Computer Science & Engineering
Journal title
INFORMATION AND SOFTWARE TECHNOLOGY
ISSN journal
09505849 → ACNP
Volume
41
Issue
11-12
Year of publication
1999
Pages
729 - 743
Database
ISI
SICI code
0950-5849(19990815)41:11-12<729:CSDFTS>2.0.ZU;2-J
Abstract
To deal with the increased complexity related to the testing of communicati ons software, we propose the integration and application of finite state ma chine based specification transformations and testability measures early in the communications software development process. Based on this integration , the testability of a given design is estimated and appropriate specificat ion transformations are defined and applied iteratively to enhance the test ability of the product implementation. (C) 1999 Elsevier Science B.V. All r ights reserved.