简介：摘要目前在军工领域FPGA软件的应用越来越广泛,为了提高软件质量，本文根据FPGA软件的特点，对FPGA软件的测试模型和测试方法进行了分析。本文指出FPGA软件开发过程中应进行整体规划并有效实施，FPGA软件测试中的各项活动应与其设计开发过程各个阶段的活动相对应，应尽可能将各阶段产生的缺陷在该阶段发现和消除，不断提高FPGA软件的开发效率和可靠性，最终提高FPGA软件产品质量，提升顾客满意度。

简介：基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

简介：摘要目的报道一套独立后装放疗剂量验证软件的实现方法和结果。方法后装放疗剂量验证软件采用模块化结构设计，以Visual C＋＋为开发平台，剂量计算算法采用AAPM TG 43报告推荐的公式。回顾性选择已完成治疗的宫颈癌患者6例，每例患者都使用了不同的施源器，用剂量体积直方图参数和γ通过率(0.1cm，5%)评估验证软件和计划系统剂量计算结果的偏差。结果与计划系统剂量计算结果相比，验证软件剂量计算结果的γ通过率均>98%。靶区D100%和D90%的偏差最大值分别为0.29%和0.53%，危及器官D0.1cm3、D1cm3、D2cm3的偏差均<0.5%。结论仅需极少的人机交互，该剂量验证软件能验证后装临床治疗计划剂量计算的准确性。

简介：介于初次投稿的内容趋向于共享软件，并且投稿以后又看了下文章，感觉所阐述的都是一些理论方面的内容，且有些使用方式已经在长久的骇客攻击中共享软件作者已经不再运用，因此经过思考．决定今后详细的介绍共享软件的实现和强壳的一些破解方式探讨。路要一步步走．

简介：日益剧烈的市场竞争已使工业产品的设计与生产厂家越来越清楚地意识到：比别人更快地推出优秀的新产品，就能占领更多的市场。为此，CAE方法作为缩短产品开发周期的得力工具，越来越频繁地引入了产品的设计与生产的各个环节，以提高产品的竞争力。CAE在整个产品生命周期的各个阶段都可以创造效益，重点是在设计早期，在机床、工装、原材料准备等重大的投入之前，保证设计的正确性，避免浪费和失误，而且为制造、销售、后期支持服务等阶段提供良好的保证。

简介：摘要随着软件行业的不断发展，对于软件检测实验室能力验证也提出了更高的要求，在针对软件产品进行外部检测的过程之中如何评估其实验室的检测能力是本文研究的主要课题，本文将利用多样化的手段来制定验证方案，以此提出软件检测实验室能力验证的可行的研究建议。

简介：【摘要】AFDX是一种基于标准定义的电子和协议规范（IEEE802.3和ARINC 664）用来航空子系统之间数据交换，提供一个高达24个终端系统的星形拓扑来连接从一个交换机桥接到其他的交换机内部网络。其稳定性网络允许连接冗余（双物理连接）来保证带宽和服务质量。本文主要针对上位机测试软件开发过程及验证测试。

简介：

简介：摘要：BDS是由中国自主研发的全球卫星导航系统，可以进行精确的定位、便捷的导航和授时服务，极大程度上便捷了人们的出行，在导航区域可以将定位精确到分米厘米，满足了国家的经济发展需要和人民的生活需要，BDS系统秉持着自主、开放、兼容、渐进的原则为我国的发展与建设提供了良好的保障。越来越多的领域以及地区开始采用这一技术，BDS地面软件是卫星导航系统精确度的核心，也是对卫星导航系统平稳运行的有力保障，一旦BDS地面软件出现问题，将会造成严重的损失，导致最后的任务失败，因此，本文将针对BDS地面软件的可靠性进行分析，并从整个系统的设计，以及用户的需求和代码等层面进行阐述，说明BDS地面软件可靠性的检验方法，以保障我国北斗卫星导航系统的平稳运行。

简介：摘要  本文通过对RTCA DO-178C标准机载软件生命周期过程的研究，分析了软件验证过程需要开展的活动，并提出了相应的实施方法，对后续机载软件研制过程中如何开展软件验证提供了参考。

简介：摘要：通过对软件结构的活动方式进行分析以及核电厂软件生命周期的划分调节，确定了核电厂数字化仪控系统软件活动的判断系统结构是否满足设计管理基础需求，通过确定活动的模式可判断系统设计的精准性和有效性。综合核电厂的安全级数字化仪控系统软件管理的实际特点，总结现有核电厂DCS软件验证与确认标准体系的工作模式，可以对我国未来的相关法规体系标准进行规划，让其可以更好地进行操作落实，实现既定的工作任务。

简介：摘要：为研究铝合金一体式结构的二次电源的振动特性，检验二次电源结构设计的合理性，利用 NX8.0三维建模软件建立二次电源实体模型，采用 ANSYS有限元分析软件对二次电源进行模态分析及谐响应分析，以验证二次电源结构设计方案的可行性。

简介：摘要：计算机连锁软件是一种有效的验证计算机连锁软件能否满足某些安全属性的形式验证。本文介绍了一种基于模型检验的方法，对联锁系统模型和安全属性模型的建立方法进行讨论，并结合具体的站场实例，对信号开放功能进行了模型描述和验证，结果表明，该方法在计算机连锁系统中的应用是可行的。

简介：为保证国产化的核电厂集散控制系统（DCS）的安全性和可靠性,必须对其实施验证和确认（V＆V）过程.为使V＆V过程顺利进行,建立适用的V＆V体系是十分必要的.本文提出了V＆V体系的建立,该体系包括：明确具有层级关系的V＆V指导文件;定义支持DCS研发生命周期的V＆V过程;指定DCS软件完整性等级的划分方案以及确定V＆V独立性、人员资质和工具的要求.该V＆V体系适用于核电厂DCS软件研发项目,并对促进自主化开发和取证工作具有非常重要的意义.

简介：摘要：利用力学原理好有限元软件分别对均布载荷作用下的简支梁进行弯矩剪力的分析。通过有限元软件的具体实例的计算得出梁体内力，同时运用结构力学原理对构件进行手算获取结果，并对两种结果进行验证。

简介：摘要：新一代飞机采用了综合化模块化航空电子技术。该种IMA架构设计极大地提高了飞机的安全性及飞行品质。新机任务系统软件规模从上一代的百行、千行激增到万甚至十万行源代码，沿用原来的测试验证方法，会导致错误定位困难、测试难度大，以及不利于后期分析验证等问题。本文提出了一种基于模型驱动的IMA软件自动测试与验证技术，针对软件功能和接口，进行模型化仿真验证，为国内正在进行的新一代飞机项目的开发及测试工作提供了一些思路。

简介：摘要：本文首先介绍了自动化测试与验证技术的概念和分类，包括测试用例生成技术、测试执行和结果分析技术、故障定位和修复技术，以及静态验证技术、动态验证技术和模型检测技术。接着探究了自动化测试技术和自动化验证技术在空调软件设计中的应用。通过本文的研究，以期提高软件的质量和可靠性。

简介：在哥哥十四岁我九岁的那年,是我童年里最快乐的时光。哥哥那时为他自己和我各做了一付滑板车,每天我们脚踩着滑板车在巷子里快速滑行,惹得路人侧目而视。哥哥胆大而技熟,他可以在水泥道路上做一些花样滑冰动作。滑板车运动很快在我们那个街道风靡开来,二十来岁以下的男孩女孩每人都有一付。在某个日子里,巷子里会出现一长队滑板车手,穿着艳丽花衣服的女孩子混杂在一帮赤膊的男孩子里,其中还有两个男孩子剃着光葫芦头,很引人注目。他们打着唿哨,尖叫着,朝路人做着滑稽的鬼脸。我跟在哥哥的后面,虽然每天都要受到其他大孩子的推搡和斥责,骂我什么“小屁孩”,“鼻涕虫”,但我还是快乐的,因为象我

简介：为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。

简介：摘要：本文主要阐述了给予 SolidWorks的三维设计软件平台建立电机模型的方法，并依据此模型设计其中一个工序的工装。利用三维软件的有限元分析功能对工装进行强度分析，确保其安全性满足设计要求。根据现场实际的操作情况，利用三维软件模拟装配以此来检验是否会发生装配干涉等情况。利用三维软件进行设计，有助于更直观的发现设计问题，提高生产效率，减少设计时间和成本。