Abstract
Various types of software artifacts are produced in the software life cycle processes. Although traceability between different artifacts is beneficial for software development, the actual practice of modeling and maintaining traceability is not always entirely successful. In this paper, we explore how to manage traceability for the software life cycle process, including a new solution for formally constructing and preserving traceability under various management operations. Such a solution allows flexibility and extensibility to define new types of traceability links (dependency relationships). Its traceability information does not pollute the inner relationships of existing artifacts. We first present a formal model called a structure model that is used to describe software systems, and then a traceability concept is formally defined. Based on the structure model, we investigate in theory how to preserve traceability under various management operations. Finally, a prototype tool is developed for supporting our work.
This work is supported by National Natural Science Foundation of China (Nos. 61772006, 61772004 and 12261027), National Key R &D Program of China (No. 2022YFB3305101) and Scientific Research Foundation for Advanced Talents of Chengdu University of Information Technology (No. KYTZ202009).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Anquetil, N., et al.: A model-driven traceability framework for software product lines. Softw. Syst. Model. 9(4), 427–451 (2010). https://doi.org/10.1007/s10270-009-0120-9
Demuth, A., Kretschmer, R., Egyed, A., Maes, D.: Introducing traceability and consistency checking for change impact analysis across engineering tools in an automation solution company: an experience report. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 529–538. IEEE (2016)
Espinoza, A., Garbajosa, J.: A study to support agile methods more effectively through traceability. Innov. Syst. Softw. Eng. 7(1), 53–69 (2011). https://doi.org/10.1007/s11334-011-0144-5
Feiler, P.H., Gluch, D.P.: Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language. Addison-Wesley (2012)
Goknil, A., Kurtev, I., van den Berg, K.: Generation and validation of traces between requirements and architecture based on formal trace semantics. J. Syst. Softw. 88, 112–137 (2014). https://doi.org/10.1016/j.jss.2013.10.006
Guana, V., Stroulia, E.: End-to-end model-transformation comprehension through fine-grained traceability information. Softw. Syst. Model. 18(2), 1305–1344 (2019). https://doi.org/10.1007/s10270-017-0602-0
Jayatilleke, S., Lai, R., Reed, K.: A method of requirements change analysis. Requir. Eng. 23(4), 493–508 (2018). https://doi.org/10.1007/s00766-017-0277-7
Lago, P., Muccini, H., van Vliet, H.: A scoped approach to traceability management. J. Syst. Softw. 82(1), 168–182 (2009). https://doi.org/10.1016/j.jss.2008.08.026
Letelier, P.: A framework for requirements traceability in UML-based projects. In: Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering, pp. 30–41 (2002)
Maro, S., Anjorin, A., Wohlrab, R., Steghöfer, J.P.: Traceability maintenance: factors and guidelines. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 414–425 (2016)
Maro, S., et al.: Managing traceability information models: not such a simple task after all? IEEE Softw. (2020)
Maro, S., Steghöfer, J.P., Staron, M.: Software traceability in the automotive domain: challenges and solutions. J. Syst. Softw. 141, 85–110 (2018)
(OMG), O.M.G.: Omg unified modeling language tm (omg UML), version 2.5. OMG Document Number formal/2015-03-01, pp. 1–758 (2015). https://www.omg.org/spec/UML/2.5/
Pavalkis, S., Nemuraitė, L., Butkienė, R.: Derived properties: a user friendly approach to improving model traceability. Inf. Technol. Control 42(1), 48–60 (2013)
Rahimi, M., Cleland-Huang, J.: Evolving software trace links between requirements and source code. Empir. Softw. Eng. 23(4), 2198–2231 (2018). https://doi.org/10.1007/s10664-017-9561-x
Ramesh, B., Jarke, M.: Toward reference models of requirements traceability. IEEE Trans. Softw. Eng. 27(1), 58–93 (2001). https://doi.org/10.1109/32.895989
Raţiu, C.C., Mayr-Dorn, C., Assunção, W.K., Egyed, A.: Taming cross-tool traceability in the wild. In: 2023 IEEE 31st International Requirements Engineering Conference (RE), pp. 233–243. IEEE (2023)
Shi, C., Kong, X., Yu, P.S., Xie, S., Wu, B.: Relevance search in heterogeneous networks. In: Proceedings of the 15th International Conference on Extending Database Technology, pp. 180–191 (2012)
Spanoudakis, G., Zisman, A.: Software traceability: a roadmap. In: Handbook of Software Engineering and Knowledge Engineering: Vol 3: Recent Advances, pp. 395–428. World Scientific (2005)
Sun, Y., Han, J., Yan, X., Yu, P.S., Wu, T.: PathSim: meta path-based top-k similarity search in heterogeneous information networks. Proc. VLDB Endowment 4(11), 992–1003 (2011)
Torkar, R., Gorschek, T., Feldt, R., Svahnberg, M., Raja, U.A., Kamran, K.: Requirements traceability: a systematic review and industry case study. Int. J. Softw. Eng. Knowl. Eng. 22(3), 385–434 (2012). https://doi.org/10.1142/S021819401250009X
Wen, H., Wu, J., Jiang, J., Li, J., Hong, Z.: A formal approach for traceability preservation in software development process. In: Cai, Z., Xiao, M., Zhang, J. (eds.) NCTCS 2023. Communications in Computer and Information Science, vol. 1944, pp. 18–35. Springer, Cham (2023). https://doi.org/10.1007/978-981-99-7743-7_2
Wen, H., Wu, J., Jiang, J., Tang, G., Hong, Z.: A formal approach for consistency management in UML models. Int. J. Softw. Eng. Knowl. Eng. 33(05), 733–763 (2023)
Wen, L., Tuffley, D., Dromey, R.G.: Formalizing the transition from requirements’ change to design change using an evolutionary traceability model. Innov. Syst. Softw. Eng. 10(3), 181–202 (2014). https://doi.org/10.1007/s11334-014-0230-6
Winkler, S., von Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. 9(4), 529–565 (2010). https://doi.org/10.1007/s10270-009-0145-0
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Wen, H., Wu, J., Jiang, J., Li, J., Hong, Z. (2024). Managing Traceability for Software Life Cycle Processes. In: Chin, WN., Xu, Z. (eds) Theoretical Aspects of Software Engineering. TASE 2024. Lecture Notes in Computer Science, vol 14777. Springer, Cham. https://doi.org/10.1007/978-3-031-64626-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-031-64626-3_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64625-6
Online ISBN: 978-3-031-64626-3
eBook Packages: Computer ScienceComputer Science (R0)