<bold>Requirement Traceablity in Software Development Process: An Empirical Approach</bold>

被引:5
|
作者
Sengupta, Sabnam [1 ]
Kanjilal, Ananya [1 ]
Hattacharya, Swapan [2 ]
机构
[1] BP Poddar Inst Management & Technol, Kolkata 700052, India
[2] Natl Inst Technol Durgapur, Durgapur 713209, India
关键词
requirement tracing; Z notation; formalization; design traceability; automated verification; trace paths; trace table;
D O I
10.1109/RSP.2008.14
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
One of the biggest challenges in the software industry is to ensure that a software product meets all user specifications. In this paper, we propose to establish traceability of functional requirements expressed in a SRS document among different UML diagrams that are used in requirement analysis and design phases. We have used Z notation as the formal language for representing the SRS and design artifacts and this formal notation is used to automatically establish trace paths based on certain rules. We present an implementation methodology based on XML for development of a prototype. A snapshot of some of the results based on a case study has been shown for illustration of our approach. Our approach will help in identifying missing requirements or incomplete requirement coverage as well highlight the impact points for effective change management of requirements.
引用
收藏
页码:105 / +
页数:2
相关论文
共 50 条
  • [1] <bold>THE TRANSFER IN THE EDUCATIONAL PROCESS</bold>
    Elena Ramirez, Libia
    [J]. REVISTA COLOMBIANA DE CIENCIAS SOCIALES, 2011, 2 (01): : 85 - 89
  • [2] <bold>Call Availability Prediction in a Telecommunication System: A Data Driven Empirical Approach</bold>
    Hoffmann, Guenther
    Malek, Miroslaw
    [J]. SRDS 2006: 25TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, : 83 - 95
  • [3] <bold>An empirical study on the usefulness of Conallen</bold>s stereotypes in<bold> Web application comprehension</bold>
    Ricca, Filippo
    Di Penta, Massimiliano
    Torchiano, Marco
    Tonella, Paolo
    Ceccato, Mariano
    [J]. PROCEEDINGS OF THE EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON WEB SITE EVOLUTION, 2006, : 58 - +
  • [4] <bold>United Nations Conference on Trade and Development</bold> (<bold>UNCTAD</bold>)
    Abella Gutierrez, Brandon Felipe
    [J]. ANUARIO COLOMBIANO DE DERECHO INTERNACIONAL-ACDI, 2022, 15 : 31 - 31
  • [5] Load Balancing on Software Defined Networks<bold> </bold>
    Babayigit, Bilal
    Ulu, Banu
    [J]. 2018 2ND INTERNATIONAL SYMPOSIUM ON MULTIDISCIPLINARY STUDIES AND INNOVATIVE TECHNOLOGIES (ISMSIT), 2018, : 419 - 422
  • [6] Basics of phonetic development <bold> </bold>
    Trojan, F.
    [J]. FOLIA PHONIATRICA, 1955, 7 (02): : 99 - 115
  • [7] <bold>A Modular Approach to IEEE-1451.5 Wireless Sensor Development</bold>
    Sweetser, David
    Sweetser, Victoria
    Nemeth-Johannes, Jay
    [J]. PROCEEDINGS OF THE 2006 IEEE SENSORS APPLICATIONS SYMPOSIUM, 2006, : 82 - 87
  • [8] <bold>A UML rule-based approach for describing and checking dynamic software architectures</bold>
    Miladi, Mohamed Nadhmi
    Kacem, Mohamed Hadj
    Boukhris, Achraf
    Jmaiel, Mohamed
    Drira, Khalil
    [J]. 2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 1107 - +
  • [9] <bold>Uncertainty based aircraft derivative design for requirement changes </bold>
    Park, H. -U.
    Chung, J.
    Neufeld, D.
    [J]. AERONAUTICAL JOURNAL, 2016, 120 (1224): : 375 - 389
  • [10] Neonatal Autopsy: A 21st Century Approach?<bold> </bold>Reply<bold> </bold>
    Groenendaal, Floris
    Nikkels, Peter G. J.
    Lequin, Maarten H.
    de Sevaux, Joline L. H.
    [J]. NEONATOLOGY, 2019, 115 (03) : 277 - 277