SJ/T 11563-2015 网络化可信软件生产过程与环境

SJ/T 11563-2015.Processes and environments of network-based trustworthy software production. 1范围 SJ/T 11563规定了网络化可信软件生产的过程和软件生产环境的构造方法。 SJ/T 11563适用于不同类型和不同规模的软件企业中网络化可信软件生产的过程规划环境构造。 2规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是注日期的可用文件/仅注日期的版本适用于本文件。凡是不注日期的引用文件。其最新版本(包括所有的修改单)适用于本文件 GB/T 11457-206- 信息技术软件工程术语 3术语和定义 GB/T 11457-2906界定的以及下列术语和定义适用于本文件。 3.1 可信软件trustworthy software 可信性符合，心预期的软件。 注:软件可借性包据可用性(availability)、可靠性(rel iability)、性能(performancd)正确性(correctness)、保险性(sufotpt安全性(security) 和私密性(privacy) 等。 3.2 可信证据trustworthiness evidence 软件生产者和消费者产生的能够反映软件可信性的数据， 3.3 软件生产要素factor of software production 软件开发活动所需的各种资源，主要包括软件生产者、软件消费者、软件资源、软件工具、软件可信证据。 注:软件生产者包括软件设计、编码、测试、技术支持等开发和维护人员:软件消费者包括软件的用户、管理人员和第三方评论人员:软件资源包括可复用软件工具、软件构件、软件服务、软件构架，及其开发过程中产生的阶段性软件制品和过程数据等:软件工具包括可以辅助软件生产活动的各种软件:软件证据是软件生产者和消费者产生的能够反映软件特性的数据，其来源可以是软件开发活动各阶段产生的数据。 3.4 软件生产software production 软件生产要素通过相互作用形成软件产品的活动和过程。