Backward Requirements Traceability within the Topology-based Model Driven Software Development

摘要：

The inconsistence between software and specifications leads to unpredictable side effects after change implementation. Impact analysis may be useful here, but manual control of trace links is very expensive. Model Driven Architecture and automated transformations should make the impact analysis easier. The issue is that the impact analysis of changes in software to real world functional units is intuitive. Formalization of specifications of the environment and software functionality as well as their analysis by means of Topological Functioning Model extends possibilities of the impact analysis. This paper demonstrates the establishment of formal trace links to real world functional units and entities from user requirements and analysis artifacts. These links show element interdependence explicitly, and, hence, make the impact analysis more thorough.

作者: Erika Asnina Bernards Gulbis Janis Osis

作者单位: Department of Applied Computer Science, Institute of Applied Computer Systems Riga Technical University, Meza iela 1-k.3, LV-1048, Riga, Latvia

会议类型: 国际会议

会议名称: 13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)

会议地点: 北京

会议语种:英文

页码: 1344-1353

在线出版日期: 2011-06-08（万方平台首次上网日期，不代表论文的发表时间）