“模型软件”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果952017个，建议您升级VIP下载更多相关专利

[发明专利]FPGA物理模型的软件建模方法及装置-CN202110398253.9在审
发明人：刘锴;宋宁;王铜铜;杜金凤 -专利权人：山东高云半导体科技有限公司
申请日： 2021-04-14 - 公布日： 2021-06-11 - 主分类号： G06F30/34 文献下载
摘要：本发明公开了一种FPGA物理模型的软件建模方法及装置，该方法包括：对FPGA器件中的硬件物理模型执行边界检测操作，得到待建立的目标软件模型的软件模型信息，该目标软件模型为该硬件物理模型对应的软件模型；根据该软件模型信息以及预先分析出的该硬件物理模型的功能信息，抽象该硬件物理模型以建立目标软件模型。可见，本发明能够针对FPGA器件中的不同硬件物理模型自动化建立对应的软件模型(又称“器件软件模型”)，缩短了FPGA硬件物理模型的软件建模周期，提高了软件建模效率，此外，还能够提高软件建模的准确性，进而有利于提高FPGA软件设计的效率。
fpga 物理模型软件建模方法装置

[发明专利]一种构造软件模型的可视软件建模编辑器-CN201410293536.7有效
发明人：符长明;龙春生;唐鸿 -专利权人：成都普中软件有限公司
申请日： 2014-06-25 - 公布日： 2018-06-29 - 主分类号： G06F8/34 文献下载
摘要：本发明公开了一种构造软件模型的可视软件建模编辑器，以软件层级编辑器、软件接口编辑器、软件交互编辑器、软件算法编辑器、软件流程编辑器、软件传输编辑器分别以软件层级模型、软件接口模型、软件交互模型、软件算法模型、软件流程模型、软件传输模型及相应视图为编辑对象完成软件模型及软件视图的构造，为各种领域提供了一种具有运算性、通用性、易用性的优点的可视软件建模工具:本发明构造的软件模型及软件视图结构清晰，层次可调，建模粒度可控，具有可被运算的充分一致性；方法统一，既方便自顶向下分析设计，也方便自底向上实现集成，适用于各种软件建模；建模方法简单，完全可视化建模，即使普通领域人员，也能独立轻松构造软件模型及软件视图。
编辑器软件建模构造软件软件视图可视软件传输软件交互软件接口软件流程软件模型软件算法建模可视化建模编辑对象层级模型自顶向下易用性运算性层级可调可控运算清晰分析统一

[发明专利]一种基于软件元模型构造软件模型的通用软件建模方法-CN201410291096.1有效
发明人：符长明;龙春生;唐鸿 -专利权人：成都普中软件有限公司
申请日： 2014-06-25 - 公布日： 2018-06-22 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种基于软件元模型构造软件模型的通用软件建模方法,在确定软件元模型基础组元后通过以软件层级模型、软件接口模型、软件交互模型、软件算法模型、软件流程模型、软件传输模型为步骤要素构造软件模型，为各个领域提供具有运算性、通用性、易用性优点的软件建模规范:本发明构造的软件模型结构清晰，层次可调，建模粒度可控，具有可被运算的充分一致性；方法统一，既方便自顶向下分析设计，也方便自底向上实现集成，适用于各种软件系统建模；建模要素数量少，建模方法简单，即使不了解建模语言和计算机程序语言的普通领域人员，也能独立轻松构造软件模型，免除了对专业建模人员或程序开发人员的依赖和沟通，建模时间大大缩短。
建模构造软件元模型基于软件通用软件计算机程序语言层级模型程序开发建模语言软件传输软件建模软件交互软件接口软件流程软件模型软件算法软件系统自顶向下基础组易用性运算性可调可控运算清晰分析统一

[发明专利]一种AMT上层控制软件的模型在环集成测试方法和系统-CN202210832937.X在审
发明人：余昌雄;张叶青;冉淼;张彦康;徐世杰;刘双平 -专利权人：东风商用车有限公司
申请日： 2022-07-14 - 公布日： 2022-10-21 - 主分类号： G05B23/02 文献下载
摘要：本发明公开了一种AMT上层控制软件的模型在环集成测试方法和系统。它包括AMT上层软件模型和整车模型，所述AMT上层软件模型为待测的上层控制软件，所述整车模型为在仿真软件中搭建的车辆软件模型，所述整车模型用于发出请求命令，AMT上层软件模型根据请求命令发出决策信号，整车模型根据决策信号进行相应动作本发明可在软件开发初期发现AMT上层软件存在的缺陷时，能保证软件开发质量的情况下，大大提高开发和测试效率，缩短开发周期，降低开发成本和风险。
一种 amt 上层控制软件模型集成测试方法系统

[发明专利]一种基于功能点与人力成本软件系统造价评估模型-CN202011160138.X在审
发明人：陶洋;张乾鹏;黄羽 -专利权人：重庆菲迪克信息系统工程项目管理有限公司
申请日： 2020-10-27 - 公布日： 2021-01-22 - 主分类号： G06Q30/02 文献下载
摘要：本发明涉及一种基于功能点与人力成本软件系统造价评估模型，属于软件技术领域。该模型包括基于功能点规模度量的软件项目价值估算模型和基于人力成本估算的软件项目价格估算模型；所述业务基于功能点规模度量的软件项目价值估算模型用于给出模型公式，指导软件项目的价值估算问题；所述业务基于人力成本估算的软件项目价格估算模型也用于给出模型公式，指导软件项目的价格估算问题。
一种基于功能人力成本软件系统造价评估模型

[发明专利]一种基于CPN的面向服务软件性能建模与仿真分析方法-CN201510389946.6有效
发明人：应时;耿江屹;贾向阳;陈旭;罗敏;徐倩;李琳;董波;张婷 -专利权人：武汉大学
申请日： 2015-07-06 - 公布日： 2017-11-28 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于CPN的面向服务软件性能建模与仿真分析方法，面向服务软件性能模型包括软件模型和负载模型；软件模型包括服务模型和交互模型；负载模型包括工作负载模型和外部负载模型；每个服务模型都具有一个服务内部结构模型；工作负载模型包括工作负载开始模型、工作负载结束模型；外部负载模型包括外部负载开始模型、外部负载结束模型。仿真分析方法首先对面向服务软件负载模型中的参数进行配置，设置仿真执行的步数或时间；创建监视器，对面向服务软件以及其中单个服务的性能进行仿真。本发明实用性强、建模软件性能的效率高、仿真分析准确，适用于各种面向服务软件的性能建模与仿真分析。
一种基于 cpn 面向服务软件性能建模仿真分析方法

[发明专利]一种软件服务的语义标识及需求封装方法-CN200910063104.6有效
发明人：李兵;曾诚;陈桂生;王健;何克清;余智涛;万彩平;彭涛;伍沙沙;杨俊峰;钟润;郜鹏 -专利权人：武汉大学
申请日： 2009-07-10 - 公布日： 2011-01-12 - 主分类号： G06F9/44 文献下载
摘要：本发明首先构建领域模型和软件服务注册模型，所述领域模型包括领域本体模型和领域需求模型；将待注册软件服务注册到软件服务注册库时，使用领域本体模型文件标识软件服务，使用领域需求模型文件封装软件服务。因此本发明技术方案解决了软件服务的语义标识和需求封装，能够支持在软件服务发现过程中的基于语义和需求的软件服务匹配，实现自上而下的服务发现和自下而上的需求发现的结合，为后续的软件服务动态组合奠定了基础。
一种软件服务语义标识需求封装方法

[发明专利]一种基于模拟器的软硬件协同验证方法及系统-CN201210214895.X有效
发明人：朱浩;彭楚;王东辉;张铁军;洪缨 -专利权人：中国科学院声学研究所
申请日： 2012-06-26 - 公布日： 2012-12-26 - 主分类号： G06F11/26 文献下载
摘要：本发明涉及一种基于模拟器的软硬件模型协同验证方法及其系统。该方法包括：硬件模型在指令流水线开始工作前调用软件模型，并将硬件模型仿真的时钟信息发送给软件模型；软件模型驱动内核模拟器进行初始化配置；当硬件模型在指令流水线执行到指令执行阶段时调用软件模型，并将硬件模型仿真的当前时间点发送给软件模型；软件模型驱动内核模拟器执行完指令，并根据硬件模型仿真的当前时间点、时钟信息计算指令在硬件模型中执行完成的时间点；当硬件模型写寄存器堆时，调用软件模型，并将指令执行完的数据信息发送给软件模型；软件模型驱动内核模拟器进行数据信息比较
一种基于模拟器软硬件协同验证方法系统

[发明专利]软件测试装置和方法-CN201810835884.0有效
发明人：来间启伸;小川秀人;中川雄一郎;伊藤信治;佐藤直人;明神智之 -专利权人：株式会社日立制作所
申请日： 2018-07-26 - 公布日： 2022-02-22 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。
软件测试装置方法

[发明专利]软件模型的测试方法及其装置、计算机可读存储介质-CN202111163718.9在审
发明人：孙家辉;张建彪;杨红新;徐治户 -专利权人：蜂巢能源科技有限公司
申请日： 2021-09-30 - 公布日： 2022-01-14 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种软件模型的测试方法及其装置、计算机可读存储介质。其中，该方法包括：获取目标软件模型的模型特征信息，其中，模型特征信息包括：接口信息、功能需求信息，目标软件模型为待测软件模型；基于接口信息对待测软件模型的接口进行配置，得到配置后的目标软件模型；基于功能需求信息生成目标测试用例；利用目标测试用例对配置后的目标软件模型进行测试，以获取目标软件模型的测试结果。本发明解决了针对相关技术中软件开发的过程中测试环节中需要花费大量时间去编写测试用例导致开发效率变低的技术问题。
软件模型测试方法及其装置计算机可读存储介质

[发明专利]基于模型开发软件的评估方法、装置、电子设备及介质-CN202310465396.6在审
发明人：陈俊;孟天;王俊林;李可欣 -专利权人：成都赛力斯科技有限公司
申请日： 2023-04-26 - 公布日： 2023-07-18 - 主分类号： G06F11/34 文献下载
摘要：本申请提供一种基于模型开发软件的评估方法、装置、电子设备及介质。该方法包括：将用于开发模型软件的项目文件的路径添加到工作路径中；依据项目文件中的功能需求生成数据辞典，基于数据辞典中的结构信息生成模型框架；依据模型框架以及功能需求确定模型软件的功能策略，并依据功能需求生成测试用例；建立模型软件、测试用例以及功能需求之间的关联关系，并依次对模型软件与功能需求，以及模型软件与测试用例进行一致性比对；依据预设标准对模型软件进行模型静态检查，利用测试用例对模型软件进行性能测试及验证，并生成性能评估报告本申请提高应用软件开发的效率，提高软件质量，降低开发流程的复杂度，提升应用软件性能测试和评估的效果。
基于模型开发软件评估方法装置电子设备介质

[发明专利]一种考虑软件测试与运行环境差别的软件成本模型建模方法-CN201310272368.9有效
发明人：高峰;孟斌;万程程;陈嵩博;王坐山;赵小晴;于亚龙;吴田 -专利权人：哈尔滨工程大学
申请日： 2013-07-02 - 公布日： 2013-09-18 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种考虑软件测试与运行环境差别的软件成本模型建模方法，属于软件成本模型研究领域。本发明方法将测试与运行环境的差别考虑到软件成本模型的建模过程中，分析环境差别对软件测试成本和维护成本的影响，基于环境因子，构造软件成本模型中测试阶段内修正单位软件故障的费用c1和测试阶段内单位时间的测试费用c3的函数，进一步得到新的软件成本模型，并依据该模型进行软件成本预测。本发明方法反映了环境差异对软件成本的影响，使软件成本模型预测更符合实际，从而对软件成本进行更精确的预测，并确定软件发布时间。
一种考虑软件测试运行环境别的成本模型建模方法

[发明专利]一种自适应软件UML建模及其形式化验证方法-CN201410738547.1有效
发明人：邢建春;韩德帅;杨启亮;王平;王洪达;张学伟 -专利权人：中国人民解放军理工大学
申请日： 2014-12-05 - 公布日： 2018-06-05 - 主分类号： G06F9/448 文献下载
摘要：本发明公开了一种自适应软件UML建模及其形式化验证方法，主要用于处理自适应软件的建模与验证问题，具体步骤包括：(1)建立自适应软件概念模型；(2)通过扩展UML引入新的构造型、标记值和约束条件，建立自适应软件的可视化模型，包括自适应软件的结构模型自适应类图和行为模型自适应序列图；(3)设计模型转换算法将自适应软件的行为模型转换为时间自动机网络，建立自适应软件的形式化模型；(4)给出描述自适应软件性质的TCTL时序逻辑规范，并利用模型检测工具UPPAAL验证自适应软件模型的可靠性，并根据反馈结果进一步优化自适应软件的UML模型。本发明可有效降低软件自适应建模和验证的复杂度，提高软件自适应的建模效率和模型可靠性。
自适应软件建模自适应形式化验证行为模型验证可视化模型模型可靠性自动机网络反馈结果概念模型结构模型模型检测设计模型时序逻辑约束条件转换算法复杂度序列图引入转换优化

[发明专利]一种加权标准化优化选择软件可靠性模型方法-CN202011630467.6有效
发明人：王金勇 -专利权人：山西大学
申请日： 2020-12-31 - 公布日： 2023-09-22 - 主分类号： G06F11/36 文献下载
摘要：本发明属于软件模型技术领域，具体是一种加权标准化优化选择软件可靠性模型方法。提出的加权标准化的方法可以分为三步。第一步计算每个软件可靠性模型的模型评价值，可以用矩阵来表示。然后进行标准化处理，即，软件可靠性模型的属性值进行标准化计算。第二步求出软件可靠性模型的每个属性值对评价模型的性能的重要程度和影响力，即，软件可靠性模型属性的权值。第三步根据每个模型的标准化属性值和权值排序，选出最优软件可靠性模型。提出的优化选择软件可靠性模型的方法能够选出最优软件可靠性模型，并且能够有效地应用到实际的软件测试当中。
一种加权标准化优化选择软件可靠性模型方法

[发明专利]基于大数据分析的恶意软件识别方法、服务器及存储介质-CN201911166600.4在审
发明人：段德昀 -专利权人：深圳传音控股股份有限公司
申请日： 2019-11-25 - 公布日： 2020-04-17 - 主分类号： G06F21/56 文献下载
摘要：本发明属于软件安全技术领域，涉及一种基于大数据分析的恶意软件识别方法、服务器及计算机可读存储介质，其中，基于大数据分析的恶意软件识别方法，包括：从数据库中获取已知软件信息。对已知软件信息中的特征信息进行模型训练以构建预测模型。获取待测软件的特征信息。将待测软件的特征信息代入预测模型进行模型预测以获取预测结果。在预测结果符合预设规则时，则判定待测软件为恶意软件。因此，本发明能够依靠大数据技术获取大量的软件信息，并且能够根据大量的软件信息构建恶意软件的预测模型，从而能够通过构建的预测模型待测软件进行模型预测以判定待测软件是否为恶意软件。故而，本发明能够实现有效的识别恶意软件的目的。
基于数据分析恶意软件识别方法服务器存储介质

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条