Construction And Application Of Intelligent Software Traceability Model

The intelligent software development process represented by software-intensive intelligent vehicles needs to be more standardized and reliable to ensure that technical functions achieve safety standards.Not only that,but the development process also needs to consider sociotechnical factors.For example,when intelligent vehicle control system makes decisions,it often encounters moral dilemmas.The differences in human values between different cultures make the dilemmas different.This requires practitioners to change their approach to software engineering to align technology with human values.Software traceability is an important aspect of software development,and wellconstructed traceability information can help check whether models conform to safety standards.Systems Modeling Language(SysML)uses the cross-cutting mechanism to express software traceability,but the semi-formal characteristics and the inadequate and undetailed expression of software traceability make it difficult to conduct the verification and relevant application.Secondly,there are still some challenges to the practice of values in software engineering at present,such as the lack of formal expression of values,the failure to explicitly integrate and track values in the system,and the failure to ensure that they can be realized,verified and measured.In response to the above challenges,this paper first studies the method of converting Sys ML into formal specifications.Based on this formal specification,a formal intelligent software traceability model is constructed.Finally,this paper attempts to apply the model to the formalized value analysis process to provide theoretical basis and technical support.The main contents of this paper are summarized as follows:· Firstly,this paper studies the ontology-based Sys ML semantic representation,and further extends the traceability semantics to build a formal intelligent software traceability model.Based on this model,inference verification can be carried out directly with various ontology inference tools.The model is evaluated quantitatively and qualitatively by ontology,and the results show the reasonableness of ontology design and the feasibility of the method.· Then,the method of formalizing and verifying human values in ontology model is studied.In view of the characteristics that values may be identified in the model and values may be represented as artifacts,this paper proposes a value analysis process and an automated verification algorithm guided by traceability information.The proposed method is evaluated on intelligent vehicle trajectory planning system and production unit system.Experimental results show the feasibility and efficiency of the method.· Finally,in order to improve the availability of the work,partial functions of the above two work contents were realized automatically,and the prototype tool Ont4 Sys was obtained,which was publicly available online.