面向路径的测试数据自动生成工具设计与实现

面向路径的测试数据生成问题是软件测试中一个基本问题.采用遗传算法作为数据优化搜索策略,设计并实现了一个而向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析.实验结果表明,PTDAG在源代码进行捕装后,通过模拟对方法的实际调用产生了一组测试数据,完成一组目标路径的测试数据的自动生成,还可以针对某一条具体的日标路径,得到一个相虚的优化测试数据.     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

基于PC104总线的航空绞车参数记录分析系统

构建了基于PC104总线的航空绞车工作参数记录分析系统,重点阐述了下位机、上位机系统的硬件和软件设计;对测量结果进行了计算和分析,为分析航空绞车在工作过程中发生的故障提供了真实可靠的数据.     

“手控交会对接”与大众亲密接触

第七届北京国际文化创意产业博览会于2012年12月20日在中国国际展览中心开幕。本届文博会由文化部、广电总局、新闻出版总署和北京市政府共同主办。共有来自12个国家的50个代表团以及5个国际组织参展,同时国内有20个省市区代表也加入到展团队伍之中。本届文博会的主题是"文化融合科技,创新引领转型",展会为期4天。北京空间科技信息研究所所属神舟传媒公司作为海淀区的重点文化创意企业亮相海淀展区。     

伊朗核能力评估

自2002年8月伊朗的反政府组织——伊朗全国抵抗委员会揭露伊朗正在纳坦兹和阿拉克秘密建造2座核设施以来，国际原子能机构（简称IAEA）对伊朗核设施展开连续核查，同时，国际社会也围绕伊朗核问题引发诸多争论。     

三维孔的数控检测及数学处理

本文叙述了任意孔的数控检测方法及相应的数学处理，解决了任意孔的数控检测问题。     

对不同表达系统的猪圆环病毒2型Rep蛋白的电泳特性分析

利用特异性引物从圆环病毒2型(PCV2)毒株克隆出Rep基因,并将其插入到原核表达载体pET28a和杆状病毒转移载体pFastbacHT(B)上,利用大肠杆菌BL21(DE3)株原核系统以及Bac-to-Bac杆状病毒系统表达Rep蛋白.Western-blotting表明,原核和真核表达系统均能表达出圆环病毒2型Rep蛋白,电泳分析表明,不同系统表达得到的Rep蛋白有不同的电泳特性,揭示Rep蛋白存在翻译后修饰.     

推行CDIO教育的源动力

CDIO是一种工程教育理念,实施CDIO教育必须认真研究、充分利用CDIO教育的源动力,只有这样,才能将CDIO教育理念深入实施,并取得卓越的教育成果.     

航空附件工艺科研规划座谈会在黔召开

部科技局于一九八四年六月廿三日～廿八日在一四三厂召开了附件工艺科研规划座谈会。参加会议的有工厂、研究所等二十八个单位五十八名代表,其中大部分代表是工厂的冷、热工艺科长。会上各个工厂分别介绍了本厂工艺系统的组织及工艺技术现状;工厂近年来取得的技术成果;目前存在的主要工艺技术关键及今后的打算。在充分讨论的基础上,统一认识,提出了“七五”期间航空附件行业的工艺技术应重