缺陷模式相关论文
国外对青少年教育与发展的研究已逾百年,目前较为前沿的是积极青少年发展观。积极青少年发展观由“缺陷模式”演进而来,其体系构造十......
声光子晶体是一种具有周期结构的人工复合新型微结构材料,同时具有声子带隙和光子带隙以及局域模式两个重要特性。在这些物理性质......
业务流程执行语言(Business Process Execution Language, BPEL)是一种Web服务(Web Service, WS)组合语言。随着BPEL流程变得越来......
随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,软件故障正成为计算机系统失效和停机的主要因素,软件质量成为计算机领......
随着软件的发展,软件的质量显得越来越重要。因此,有效的软件质量保证就成为软件工程中越来越重要的环节。而软件测试是保证软件质......
随着软件技术的快速发展,计算机软件规模与复杂性急剧增加,因此软件测试的意义显得越来越重要。由于人工的测试效率比较低,而且容......
随着Android系统市场份额的不断提高,人们对Android平台应用的隐私泄漏的关注度提高。为了能够防止恶意泄漏用户隐私的程序在市场......
本文介绍了作者在疑问代码和不良习惯检测方面所做的工作,包括疑问代码模式收集、分析和检测,并对疑问代码中一类重要模式--重复代码......
随着软件系统的普及,软件测试成为保证软件质量、提高软件可靠性的重要手段。而软件测试的工作量很大,用人工测试几乎难以胜任,在......
C程序中内存泄漏的检测是C程序软件测试的重点和难点之一。由于C程序具有灵活高效的优点,从C语言的诞生到现在,都作为一种主流程序......
随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件......
随着科学技术日新月异的发展和软件规模的不断扩大,软件在各个行业得到了广泛的运用,已经成为生活中不可分割的组成部分。虽然软件经......
随着软件规模的不断扩大以及复杂度不断提升,以此带来的软件潜在缺陷检测已成为学术界研究的热点问题。对于内存泄漏缺陷检测,多采......
随着软件系统的持续更新迭代,软件版本相关的缺陷在软件维护过程中不可避免,且变得越来越突出。在维护版本相关缺陷的工作中,定位......
光子晶体是在1987年由John和Yablonovitch几乎同时提出的一种人工微结构。与利用全反射来实现对光子的引导传输不同,光子晶体结构......
光子晶体是一种具有光子带隙的周期性电介质结构,有着强大的控光特性。光学生物传感器因为具有节能环保、抗干扰能力强、响应迅速......
利用时域有限差分方法(FDTD)研究了由十二重准周期光子晶体(PQ)局部结构组成的复合二维(2D)光子晶体(PC)及其点缺陷的光学特性。结......
基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表.设计和实现了资源......
随着我国信息技术的不断发展,使得应用软件的规模以及数量也都得到了一定程度的增加.软件安全问题也随着得到了一定程度的增加.通......
【摘 要】随着信息技术的不断发展,软件规模的扩大,如何保证和提高软件质量成为软件界最为关心的问题之一。基于缺陷模式的软件测试......
为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静......
支持用户自定义规则文件的静态分析工具迫切需要一种能够确切描述漏洞语义的语言,现有的漏洞描述语言无法确切描述漏洞的语义,扩展......
光子晶体缺陷模式中,光群速大大降低可获得很高的群延时。调节光子晶体的参数可以动态地改变光子晶体缺陷模式中的光群速,从而获得可......
为了研究含有负折射率材料的光子晶体掺杂缺陷模的光学传输特性,利用传输矩阵理论进行数值分析。采用插入和替代两种方式对排列整齐......
安全关键软件设计使用的C/C++语言含有大量未定义行为,使用不当可能产生重大安全隐患。软件静态检测是从软件代码和结构中找出安全缺......
软件缺陷是导致软件不可靠的根本原因,提高软件可靠性的关键在于减少软件缺陷,那么如何利用积累的缺陷数据提高软件可靠性?结合软件......
基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点......
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句......
整体稳定分析问题一直是球面网壳设计中的关键问题。理论分析和工程实践表明:网壳结构的设计通常受其稳定性控制。网壳结构的整体稳......
为研究由电各向异性材料和磁各向异性材料构建的一维光子晶体的电磁传输特性,分析了不同电等离子体频率和磁等离子体频率对TE极化......
基于缺陷模式的静态分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析。这种分析技术具有使用简单、查找速度快等优点,......
软件缺陷对软件功能的实现具有不可预知的危险,是软件产品的固有成分,提高软件的可靠性,关键在于降低软件缺陷出现的概率,而如何利......
为了确保电力信息系统能够得以正常操作,进而强化系统功能,提高工作质量,减少成本费用的支出,应及时改善电力软件代码缺陷检测效率......
随着计算机软件的不断普及,如何提高软件的安全性成为了一个重要课题。本文对嵌入式软件缺陷模式构建进行分析研究。......
为实现基于静态分析技术充分地检测出C程序中的空指针引用缺陷,提出了一种基于属性可靠分析的缺陷检测方法。首先介绍了空指针引用......
代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传......
软件代码中的缺陷是导致软件故障和漏洞问题的主要原因。基于缺陷的软件测试技术可以分为动态检测技术和静态检测技术。静态检测技......
在基于亥姆霍兹共振腔的一维声子晶体中引入点缺陷会在原有局域共振型声禁带内产生缺陷模式。采用传递矩阵法和有限元法分析了缺陷......
随着信息化的推进,软件应用的领域越来越广泛,软件本身的复杂性也随之加大。如何保证软件质量一直是计算机技术的热门研究领域。本......
近年来,随着软件规模的扩大、复杂度的提升、应用领域的拓展,软件的可信性问题已成为用户、从业人员和研究人员共同关注的焦点。目......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
【摘要】本文设计了一个基于FMEA理论的节日灯控制器缺陷模式风险评估和目标风险因子筛选模型,提出了减小风险的策略分析方法,并基于......
随着信息技术的飞速发展,应用软件的规模不断扩大,越来越多的软件安全问题频频出现,因此如何保证和提高软件质量日益成为一个备受......
在现代微波和光通信系统中,迫切需要研制具有复合功能和特别性能的新型元器件。本文研究设计了一个包含电光介质和缺陷腔的一维PT......
软件缺陷模式是基于一定的规则所提取出的,对导致软件运行中出现错误或不正常运行结果的缺陷的归纳总结.使用静态分析方法直接对代......
用COMSOL Multiphysics仿真软件研究含点缺陷二维函数光子晶体的带隙结构、缺陷模式及缺陷模式的本征场分布.介质柱介电常数的线性......
涡流探伤技术具有无破坏性、效率高、成本低等特点,被广泛应用于工业产品的缺陷探测。滚动体质量的提高对于整个轴承寿命以及整个......
通过系统分析和总结航天器软件在轨、在研质量问题,开展软件缺陷模式研究,建立航天器软件缺陷模式集;研究缺陷模式的形式化规约和......