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

安全协议的形式化需求及验证被引量：4: 1; 作者刘怡文李伟琴《计算机工程与应用》 CSCD 北大核心 2002年第17期125-128,共4页; 该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning_Sacco公钥协议进行了验证,发现了对此协议的重放攻击,并... 展开更多; 关键词安全协议形式化需求验证 BAN逻辑定理证明密码协议通信协议; 在线阅读下载PDF 职称材料

半形式化需求说明语言的设计及应用被引量：1: 2; 作者郑善宇庄成三《计算机应用》 CSCD 北大核心 2002年第1期78-79,81,共3页; 针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。; 关键词半形式化需求说明语言软件开发 CAFEOBJ语言数据库; 在线阅读下载PDF 职称材料

软件需求获取形式化的案例研究被引量：1: 3; 作者邹盛荣彭昱静 +4 位作者郭忠伟刘春秋周塔卫丽顾爱华《现代电子技术》 2009年第12期45-48,共4页; 软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的... 展开更多; 关键词需求获取 UML 用例驱动 B方法形式化需求; 在线阅读下载PDF 职称材料

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

面向航空软件需求模型的MC/DC测试用例生成方法: 5; 作者丁鼎胡军 +2 位作者王康星董泽华王立松《小型微型计算机系统》北大核心 2025年第7期1783-1792,共10页; 充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,... 展开更多; 关键词测试用例生成修改的条件/判定覆盖基于需求的测试形式化需求建模; 在线阅读下载PDF 职称材料

嵌入式软件系统测试模型的研究与实现被引量：5: 6; 作者林晓欲石磊《科学技术与工程》 2009年第24期7515-7520,共6页; 指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,... 展开更多; 关键词嵌入式软件测试软件系统测试形式化的需求描述实时性; 在线阅读下载PDF 职称材料

题名安全协议的形式化需求及验证被引量：4: 1; 作者刘怡文李伟琴; 机构北京航空航天大学; 出处《计算机工程与应用》 CSCD 北大核心 2002年第17期125-128,共4页; 文摘该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning_Sacco公钥协议进行了验证,发现了对此协议的重放攻击,并对协议进行了修改。; 关键词安全协议形式化需求验证 BAN逻辑定理证明密码协议通信协议; Keywords BAN logic,model checker,NRL,FDR,SMV,theorem prover; 分类号 TN915.04 [电子电信—通信与信息系统] TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名半形式化需求说明语言的设计及应用被引量：1: 2; 作者郑善宇庄成三; 机构四川大学计算机系; 出处《计算机应用》 CSCD 北大核心 2002年第1期78-79,81,共3页; 文摘针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。; 关键词半形式化需求说明语言软件开发 CAFEOBJ语言数据库; 分类号 TP312 [自动化与计算机技术—计算机软件与理论] TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件需求获取形式化的案例研究被引量：1: 3; 作者邹盛荣彭昱静郭忠伟刘春秋周塔卫丽顾爱华; 机构扬州大学信息工程学院; 出处《现代电子技术》 2009年第12期45-48,共4页; 文摘软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。; 关键词需求获取 UML 用例驱动 B方法形式化需求; Keywords requirement acquirement UML use case driven B method formal requirement; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载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 职称材料

题名面向航空软件需求模型的MC/DC测试用例生成方法: 5; 作者丁鼎胡军王康星董泽华王立松; 机构南京航空航天大学; 出处《小型微型计算机系统》北大核心 2025年第7期1783-1792,共10页; 基金国家自然科学基金项目(U2241216)资助。; 文摘充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性.; 关键词测试用例生成修改的条件/判定覆盖基于需求的测试形式化需求建模; Keywords test case generation modified condition/decision coverage requirements-based testing formal requirement modelling; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名嵌入式软件系统测试模型的研究与实现被引量：5: 6; 作者林晓欲石磊; 机构中国空空导弹研究院; 出处《科学技术与工程》 2009年第24期7515-7520,共6页; 文摘指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分,提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的。; 关键词嵌入式软件测试软件系统测试形式化的需求描述实时性; Keywords embedded software testing software system testing formalized requirement description real time; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	安全协议的形式化需求及验证	刘怡文李伟琴	《计算机工程与应用》 CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
2	半形式化需求说明语言的设计及应用	郑善宇庄成三	《计算机应用》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
3	软件需求获取形式化的案例研究	邹盛荣彭昱静郭忠伟刘春秋周塔卫丽顾爱华	《现代电子技术》	2009	1	在线阅读下载PDF 职称材料
4	一种面向形式化表格需求模型的测试用例生成方法	汪文轩胡军胡建成康介祥王辉高忠杰	《计算机科学》 CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
5	面向航空软件需求模型的MC/DC测试用例生成方法	丁鼎胡军王康星董泽华王立松	《小型微型计算机系统》北大核心	2025	0	在线阅读下载PDF 职称材料
6	嵌入式软件系统测试模型的研究与实现	林晓欲石磊	《科学技术与工程》	2009	5	在线阅读下载PDF 职称材料