随着互联网的发展，应用软件已经成为人们日常生活中不可或缺的一部分。然而，应用软件的质量参差不齐，存在着安全性、可靠性和可用性等方面的问题，给用户带来了很大的风险和不便。为了解决这些问题，需要对应用软件进行可信性验证，以确保应用软件的安全性、可靠性和可用性。

GB/T 36099-2018 基于行为声明的应用软件可信性验证是一项全面的应用软件可信性验证标准，它主要针对应用软件的行为声明进行验证。行为声明是指应用软件在运行过程中所表现出来的行为，包括输入、输出、状态转换等。通过对应用软件的行为进行分析和评估，可以确定应用软件的可信性等级，为用户提供可信的应用软件。

该标准主要包括以下内容：

1. 应用软件可信性等级划分。根据应用软件的安全性、可靠性和可用性等方面的要求，将应用软件划分为不同的可信性等级，包括A、B、C、D四个等级。

2. 应用软件可信性验证方法。根据应用软件的可信性等级要求，确定相应的可信性验证方法，包括静态分析、动态分析、测试等方法。

3. 应用软件可信性评估指标。根据应用软件的可信性等级要求，确定相应的可信性评估指标，包括安全性、可靠性、可用性等方面的指标。

4. 应用软件可信性验证报告。根据应用软件的可信性等级要求，编制相应的可信性验证报告，包括应用软件的可信性等级、可信性验证方法、可信性评估指标等内容。

通过GB/T 36099-2018标准的应用，可以有效提高应用软件的可信性，保障用户的安全和权益。

相关标准
GB/T 22239-2019 软件工程 产品质量要求和评价
GB/T 25000-2019 软件工程 产品质量特性和质量度量
GB/T 25010-2019 软件工程 软件可靠性评估
GB/T 25011-2019 软件工程 软件可用性评估
GB/T 25012-2019 软件工程 软件安全性评估