Formal analysis to non-functional requirements of trustworthy software

被引：0

作者：

Zhang, Xuan ^{[1
,2
]}

Li, Tong ^{[1
,2
]}

Wang, Xu ^{[3
]}

Yu, Qian ^{[1
,2
]}

Yu, Yong ^{[1
,2
]}

Zhu, Rui ^{[1
]}

机构：

[1] School of Software, Yunnan University, Kunming

[2] Key Laboratory of Software Engineering of Yunnan, Kunming

[3] School of Economics, Yunnan University, Kunming

来源：

Ruan Jian Xue Bao/Journal of Software | 2015年 / 26卷 / 10期

关键词：

Early-phase requirements engineering; Non-functional requirements; Satisfiability problem; Software process; Trustworthy software;

D O I：

10.13328/j.cnki.jos.004813

中图分类号：

学科分类号：

摘要：

The trustworthiness of software is determined by both its functional requirements and non-functional requirements. Especially, the non-functional requirements are the determinants of the trustworthy software that show how it achieves the users' desired goals. Considering the importance of trustworthy software and the urgent needs for it, an approach to obtaining process strategies for trustworthy software in the early phase of requirements engineering is proposed. Firstly, the definition of trustworthy software requirements is defined as the combination of the trustworthiness requirements and the quality requirements. Trustworthiness requirements are defined as both functional requirements and trustworthiness concerns. Quality requirements are defined as soft goals. Then, based on fuzzy set theory and information entropy, acquisition method of trustworthiness concerns and soft goals is proposed. On this basis, process strategies for obtaining framework are proposed. Unlike the traditional early-phase requirements engineering which focuses on technical and design decisions, the aim of this study is to make process decisions to support trustworthy software development. In addition, to address the conflict relationships of the non-functional requirements, a reasoning method is developed for solving satisfiability problems of non-functional requirements in trustworthy software. Finally, through analyzing a trustworthy third-party certificate authority software case, feasibility of the proposed approach is described. © Copyright 2015, Institute of Software, the Chinese Academy of Sciences. All rights reserved.

引用

页码：2545 / 2566

页数：21

共 58 条

[1]

Liu K., Shan Z.G., Wang J., He J.F., Zhang Z.T., Qin Y.W., Overview on major research plan of trustworthy software, Science Foundation of China, 22, 3, pp. 145-151, (2008)

[2]

Wang H.M., Liu X.D., Lang B., Xie B., Mao X.G., Software trustworthiness classification specification (TRUSTIE-STC v2.0), Technical Report, (2009)

[3]

Amoroso E., Taylor C., Watson J., Weiss J., A process-oriented methodology for assessing and improving software trustworthiness, Proc. of the ACM Conf. on Computer and Communications Security (CCS), pp. 39-50, (1994)

[4]

Jin Z., Liu L., Jin Y., Software Requirements Engineering: Principles and Methods, (2008)

[5]

Boehm B., In H., Identifying quality-requirement conflicts, Software, 13, 2, pp. 25-35, (1996)

[6]

Tao H.W., Research on the measurement models of software trustworthiness based on attributes, (2011)

[7]

Moser T., Winkler D., Heindl M., Biffl S., Requirements management with semantic technology: An empirical study on automated requirements categorization and conflict analysis, Proc. of the Advanced Information Systems Engineering, pp. 3-17, (2011)

[8]

Mairiza D., Zowghi D., Constructing a catalogue of conflicts among non-functional requirements, Proc. of the Evaluation of Novel Approaches to Software Engineering, Communications in Computer and Information Science, 230, pp. 31-44, (2011)

[9]

Boehm B., Bose P., Horowitz E., Lee M., Software requirements as negotiated win conditions, Proc. of the ICRE'94, pp. 74-83, (1994)

[10]

Boehm B., Bose P., Horowitz E., Lee M., Software requirements negotiation and renegotiation aids: A theory-W based spiral approach, Proc. of the ICSE'95, (1995)

← 1 2 3 4 5 6 →