BAO Tie, LIU Shufen, HAN Lu, “Research on Formal Degree Evaluation and Analysis for Domain Software Based on Evidence,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 793-800, 2016, doi: 10.1049/cje.2016.06.027
Citation: BAO Tie, LIU Shufen, HAN Lu, “Research on Formal Degree Evaluation and Analysis for Domain Software Based on Evidence,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 793-800, 2016, doi: 10.1049/cje.2016.06.027

Research on Formal Degree Evaluation and Analysis for Domain Software Based on Evidence

doi: 10.1049/cje.2016.06.027
Funds:  This work is supported by the National Natural Science Foundation of China (No.61472160), the National Key Technology Research and Development Program of China (No.2014BAH29F03), and the Jilin Province Science and Technology Development Program (No.20140204072GX).
More Information
  • Corresponding author: HAN Lu (corresponding author) was born in 1977. She received the M.S. degree from Jilin University in 2005. She is now a senior engineer in College of Computer Science and Technology, Jilin University. Her research interests include software evaluation and analysis, software testing. (
  • Received Date: 2015-10-21
  • Rev Recd Date: 2016-02-05
  • Publish Date: 2016-09-10
  • 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.
  • loading
  • Aversano Lerina and Tortorella Maria, "Quality evaluation of floss projects:Application to ERP systems", Information and Software Technology, Vol.55, No.7, pp.1260-1276, 2012.
    Zhang Guoheng, Ye Huilin and Lin Yuqing, "Quality attribute modeling and quality aware product configurationin software product lines", Sofware Quality Journal, Vol.22, No.3, pp.365-401, 2014.
    Islam Shareeful, Mouratidis Haralambos and R. Weippl Edgar, "An empirical study on the implementation and evaluation of a goal-driven software development risk management model", Information and Software Technology, Vol.56, No.2, pp.117-133, 2014.
    Yin Shouyi, Zhang Zhen, Hu Yang, et al., "Mixed-level modeling methodology for network-on-chip architecture exploration", Chinese Journal of Electronics, Vol.23, No.3, pp.468-473, 2014.
    Riccobene Elvinia and Scandurra Patrizia, "A formal framework for service modeling and prototyping", Formal Aspects of Computing, Vol.26, No.6, pp.1077-1113, 2014.
    Bao Tie, Liu Shufen and Wang Xiaoyan, "Research on trustworthiness evaluation method for domain software based on actual evidence", Chinese Journal of Electronics, Vol.20, No.2, pp.195-199, 2011.
    Wang Xiaoyan, Liu Shufen and Bao Tie, "An evidence-driven framework for trustworthiness evaluation of software based on rules", Chinese Journal of Electronics, Vol.21, No.4, pp.589-593, 2012.
    Zhang Xuejie, Wang Zhijian and Xu Feng, "Reliability evaluation of cloud computing systems using hybrid methods", Intelligent Automation and Soft Computing, Vol.19, No.2 SI, pp.165-174, 2013.
    Li Zhi, G. Hall Jon and Rapanotti Lucia, "On the systematic transformation of requirements to specifications", Requirements Engineering, Vol.19, No.4 SI, pp.397-419, 2014.
    Lochau Malte, Lity Sascha, Lachmann Remo, et al., "Deltaoriented model-based integration testing of large-scale systems", Journal of Systems and Software, Vol.91, pp.63-84, 2014.
    Cornu Benoit, Seinturier Lionel andMonperrus Martin, "Exception handling analysis and transformation using fault injection:Study of resilience against unanticipated exceptions", Information and Software Technology, Vol.57, pp.66-76, 2015.
    R. Dorado, A. Gomez-Moreno, E. Torres-Jimenez, et al., "An AHP application to select software for engineering education", Computer Applications in Engimeering Education, Vol.22, No.2, pp.200-208, 2014.
    M. Soycan, "A quality evaluation of precise point positioning within the bernese GPS software version 5.0", Arabian Journal for Science and Engineering, Vol.37, No.1, pp.147-162, 2012.
    Ayag Zeki, "A combined fuzzy AHP-simulation approach to CAD software selection", International Journal of General Systems, Vol.39, No.7, pp.731-756, 2010.
    A.A. Zaidan, B.B. Zaidan, Al-Haiqi Ahmed, et al., "Evaluation and selection of open-source EMR software packages based on integrated AHP and TOPSIS", Journal of Biomedical Informatics, Vol.53, pp.390-404, 2015.
  • 加载中


    通讯作者: 陈斌,
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (377) PDF downloads(960) Cited by()
    Proportional views


    DownLoad:  Full-Size Img  PowerPoint