Skip to main content
Article
Verifying software requirements: a requirement tracing methodology and its software tool-RADIX
IEEE Journal on Selected Areas in Communication (1994)
  • Weider D Yu, San Jose State University
Abstract
The waterfall-based software development methodology usually requires significant efforts and lengthy intervals to develop, review, inspect, and test very large and complex real-time software systems. Although the methodology itself is stable and mature, the quality of software products still largely depends on development efforts expended in testing, which is usually very costly and time consuming. The author describes the implementation of an integrated approach of software development, review, inspection, and testing based on well-identified software requirements. Due to the huge size and the complex feature interactions of the 5ESS Switch software, the process of review, inspection, and testing has been very important to the project. To enhance the quality of the products, it is necessary to ensure the feature requirements requested by customers, external and internal, are developed correctly. The requirement traceability procedure described in the paper is a systematic method to assist 5ESS Switch scientists and engineers to achieve the goal. The results of the implementation of the requirement traceability procedure and its RADIX tool are significant
Keywords
  • electronic switching systems,
  • program testing,
  • program verification,
  • software tools,
  • telecommunciations control
Disciplines
Publication Date
February, 1994
Publisher Statement
SJSU users: use the following link to login and access the article via SJSU databases
Citation Information
Weider D Yu. "Verifying software requirements: a requirement tracing methodology and its software tool-RADIX" IEEE Journal on Selected Areas in Communication Vol. 12 Iss. 2 (1994)
Available at: http://works.bepress.com/weider_yu/3/