公共文化服务平台

江云松: 作品数：12 被引量：13H指数：2; 供职机构：北京控制工程研究所更多>>; 发文基金：国家自然科学基金中国人民解放军总装备部预研基金中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术经济管理航空宇航科学技术建筑科学更多>>

合作作者

宇航企业系统化结构化产品保证管理: 2014年; 一、成果实施背景(一)适应宇航企业对标国际转型发展的需要北京控制工程研究所(以下简称"研究所")作为空间飞行器控制与推进领域的核心单位,既承担卫星/飞船控制与推进分系统研制,又供应单机部件产品,从事分系统设计和集成、单机产品设计与制造、应用软件设计和评测等多层级工作。其中控制与推进产品涉及机械、机电、光电、电子、液体推进、软件等多个专业,需满足天基通讯、导航、遥感、载人航天、深空探测、星表行走等多类型需求,因此产品品种多、专业跨度大。为保证多层级、多品种、多专业宇航任务的顺利完成,研究所优化了产业链布局。; 张笃周袁利冶元菲于立明付若愚韩青石晓然戈强王慧媛周益江云松勾英杰王永杰姜丹丹; 关键词：应用软件设计载人航天项目群

中断驱动型航天嵌入式软件原子性违反检测方法: 2023年; 嵌入式软件的可信性对航天任务的成败至关重要.航天嵌入式软件广泛采用中断驱动的并发机制,不确定的中断抢占可能导致并发缺陷,引发严重的安全问题.研究表明原子性违反是中断并发缺陷中最突出的一类缺陷模式.目前面向中断驱动型嵌入式软件的原子性违反检测方法都无法同时实现高精度和高可扩展性,且其对真实航天嵌入式软件的有效性尚未得到证实.为了有效提升检测该类缺陷的精度与效率,对82个航天嵌入式软件原子性违反进行实证研究,获得该类缺陷在原子区范围、中断嵌套层数、访问交错模式、共享数据访问方式、访问粒度等5个方面的表现特征.并在此基础上,提出一个精确、高效的原子性违反静态检测方法intAtom-S.首先,基于一个由数值不变式参数化的细粒度内存访问模型,引入基于规则的方法剔除标志变量访问,并采用抽象解释进行精确的共享数据分析,该分析能将共享数据访问粒度精确至数组元素,并可识别共享的内存映射I/O地址.然后,使用轻量级数据流分析技术匹配符合缺陷访问交错模式的所有并发三次访问序,作为潜在的原子性违反缺陷候选.最后,采用基于路径条件的约束求解对缺陷候选中的串行访问对和并发三次访问序进行路径可行性分析,逐步消除误报,得到最终的原子性违反结果.在基准测试集和8个真实航天嵌入式软件上的实验表明,与目前最先进的方法相比,intAtom-S误报率降低了72%,检测效率提高了3倍.此外,该方法能够快速完成对真实航天嵌入式软件的分析,平均误报率仅为8.9%,并发现了23个已被开发人员确认的缺陷.; 于婷婷李超王博祥陈睿陈睿

两种混合型软件单元的测试方法被引量：1: 2011年; 软件测试是保证软件质量和可靠性的重要手段之一,软件单元测试是软件测试中的一个非常重要的阶段.充分的单元测试对发现和排除软件中的缺陷非常有效,并且所花费的成本也小.本文结合航天器嵌入式软件的单元测试具体实践,介绍了白盒技术与黑盒技术相结合的两种混合型的软件单元测试方法,旨在分析如何提高单元测试阶段发现错误的能力而提高单元测试的效率和效果.; 勾英杰江云松; 关键词：白盒测试黑盒测试

航天嵌入式软件数组越界缺陷特征研究被引量：2: 2021年; 根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.; 陈睿陈睿贾春鹏李超高栋栋江云松杨孟飞; 关键词：数组越界

噪声可容忍的软件缺陷预测特征选择方法被引量：4: 2021年; 通过对缺陷数据集进行挖掘,缺陷预测模型能够提前预测出被测软件中的缺陷模块,帮助测试人员实现更有针对性的测试,而普遍存在的数据集标签噪声会影响预测模型的性能。已有的特征选择方法很少对噪声可容忍性进行针对性设计,同时在主流的具有噪声容忍能力的特征选择框架中策略选取只能依靠经验手动执行,难以在软件工程实践中得到应用。鉴于此,文中提出一种噪声可容忍的软件缺陷预测特征选择方法NTFES (Noise Tolerable FEature Selection),即通过Bootstrap抽样技术生成多个自助样本集,在自助样本集上基于近似马尔可夫毯将特征进行分组并采用两种启发式特征选择策略从每个组中选出候选特征,随后利用遗传算法在候选特征空间中搜索最优特征子集。为了验证NTFES方法的有效性,选择了NASA MDP软件项目集作为实验对象并对标签注入噪声以获得带有噪声标签的数据集,通过控制标签噪声比例对NTFES方法以及其他基准方法(如FULL,FCBF,CFS)进行了比较。实验结果表明:在可接受的标签噪声比例下,NTFES方法不仅具有更高的分类性能,还具有更好的噪声可容忍性。; 滕俊元高猛郑小萌江云松; 关键词：软件测试软件缺陷预测

基于大语言模型的C程序单元测试方法被引量：1: 2025年; 单元测试用于检验软件单一模块的功能是否正确,是软件开发过程中的重要步骤,可以及时发现代码中的缺陷,提升软件的质量和可信度.由于手动编写单元测试费时费力,经常遗漏覆盖重要的代码逻辑.为此,研究者提出单元测试用例自动生成技术.近来,预训练大语言模型(large language models,LLM)已经广泛应用于代码生成相关任务.然而,当前在重要的系统级编程语言C上,还没有相关工作.为了填补这一空白,本文面向C程序设计并实现了基于LLM的单元测试用例生成方法LLM4CUTCG.该方法结合LLM多智能体交互和程序分析技术,客服了LLM内在问题.为了验证方法效果,收集了125个C语言目标程序,并针对这些程序生成测试用例.实验结果表明,LLM4CUTCG生成的测试行覆盖率为91.71%,测试预言正确率为50.05%.其覆盖率优于传统方法符号执行.; 李博诺王博陈明达林友芳江云松陈睿李鹏宇; 关键词：软件测试代码自动生成

航天器交会对接飞行控制智能数据分析与决策支持系统: 本发明公开了一种航天器交会对接飞行控制智能数据分析与决策支持系统，包括：飞行控制实时数据采集处理模块、飞行控制仿真与验证模块、多源数据融合与处理模块、内存数据库处理模块、飞行控制智能分析模块和飞行控制决策支持模块。本发明...; 解永春陈朝晖王振华胡军张强罗谷清张国峰张昊李晓锋陈长青江云松吴昊; 文献传递

基于工厂模式的OSLC数据集成接口设计与实现被引量：3: 2021年; 复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和规范实现不同工具的数据集成,有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例,以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体,基于工厂模式设计并实现了符合OSLC规范的数据集成系统,实现了不同工具间的数据集成,提供了一种通用的、可扩展的数据集成方式.; 赵辉王开阳江云松高栋栋李尚书孟繁鑫; 关键词：数据集成

精品塑造工程在控制力矩陀螺产品上的实践与探索: 2016年; 摘要本文介绍了航天质量提升工程中的精品塑造工程的思路及具体实施方案．以控制力矩陀螺（control moment gyroscope, CMG）精品示范项目为例，从深化产品保证工作模式、推行精益设计和提升生产质量管理能力3个方面，论述了如何结合具体科研生产任务和当前工作实际切实有效提高质量综合能力。; 吕欣欣江云松王永杰熊非; 关键词：精益设计

航天科研生产现场管理及评价研究被引量：2: 2017年; 为满足多型号、高密度发射任务需要,强化全员质量意识,加强航天科研生产纪律和队伍作风建设,严格科研生产管理,杜绝低层次质量问题发生,对科研与生产并重的航天科研生产现场管理模式进行了研究,参照《企业现场管理准则》和全国现场管理星级评价办法,结合航天科研生产任务特点,提炼形成了科研生产现场评价工作实施指南及评价表,摸索出适用于航天科研生产现场的管理和评价方法,以进一步提升现场管理的规范性、系统性,实现以评促建,形成持续改进的长效机制。; 李紫茵常肖江云松; 关键词：现场管理以评促建

江云松

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

江云松

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈