Research on Formal Degree Evaluation and Analysis for Domain Software Based on Evidence. Issue 5 (1st September 2016)

• Record Type: Journal Article
• Authors: Bao, Tie; Liu, Shufen; Han, Lu
• Is Part Of: Chinese journal of electronics. Volume 25:Issue 5(2016)
• Page Start: 793
• Page End: 800
• Publication Date: 2016-09-01
• Subjects: Software evaluation -- Domain software -- Formal degree -- Evidence metrics; formal specification -- program verification -- software performance evaluation; formal degree evaluation -- formal degree analysis -- evidence based domain software -- transformation models -- trustworthy evolution -- formal support -- creditable construction; Electronics -- Periodicals; Electronics -- China -- Periodicals; Electronics; China; Periodicals; 621.38105
• DOI: 10.1049/cje.2016.06.027
• Languages: English
• ISSNs: 1022-4653

Abstract

Abstract : Existing researches fail to involve formalized methods in evaluation and analysis of domain software and lack analysis on formal degree, this paper comes up with a formal degree evaluation approach for domain software based on evidence. Various levels of transformation models are mapped by formal analysis of evidence in life cycle of domain software so as to quantitatively measure degree of evidence. Evaluation model based on evidence is established by analyzing detailed evaluation requirement. A level model including mapping condition is established to describe formal degree at hierarchical level. This paper explains detailed evaluation process through an evaluation example. The approach stated in this paper can describe formal degree of domain software, evaluation data can support subsequent bottleneck analysis and trustworthy evolution, thus provide formal support for creditable construction and analysis.