基于程序理解的软件测试方法

为满足大规模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.本文提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件的安全属性,实现对源代码、二进制代码的函数理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率,并且以可计算函数程序理解方法辅助软件测试用例生成,对软件安全的属性进行评估.将软件工程中的软件设计规范、软件产品、安全属性等转换成可计算过程实现软件工程的智能管理.     

采用模型检测器的软件安全模型验证方法

针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.     

软件安全分析的有穷自动机模型

目的 为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证.方法 软件安全分析验证法与形式化建模方法.结果 提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA).在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图.首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA.结论 为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例.     

基于VC-DRSA的信息系统多属性群决策安全评估

以某高校校园网络系统作为评估样本,在建立了信息系统安全属性模型的基础上,提出了基于变一致性优势关系粗糙集(VC-DRSA)的多属性群决策的安全评估方法.该方法将VC-DRSA与层次分析法(AHP)相结合,利用VC-DRSA分类质量的概念挖掘出隐含在数据背后的内在规律,在确定安全属性权重的基础上,对信息系统进行了综合安全评估.实例计算证明,该方法可以有效地解决多属性群决策的"瓶颈"问题,在信息系统安全评估中具有实际意义.     

基于用户安全属性偏好的Web服务评估

以基于用户安全属性偏好的Web服务安全综合评估为研究目标,在传统Web服务体系架构基础上进行功能扩展,设计出了一个Web服务安全评估模型,研究并提出了一种服务安全评估方法.使用标准值策略结合多属性决策Topsis算法进行综合评估;采用对候选服务进行协议分析、漏洞检测等方式收集数据,并把Web服务提前进行过滤筛选,按数据的类型进行量化,计算用户的安全属性偏好权重,将经过量化后的服务安全属性值按照Topsis算法进行选择.对该方法进行了相关实验验证,结果表明该方法能较好选择出满足用户安全属性偏好需求的Web服务.     

基于对象属性约束权限控制研究与实现

授权控制是软件设计中一个比较难处理的问题,目前大多授权研究均基于用户授权方法,未涉及授权后实现技术.上述授权技术通常采用简单限制或允许某些菜单、命令功能操作,授权控制方式简单、粒度大而且不灵活.文中提出一种基于对象属性的约束访问控制方法,通过对软件最小控制单位(对象属性)进行约束,很好解决上述问题;该方法具有授权管理方便以及实现简单等特点,并极大提高软件开发效率和复用程度.     

基于变精度粗糙集的多属性群决策信息系统安全评估

为了获取信息系统安全状况并制定相应的安全解决方案,提出了基于变精度粗糙集(VPRS)的多属性群决策安全评估方法.以某高校校园网络系统作为评估样本,在信息系统安全评估模型的基础上,将VPRS与层次分析法(AHP)相结合,利用VPRS分类质量的概念,挖掘出隐含在数据背后的内在规律.在确定安全属性权重的基础上,对信息系统进行综合安全评估.实例证明,该方法可以有效解决多属性群决策的瓶颈问题,在信息系统安全评估中具有实际意义.     

边坡工程计算机辅助设计

边坡问题是岩土工程研究的一个重要学科分支 ,对于边坡工程的设计主要是基于稳定性分析作出安全评价 .通过目前边坡工程计算中普遍采用的 2种方法 :简化Bishop法和Sarma法 ,结合面向对象的软件设计模型 ,论述了边坡工程计算机辅助软件设计的一般方法 .在软件研制过程中 ,使用了OpenGL图形系统以及数据库管理系统实现了交互计算的边坡稳定分析软件     

基于属性数学的土质边坡稳定性评价模型及应用

鉴于边坡稳定的不确定性,引入属性数学和联系数学方法评价土质边坡稳定性.提出了属性数学识别模型.应用属性权系数法确定评价指标的权重,根据单指标的属性测度值与多指标的综合属性测度值,利用联系数识别边坡稳定性等级.计算结果表明,该方法与传统的安全系数法的结果基本相同,为评价土质边坡稳定性探索了一条新的途径.     

一种基于API安全属性隐藏的软件保护方法

基于三种软件攻击目的,分析了不同API（application programming interface）安全属性在软件攻击过程中的作用,确定出API安全属性集,并分析了每一种API安全属性的攻击特点。借鉴现有的API保护方法,提出了基于API安全属性隐藏的软件保护方法。该方法使安全属性以一种更加隐蔽的方式存在,以此增加攻击者动态获取它们的难度。分别从安全性和性能影响两方面进行评价,实验结果表明该方法能够抵御API安全属性的静态获取,也能在一定程度上增加动态获取的难度,同时,未对性能造成较大影响。     

双螺杆压缩机设计新方法及其应用

介绍了一种利用工作过程的数学模拟来选择双螺杆压缩机主要参数的设计新方法;给出了数学模拟的主要内容和结果,该数学模拟显示出主要参数不同取值时,对压缩机性能的影响.将本设计方法应用于一台双螺杆压缩机的设计,取得了满意的结果.表明文中推荐的设计新方法具有实用性.与传统的经验设计方法相比,这种方法不仅大大缩短了设计周期,而且提高了设计精度,还能使所设计的压缩机性能接近最优水平.     

基于滑移线场理论的概率边坡设计

基于可靠度的最优化设计能有效地处理岩土工程中存在的不确定性,在工程界和学界日益得到重视。然而,传统的基于可靠度的分析方法需要进行多次计算并不断重构计算模型,计算量巨大且难以实施。本文提出了一个基于滑移线场理论的概率边坡优化设计方法。该方法采用了更加高效的拟蒙特卡罗模拟（QMCS）来确定边坡的失效概率,而在每次模拟过程中采用滑移线场理论来分析边坡的稳定性。为了更加高效的确定满足目标失效概率的设计坡角,本文提出了一个简单而有效地二分搜索方法。最后,以一个边坡为例设计了不同目标失效概率的坡角,并验证了所提方法的有效性。结果表明所提方法最多只需36.29 min就能得到满足目标失效概率的坡角。本文提出的边坡概率优化设计方法避免了计算模型的反复重构,计算效率较好,可为基于可靠度边坡设计提供新的可选手段。     

使用面向对象的方法设计釜式再沸器

结合釜式再沸器的传热工艺设计,介绍了面向对象的基本概念,说明了面向对象的编程方法在工艺设计中的应用.分析了釜式再沸器的属性,抽象并建立了相关类,介绍了釜式再沸器的类库的定义、组织形式等,并将面向对象的方法与面向过程的方法进行了比较,更加突出了面向对象方法的优越性.     

不完全概率信息下机械零部件的可靠性灵敏度设计

应用随机摄动技术和四阶矩技术,将可靠性设计理论与灵敏度分析方法相结合,建立了机械零部件可靠性灵敏度设计模型.提出了基于四阶矩方法的可靠性灵敏度设计的计算方法,讨论了具有不完全概率信息的机械零部件的可靠性灵敏度设计问题;探讨了机械零部件的可靠性随设计参数改变的数学评价方法,给出了可靠性灵敏度的变化规律;研究了设计参数的改变对机械零部件的可靠性的影响,并且获得了理想的数值设计结果.为机械零部件的可靠性设计提供了理论依据.     

均匀设计在不锈钢焊条配方设计中的应用

介绍了均匀设计方法在焊条配方设计中的应用,该方法是目前焊条配方设计通用的经验法与正交设计法之外的又一理性方法,其适用于材料数与水平数范围较大的试验,是一种简单易行的试验方法．     

基于均匀布点的模拟退火算法

把实验设计中的均匀设计思想引入模拟退火，提出了一种基于均匀设计变量的模拟退火优化方法。该方法根据均匀设计原理在优化模型的设计变量空间内均匀分布一系列点，然后，将可行域内的上述系列布点作为优化计算的系列初始点，并运用模拟退火算法，分别开始进行优化计算，得到优化模型的一系列局部最优点。最后，比较所有局部最优点的最优值，即认为在一定程度上获得了该优化问题的全局最优解。该算法可求取非线性多峰函数的全局最优解。编制了计算程序，给出了计算实例，计算结果表明该设计方法是可行的。     

分支定界法优化设计石油套管柱

在套管柱设计领域中引进了分支定界法优化理论．阐述了分支定界优化设计石油套管的基本思想．并简单介绍了利用该方法开发出的一套套管柱优化设计软件．与常规设计法相比，用该优化软件设计出的套管柱，用最低费用套管优化组合设计能节约费用２３．６４％，重量降低０．２４％．用最轻重量套管优化组合设计可节约费用１８．５５％，重量降低１９．１１％．     

用积分方程法设计轴流泵叶轮

介绍了一种新的轴流泵叶轮的水力设计方法，推导了求解叶轮Ｓ１流面流动的积分方程。轴流泵叶轮的水力设计是以有厚叶栅的正问题计算作为基础，通过正、反问题迭代来完成的，它较传统的设计方法（奇点法、升力法）能更好地满足设计扬程的要求。实例计算表明，结果合理，叶轮型线光滑，程序运行时间用４８６微机约５ｍｉｎ，因此是一种实用的设计方法。此外，该设计方法也可用于轴流式水轮机转轮的水力设计。     

NGW型行星减速器的模糊可靠性优化设计

在工程设计中 ,存在大量的、不可避免的模糊信息 ,而用常规可靠性设计方法处理这类不确定因素 ,不仅会遇到极大的困难 ,有时甚至不可能 ,并与工程实际产生较大的矛盾。用模糊方法处理不确定因素 ,设计结果与工程实际吻合 ,可减少获得数据的难度 ,故具有工程应用价值。该文根据模糊可靠性设计理论和机械优化设计技术 ,以 NGW型行星齿轮减速器为例 ,初步探讨了模糊可靠性优化设计的原理和方法 ,经实例计算证明 ,提出的模糊可靠性优化设计方案较好地反映了 NGW型行星齿轮减速器的工作状况 ,符合工程实际 ,具有经济、实用的价值。     

抽油机减速器轴和轴承的计算机辅助设计

在设计抽油机减速器的轴和轴承时,设计人员一直采用手工设计方法。用这种传统的方法设计出的结构缺乏一定的协调性和灵活性,设计计算繁冗,并难以获得最佳设计方案。本文用计算机辅助设计(CAD)技术,编制出了软件系统,使轴和轴承的设计计算整体化,克服了传统设计方法的缺点,提高了设计质量,并由于简化设计过程而大大节省了工作量。