基于模型的测试用例生成方法

在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测试,以便提升软件的质量;由于开发人员参与了软件的研发及上线流程,导致了看待软件问题的局限性,而测试人员在编写测试用例时,往往由于依据文档的不一致性,使得测试用例的价值大打折扣;并且在实际软件的开发流程中,测试环节与开发严重脱节;往往只是为了出相应的测试报告而去测试,偏离了测试的初衷;针对以上问题,提出基于模型的用例生成方法,能够基于工作流程图、判定表、状态转换等多种测试方法,并在该方法中应用边界值与等价类的思想,够贯穿整个软件研发的生命周期,在软件研发初期就能够参与测试,提出设计方案的不足;并且能够自动生成测试用例,提高测试人员的效率.     

航空机载软件全数字仿真测试系统的设计与实现

针对航空机载软件测试环境与开发环境冲突、测试环境可控性和通用性差、非干预性测试困难的问题,分析了全物理实装测试环境、半实物仿真测试环境的优缺点,研究了全数字仿真测试技术,设计并实现了一种航空机载软件全数字仿真测试系统。该系统由仿真核心平台、仿真工具组件、协同仿真组件和人机交互组件构成,提供了航空机载处理器、内存、外设等多种可重用库。提出了基于底层虚拟机的动态二进制翻译技术、协同仿真时间同步和数据通信机制等关键技术,实现了航空机载软件全数字高速闭环仿真运行。工程实践证明,该系统能达到降低硬件设备的依耐性、简化测试环境搭建的复杂度、提高测试效率约42%的目的。     

提升乡村社区韧性的规划策略探讨——以北京市北沟村为例

随着我国城镇化进入后半程,乡村社区面临多重复杂的挑战与自身发展需求之间的矛盾,乡村社区系统独特的自适应性与自调节性相关“社区韧性”问题引发多方关注。在乡村规划中如何提升社区韧性尚需学界深入研究与探讨。以北京市北沟村规划实践为例,通过对乡村社区韧性的概念解析与既有文献研究,提出基于生态、经济、社会和文化4个维度分析乡村社区韧性特征与变化的思路,构建提升乡村社区韧性的规划策略框架。北沟村多年规划实践表明,在乡村规划中充分尊重乡村发展的基本规律,适度保持乡村社区的复杂性与多样性,能够有效地逐步修复和提升乡村社区的综合韧性,促进乡村可持续发展。     

基于集成学习的决策粗糙集特定类属性约简算法

属性约简是粗糙集理论的重要研究内容.目前决策粗糙集的属性约简大多基于全局的决策类,并且都是采用单一的约简准则.针对这一问题,在决策粗糙集下提出一种特定类别属性约简算法.针对特定的决策类,给出一种属性约简的定义,在保证决策区域极大化的同时尽可能地降低决策区域划分时的代价;利用集成学习的方法设计出相应的启发式属性约简算法.通过在UCI数据集上与已有的算法进行实验比较,验证了该算法具有更高的属性约简性能.     

钢网架结构的变形检测探析

本文介绍了若干钢网架结构变形检测的检测与评定方法,给现场从事检测的工作人员提供有益的方法,检测工作人员可以根据工程的实际情况,采取合适的检测办法和评定方法。     

航空通信电台软件测试系统的设计与实现

软件自动化测试对于航空通信电台至关重要,针对电台测试环境的搭建困难、测试用例的设计与执行的脱节、仪器仪表的手工操作造成测试数据难以复用等问题,提出了一种集成计算机、通信总线、仪器仪表和被测电台的解决方案,并开发了模块化的软件程序来解决上述问题;最终,该系统实现了智能辅助编写工具和“一键式”自动测试,还保存并回溯了测试结果;为测试人员针对电台测试提供了一款功能强大,界面友好,灵活开展测试任务,批量执行测试用例的自动测试平台;实际测试结果证明,该平台明显提高了测试人员的工作效率,实现了自动化测试与批量测试的基本要求。     

北京绿隔乡村土地利用演变及其保留村庄的评估与管控研究——以崔各庄乡为例

北京城乡结合部地区自1994年起陆续以绿化隔离带(绿隔)规划、新农村建设、土储拆迁等为政策与项目依托,实施超大城市增长管控与乡村治理,研究其过程中的土地利用演变具有重要意义.对绿隔村庄的相关研究进行了文献综述,并深入介绍了韩国首尔在1980年代集中进行的“绿隔村庄改造”项目,然后以北京市朝阳区崔各庄乡为实证案例.作为主要结论,提出了遴选绿隔内保留村庄的五条标准,包括流动人口与户籍人口比、产业特色、农宅风貌、是否经过新农村改造、近期是否有城市大型项目或专项资金带动拆迁;同时,提出评价与管控保留村庄内建设用地的四项指标,包括土地出租合同的到期年限、建设用地合法性、单位建设用地租金,以及建设用地上的建筑质量;进而根据上述评价结果编制村庄规划,以引导和管控绿隔内保留村庄的建设活动.     

基于信息粒化的区间值信息系统不确定性度量方法

目前区间值信息系统的不确定性度量方法大多基于粗糙集的粗糙度度量.实例分析表明该度量方法不满足严格单调性,为了解决这一缺陷,将粒计算方法引入区间值信息系统中,提出一种区间值信息系统的信息粒化模型.引入区间值信息系统的知识粒度和粗糙熵两种度量方法,理论分析出它们具有的严格单调性,在区间值信息系统的不确定性度量方面具有更好的优越性.实验验证了知识粒度和粗糙熵均比传统的粗糙度具有更好的不确定性度量效果.     

甲烷常压非催化部分氧化制合成气研究

考察了常压下甲烷非催化部分氧化制合成气过程中,甲烷转化率、气体产物产率以及积炭率随反应器温度、进气配比、原料气流量变化的影响。通过考察反应器温度对制备合成气过程的影响结果,分析了甲烷非催化部分氧化制合成气过程的反应机理。     

基于MF RC522的Mifare射频卡读写模块开发

主要介绍一种基于Philips公司的MFRC522的射频识别读写模块的设计：首先介绍系统的组成以及MFRC522的特性，接着给出天线的设计规范，最后给出MCU LPC2132与MF RC522的接口原理图和对Mifare卡操作流程。该系统选用Mifare卡作为系统的应答器（PICC），电路稳定，系统运行正常。