检索结果-维普期刊中文期刊服务平台

一个机载软件需求形式化建模与分析实例研究被引量：5: 1; 作者胡军吕佳润 +3 位作者王立松康介祥王辉高忠杰《软件学报》 EI CSCD 北大核心 2022年第5期1652-1673,共22页; 现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分... 展开更多; 关键词机载软件形式化建模变量关系模型自然语言需求建模形式化方法; 在线阅读下载PDF 职称材料

一种面向领域自然语言需求的形式化需求模型生成方法研究被引量：5: 2; 作者胡建成胡军 +3 位作者汪文轩康介祥王辉高忠杰《小型微型计算机系统》 CSCD 北大核心 2021年第8期1639-1648,共10页; 构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然... 展开更多; 关键词安全关键软件领域模板库 VRM 模型转换 EICAS; 在线阅读下载PDF 职称材料

多端口自适应UDP通信协议的设计与实现被引量：11: 3; 作者张新饶若楠 +1 位作者郭宁张文兵《计算机工程与设计》北大核心 2017年第4期846-851,共6页; 为解决嵌入式机载设备在UDP协议重建链路过程中丢失实时数据的问题,提出一种多端口自适应UDP通信协议MP-UDP。通过建链、数据确认、重传等机制进行正常通信,在当前链路重传3次失败需要重建时,利用RMP(Rank_Move_Program)算法以自适应的... 展开更多; 关键词 MP-UDP协议 RMP算法链路重建自适应迁移 SIMULINK模型; 在线阅读下载PDF 职称材料

一种面向形式化表格需求模型的测试用例生成方法被引量：7: 4; 作者汪文轩胡军 +3 位作者胡建成康介祥王辉高忠杰《计算机科学》 CSCD 北大核心 2021年第5期16-24,共9页; 现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需... 展开更多; 关键词测试用例生成表格需求模型形式化需求模型安全关键性系统; 在线阅读下载PDF 职称材料

一种基于形式化规则的航电需求规范化方法被引量：1: 5; 作者沈翔宇王立松 +4 位作者康介祥高忠杰王辉尹伟仇智鹏《小型微型计算机系统》 CSCD 北大核心 2021年第9期1992-1998,共7页; 随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包... 展开更多; 关键词自然语言需求形式化转换规则规范化需求规范化方法; 在线阅读下载PDF 职称材料

一种基于改进PCFG句法分析的需求模板符合性检查优化方法: 6; 作者曹步展王立松 +4 位作者康介祥高忠杰王辉尹伟于梦元《小型微型计算机系统》 CSCD 北大核心 2021年第9期1999-2003,共5页; 需求模板是对需求的一种规范描述,能够减少自然语言需求中的歧义.在进行需求分析之前,检查需求是否符合模板显得尤为重要.由于传统的手工检查非常耗时,为此许多学者展开了相关研究,并提出了一些自动的需求模板符合性检查方法.然而,现有... 展开更多; 关键词需求模板 PCFG 句法分析符合性检查; 在线阅读下载PDF 职称材料

题名一个机载软件需求形式化建模与分析实例研究被引量：5: 1; 作者胡军吕佳润王立松康介祥王辉高忠杰; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心中国航空无线电电子研究所软件部; 出处《软件学报》 EI CSCD 北大核心 2022年第5期1652-1673,共22页; 基金工信部民机专项项目(DAB1900501)。; 文摘现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考.; 关键词机载软件形式化建模变量关系模型自然语言需求建模形式化方法; Keywords formal modeling for airborne system variable relation model(VRM) natural language requirement modelling formal method; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种面向领域自然语言需求的形式化需求模型生成方法研究被引量：5: 2; 作者胡建成胡军汪文轩康介祥王辉高忠杰; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心中国航空无线电电子研究所软件部; 出处《小型微型计算机系统》 CSCD 北大核心 2021年第8期1639-1648,共10页; 文摘构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然语言描述的条目化需求入手,定义一套面向领域的自然语言需求模板,综合考虑所采用的形式化需求模型(VRM:Variable Relation Model)元素的语义,形成基于此模板的需求规范方法;然后给出从规范化后的需求条目集到VRM形式化模型的自动构造方法.最后选取了发动机指示和机组警告系统(EICAS:Engine Indicating and Crew Alerting System)进行实例需求建模及模型生成.; 关键词安全关键软件领域模板库 VRM 模型转换 EICAS; Keywords safety-critical software domain template library VRM model transformation EICAS; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多端口自适应UDP通信协议的设计与实现被引量：11: 3; 作者张新饶若楠郭宁张文兵; 机构中国航空无线电电子研究所软件部上海交通大学软件学院; 出处《计算机工程与设计》北大核心 2017年第4期846-851,共6页; 基金国家973重点基础研究发展计划基金项目(2014CB744900); 文摘为解决嵌入式机载设备在UDP协议重建链路过程中丢失实时数据的问题,提出一种多端口自适应UDP通信协议MP-UDP。通过建链、数据确认、重传等机制进行正常通信,在当前链路重传3次失败需要重建时,利用RMP(Rank_Move_Program)算法以自适应的方式迁移到新的端口链路上进行通信。在Simulink中建立客户端和服务端模型,以图形化的方法实现MP-UDP协议。实验结果表明,与UDP协议相比,MP-UDP协议在链路重建时能自动进行链路迁移,丢包率远小于UDP协议,能够保证实时数据不丢失。; 关键词 MP-UDP协议 RMP算法链路重建自适应迁移 SIMULINK模型; Keywords MP-UDP RMP-algorithm link reconstruction adaptive transport Simulink model; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种面向形式化表格需求模型的测试用例生成方法被引量：7: 4; 作者汪文轩胡军胡建成康介祥王辉高忠杰; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心中国航空无线电电子研究所软件部; 出处《计算机科学》 CSCD 北大核心 2021年第5期16-24,共9页; 基金国家重点基础研究发展计划(973计划)项目(2014CB744900) 2020年度重庆市出版专项资金资助项目。; 文摘现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。; 关键词测试用例生成表格需求模型形式化需求模型安全关键性系统; Keywords Test case generation Tabular requirement model Formal requirement model Safety-critical system; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于形式化规则的航电需求规范化方法被引量：1: 5; 作者沈翔宇王立松康介祥高忠杰王辉尹伟仇智鹏; 机构南京航空航天大学计算机科学与技术学院中国航空无线电电子研究所软件部; 出处《小型微型计算机系统》 CSCD 北大核心 2021年第9期1992-1998,共7页; 基金国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。; 文摘随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不可验证等问题,根据不同的需求语句模式设计出不同的转换规则.同时,为实现自然语言需求到规范化需求的自动转换过程,本文借助Stanford Parser词法分析器,输出不同需求语句的语法树,并结合相应的转化算法输出规范化需求语句.最后通过实例验证了基于形式化转换规则的规范化方法在航空电子显控系统的自然语言需求领域中具有较好的有效性和实用性.; 关键词自然语言需求形式化转换规则规范化需求规范化方法; Keywords natural language requirements formal transformation rules specific requirements specification methods; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于改进PCFG句法分析的需求模板符合性检查优化方法: 6; 作者曹步展王立松康介祥高忠杰王辉尹伟于梦元; 机构南京航空航天大学计算机科学与技术学院中国航空无线电电子研究所软件部; 出处《小型微型计算机系统》 CSCD 北大核心 2021年第9期1999-2003,共5页; 基金国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。; 文摘需求模板是对需求的一种规范描述,能够减少自然语言需求中的歧义.在进行需求分析之前,检查需求是否符合模板显得尤为重要.由于传统的手工检查非常耗时,为此许多学者展开了相关研究,并提出了一些自动的需求模板符合性检查方法.然而,现有的自动检查方法都是基于组块分析进行的,其召回率、精度均有待于提高.本文提出一种基于改进PCFG句法分析的需求模板符合性检查优化方法.该方法引入句法分析以提取出名词组块,进而达到提升需求模板符合性检查的精度、召回率的目的.最后,本文将该方法与现有的自动检查方法进行对比实验.实验结果表明相对于现有的检查方法,本文提出的方法在召回率、精度方面均有显著的提高.; 关键词需求模板 PCFG 句法分析符合性检查; Keywords requirement template PCFG syntactic parsing conformance checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一个机载软件需求形式化建模与分析实例研究	胡军吕佳润王立松康介祥王辉高忠杰	《软件学报》 EI CSCD 北大核心	2022	5	在线阅读下载PDF 职称材料
2	一种面向领域自然语言需求的形式化需求模型生成方法研究	胡建成胡军汪文轩康介祥王辉高忠杰	《小型微型计算机系统》 CSCD 北大核心	2021	5	在线阅读下载PDF 职称材料
3	多端口自适应UDP通信协议的设计与实现	张新饶若楠郭宁张文兵	《计算机工程与设计》北大核心	2017	11	在线阅读下载PDF 职称材料
4	一种面向形式化表格需求模型的测试用例生成方法	汪文轩胡军胡建成康介祥王辉高忠杰	《计算机科学》 CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
5	一种基于形式化规则的航电需求规范化方法	沈翔宇王立松康介祥高忠杰王辉尹伟仇智鹏	《小型微型计算机系统》 CSCD 北大核心	2021	1	在线阅读下载PDF 职称材料
6	一种基于改进PCFG句法分析的需求模板符合性检查优化方法	曹步展王立松康介祥高忠杰王辉尹伟于梦元	《小型微型计算机系统》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料