软件潜在安全性缺陷测试案例的研究及思考

软件测试是能力成熟度模型集成(capability maturity model integration,CMMI)中验证(verification,Ver)与确认(validation,Val)过程域的重要表现形式,是保障软件可靠性的重要手段。近年来,随着软件规模和复杂程度的不断提高,软件测试技术也不断发展,然而程序设计语言本身固有的特性以及开发人员在编程时没有考虑周全使得许多漏洞无法在编译、运行乃至测试阶段发现,这些缺陷通过输入验证错误、访问验证错误、设计错误、特殊条件错误和竞争条件错误等方式在不导致系统崩溃的情况下,可以通过篡改系统用户权限的形式威胁系统安全。文章通过对软件测试中易被忽略的软件潜在安全性缺陷的研究,总结出开发过程中常碰到的软件潜在安全性缺陷的表现形式,并通过具体代码实例的故障分析及解决措施,清晰、直观地给出具有潜在安全性缺陷的代码特征,增强了开发人员及测试人员对此类问题的认识,对提高软件可靠性具有积极意义。

基于启发式算法的分布式计算架构安全性研究

随着信息技术的发展,信息量也呈几何爆炸式增长,为了更好地为决策服务,近年来涌现出诸如云计算、分布式、数据挖掘、大数据等一系列新技术,其中分布式在这一浪潮中起着中流砥柱的作用.然而,目前流行的分布式环境,缺乏有效的实时信息监控措施,由于主机之间通过网络连接,势必会带来诸多复杂问题.以分布式环境下实时安全性设计传输为背景,分析了带有监控能力的分布式系统架构组成,建立了具有实时性要求的安全性设计通信资源优化模型,并给出算法和仿真分析,说明结果的优越性.对分布式系统环境的安全性和健壮性建设具有积极意义.

软件配置管理典型问题的研究与思考

概述软件配置管理过程是软件能力成熟度模型集成(CMMI)的重要活动,围绕软件配置管理开发库的工作,分析软件配置管理过程中常见的突出问题,并提出解决方法与构想。

软件测试误区的思考

软件测试是软件能力成熟度模型集成的重要活动。通过对软件测试过程中常见误区的思考,分析了产生误解的原因,归纳和总结了解决方法,可为软件测试顺利、有效地开展提供借鉴。

软件溢出缺陷典型案例的研究及思考

软件测试是软件能力成熟度模型集成的重要活动。本文通过对软件测试中易被忽略的软件溢出缺陷的研究,总结出开发过程中常犯的软件溢出缺陷的表现形式,并通过具体代码实例的故障模式分析及对应的解决预防措施,清晰、直观地给出具有软件溢出缺陷类型的代码特征,增强了开发人员及测试人员对此类问题的认识,对提高软件可靠性具有积极的意义。

软件测试与提升产品质量的思考

软件测试是软件能力成熟度模型集成的重要活动,软件占产品比重的不断提升,对软件的验证提出了更加严格的要求。文章根据实际项目经历,从体系认证、标准和发展的角度,提出软件测试在提升产品质量方面的思考。

基于系统软件测试典型案例简析

通过对软件测试过程中遇到的典型案例的描述,分析并研究了问题产生的原因,针对典型问题提出了预防方法。

多视图军事需求模型要素关系冲突检测研究

由于系统工程设计的专业性,及其表达形式的多样性,致使系统工程设计冲突检测一直成为设计工程的难点。文中以多视图军事需求模型作为系统工程设计表达的标准框架,对其用于系统工程设计描述的视角作为研究对象,对系统工程设计表现形式进行分析,根据目前流行的系统工程设计表达工具特性,进行抽象并归类,总结并建立了四种基本系统工程设计冲突模型,并通过图论方法和矩阵方法进行模型的物理形式和逻辑形式表示,提出针对性的启发式算法和D-S证据推断方法,实现了系统工程设计冲突的自动检测,并结合应用案例,验证方法的有效性和正确性。通过此自动检测方法,不仅可以对需求内容实现无遗漏检查,而且大大提高了冲突检测效率,将完成时间由人工的时、分级缩短至计算机的秒、毫秒级。

基于通用评估系统环境下数据管理平台设计的研究及思考

随着现代体系工程复杂程度的增加,以及大数据、人工智能技术的发展,对于基于大数据、智能化的评估系统的需求越发强烈.作为评估系统的基石——数据,它的质量(完整性、客观性、准确性)是支撑评估系统客观、准确的基本条件;同时由于评估系统指标体系随着参与评估客体的不断发展,也会发生演变和改进,为了能够确保合理、全面地保障评估系统的需要,对于数据的组织(提炼、过滤、关联)架构提出了更高的要求.以评估系统对于支持数据的需求为基础、结合未来大数据量存储和应用趋势为背景,提出了一种可动态、智能化、可适应同类型、不同应用系统需求的数据管理平台设计和实现方法.

软件注入缺陷典型案例

软件测试是能力成熟度模型集成(CMMI,Capability Maturity Model Integration)中验证(Ver,Verification)与确认(Val,Validation)过程域的重要表现形式,是保障软件可靠性的重要手段。近年来,随着软件规模的增大和复杂程度的不断提高,软件测试技术也不断发展。

软件运行环境方面组织过程资产建设的思考

通过对软件运行环境的分析,提出一种系统安装难度较大且一次安装可以多次拷贝使用的仿真运行平台的搭建方法,并以虚拟机技术VMware和嵌入式系统VxWorks为例,详细介绍搭建过程。

软件测试中软件代码安全性设计的讨论

根据实际项目经验,归纳和总结出一类目前测试方法无法发现且具有一定规律性且易被忽视的软件安全性设计问题,目的是提高软件质量。

软件安全性设计常见问题的思考

代码实现过程中存在访问权限以及使用环境变量、加载库、printf/wprinft函数、缓冲区作写操作的C函数、string类中data函数、vfork函数等的安全性问题,对这些无法通过测试手段发现的问题提出相应的解决措施。

软件测评实验室质量监督工作的思考及实施

根据软件测评实验室的工作特点,借鉴CMMI(软件能力成熟度模型集成)中PPQA(过程与产品质量保证)的实施要求,提出满足检测和校准实验室能力认可要求的质量监督工作的活动目标、工作流程、监督时机以及监督内容的实施方法。

基于能力成熟度模型集成的文档复用研究

在软件工程化实施过程中,工作产品的文档数量繁多。为提高完成软件工作产品的效率和质量,根据专业性领域软件产品的特点,提出了文档可复用技术,将软件产品文档进行模块化细分,并经过合理的分类和管理,建立软件工作产品文档内容的可复用库,相关人员可以从库中选择合适的模块组装或稍作修改后组装,完成软件工作产品文档的编写。

经济“新常态”与银行改革对策——基于全球交易银行业务发展的视角

我国经济"新常态"对于我国银行业即使机遇又是挑战,全球交易银行是为客户提供一站式综合金融方案和服务,以整合银行资源、以客户为中心的特征,为国外众多银行所采纳,国内现仅有广发银行、招商银行成立交易银行。国内大多数银行虽未成立交易银行部,但可借鉴其以支付清算为基础和起点扩展行内产品深度广度,将现金管理和贸易融资服务逐步转型成为企业财务管理的一部分以增加银行中间业务收入和提升核心竞争力。

基于瀑布模型的过程和产品质量保证的实施及思考

过程和产品质量保证(PPQA)是CMMI(CapabilityMaturityModel Integration)实施中较难得到贯彻的过程,结合目前许多单位软件开发普遍采用瀑布模型的现状,该文通过阐述PPQA的活动目标,分析和总结了PPQA的实施方法和成功关键,对企业实施过程的改进具有实际意义。

贵州西部龙场地区水系沉积物Pt、Pd异常源地球化学示踪的初步研究

以贵州龙场地区水系沉积物中的Pt、Pd异常为研究对象,选择相容性接近的7对元素比值Cr/Ni、Nb/Ta、Pd/Pt、Rb/Cs、Sr/Ba、Th/U和Zr/Hf以及CaO、TFe2O3作为地球化学示踪指标,对龙场地区水系沉积物的物质来源组成进行了示踪探讨。结果表明:(1)龙场地区水系沉积物的物质来源主要为玄武岩风化产物,其中的高含量Pt、Pd是对玄武岩层中Pt、Pd高背景的继承和进一步浓缩富集;(2)根据对分布在灰岩区的水系沉积物物质来源的地球化学示踪研究,推测部分样品的物质来源应为玄武岩和灰岩风化产物;(3)根据对红岩村的水系沉积物物质来源的示踪研究,推断有热液活动和基性-超基性侵入体的物质成分,预测该地区具有一定的找矿远景。

香炉山地区水系沉积物铂·钯地球化学异常特征

香炉山地区采用1个样/km2的水系沉积物测量,在苏家营—则家坪地区圈出1个Pt、Pd、Au异常带,异常带明显受NNW向或近SN向构造控制,从异常规模和强度推测苏家营—则家坪Pt、Pd、Au地球化学异常具有找寻铂钯矿的远景。

中国自然重砂分布特征及其意义

通过全国资源潜力评价,结合各省自然重砂资料和全国重砂资料汇总成果,对85个常见自然重砂矿物进行统计分析。研究表明,中国自然重砂矿物复杂多样,重砂矿物分布具有明显的区域性特点。造山带中自然重砂矿物产出数量相对较多且密度较大,而稳定地区重砂矿物相对较少。不同的自然重砂矿物及其组合具有明显的找矿信息,单矿物自然重砂可能来源于相对单一的矿石或岩石,其异常范围表明与其相关的矿产可能具有较好的成矿远景;矿物组合常显示出有关矿床的成因信息。自然重砂矿物与源区岩石或矿石具有密切的成因联系,对指导矿产勘查与研究具有十分重要的意义。