FC-度量空间中的一般拟平衡问题及其对约束多目标对策的应用

利用KKM技巧,建立了非紧完备FC-度量空间中关于一般拟平衡问题的平衡存在性定理.作为应用,获得了该空间中的约束多目标对策的加权Nash平衡存在性定理.

FC-度量空间中的一般拟平衡问题解集性质及其对约束多目标对策的应用

近期,研究了FC-度量空间中的R-KKM定理、Browder不动点定理、匹配定理、重合定理、变分不等式、鞍点定理以及抽象经济和定性对策的平衡存在定理等.利用KKM技巧和非紧完备FC-度量空间中的的转移紧开值映射的极大元集的性质,研究了非紧完备FC-度量空间中的一般拟平衡问题和拟平衡问题解集性质.作为应用,获得了非紧完备FC-度量空间中的约束多目标对策的加权Nash-平衡点集和Pareto-平衡点集性质.结论统一、改进和推广了一些近期文献的已知结果.

基于目标-问题-度量模型的多级模糊软件测试质量综合评价

软件测试作为保证软件质量的重要手段,越来越受到重视,软件测试时间占整个项目周期的比重也越来越高,如何评价和提高软件测试质量是一个非常重要的研究课题。聚焦软件测试质量评价的目标,提出基于目标-问题-度量(GQM)模型的多级模糊软件测试质量综合评价方法,通过GQM模型分析得到6个直接度量元和22个二级度量元,给出每个二级度量元的计算方法;在度量元和目标之间采用多级模糊综合评价方法,建立量化的软件测试质量数学评价模型;同时给出了软件测试质量评价流程,进行软件测试质量评价。所提评价方法在实际项目中进行了应用,实践证明,使用所提方法开展软件测试质量评价不仅可以量化测试质量,还能提高测试质量。

军用软件测试过程质量因素与度量指标

软件测试过程质量直接决定了测试质量,从而在一定程度上决定了软件质量。其间量化软件测试过程质量评价至关重要。描述了军用软件测试过程活动,分析了测试过程质量影响因素,构建了测试过程质量度量指标。实例应用证明,该评价方式可对量化测试过程质量提供有效支持。

基于SecSLA的云供应商选择方法

当前云计算服务水平协议通常只关注性能,缺乏安全参数,并且客户需要在多家云供应商中做出选择。针对上述问题,提出一种基于SecSLA的云供应商选择方法。构建云计算安全服务水平协议(SecSLA)的指标体系,采用目标-问题-度量方法形成SecSLA的50个底层评估指标项。并将改进的ELECTRE方法引入到云供应商的选择决策过程中,结合净优势值与净劣势值的思想,简化决策过程。实例计算与分析结果表明,SecSLA较全面地覆盖了云计算事故处理、漏洞补丁管理、合规性与可用性等因素,该云供应商选择方法能消除传统选择消去法ELECTRE Ⅱ的繁琐与对经验的依赖,便于实现编程自动化处理,且最终的评价结果与ELECTRE Ⅱ、灰色关联、理想解法一致。

基于MIT的信息系统软件测试方法

针对复杂信息系统测试用例数量大且难以完备测试问题,通过目标-问题-度量(GQM)范式进行测试度量,运用最重要测试(MIT)方法对测试用例作定量分析。数据实例表明该方法的有效性与实用性,为信息系统的测试用例筛选与维护提供了新思路,有利于提高信息系统软件测试的效率与质量。