-
公开(公告)号：CN113934643B
公开(公告)日：2025-03-21
申请号：CN202111430805.6
申请日：2021-11-29
Applicant: 上海航天计算机技术研究所
IPC: G06F11/3668
Abstract: 本发明涉及一种基于影响域路径分析的测试用例确定方法，包括，对测试程序的语法和控制流程进行分析，提取程序控制流程图的节点；对控制流程图的节点进行压缩，生成路径分支图；建立路径分支图和首轮测试用例集的映射关系；比对首轮测试程序和回归测试程序，生成回归测试的更改模块并进行更改影响域分析，生成回归测试程序的更改路径分支图；从测试用例中选取满足更改路径分支图最大覆盖率指标的最小测试用例集合，作为当前版本的回归测试用例集合。本发明还提供了测试用例确定系统。本发明的优点在于：降低回归测试所使用的测试用例的数量，提高回归测试的效率。
-
公开(公告)号：CN112799942B
公开(公告)日：2023-08-22
申请号：CN202110120629.X
申请日：2021-01-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统，方法包括：S1：加载包括软件源码、目标码和M51文件在内的信息文件；S2：对所加载的信息文件进行解析，生成软件源码与目标码PC地址关联的对应关系文件；S3：利用Keil平台的软件可执行环境执行测试用例，并通过Keil命令生成当前用例的目标码执行结果文件；在执行多个测试用例时，生成多个目标码执行结果文件；S4：对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总，生成目标码覆盖率分析文件，并根据对应关系文件，生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系，即可生成软件源码的覆盖率分析文件，避免插桩带来的目标码差异。
-
公开(公告)号：CN112527671B
公开(公告)日：2023-04-21
申请号：CN202011514108.4
申请日：2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法，包括以下步骤：S1：构建各项事件处理完成时间的事件时间片集合；S2：构建任务运行时间集合；S3：确定各项事件调用软件架构中任一任务的关系，以形成事件‑任务关系集合；S4：对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务，按照先后顺序进行排序，以形成任务时间片序列集合；S5：计算任务时间片序列集合中各项事件处理占用的任务时间，判断是否出现超时现象；判断是否存在冲突，并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况，可以根据软件实际运用场景精确定位软件时序冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN109582479B
公开(公告)日：2021-11-09
申请号：CN201811479697.X
申请日：2018-12-05
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于反射内存卡的OpenDDS分布式通信方法，其中包括CORBA远程调用通信中基于UDP的DIOP协议修改，使用反射内存卡替换底层通信介质，将UDP数据流截断并使用反射内存卡传输，自适配通信环境中反应器监控通知机制的触发，基于反射内存卡的DIOP协议的加载和使用，在OpenDDS已支持的DIOP协议中快速实现数据重定向至反射内存卡。本发明使得OpenDDS中远程调用数据通过反射内存卡传输，将反射内存卡和发布/订阅模式结合，提供了一种高带宽、低延时的网络通信解决方案，更好地满足分布式系统实时性、可靠性的通信要求。
-
公开(公告)号：CN112527671A
公开(公告)日：2021-03-19
申请号：CN202011514108.4
申请日：2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法，包括以下步骤：S1：构建各项事件处理完成时间的事件时间片集合；S2：构建任务运行时间集合；S3：确定各项事件调用软件架构中任一任务的关系，以形成事件‑任务关系集合；S4：对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务，按照先后顺序进行排序，以形成任务时间片序列集合；S5：计算任务时间片序列集合中各项事件处理占用的任务时间，判断是否出现超时现象；判断是否存在冲突，并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况，可以根据软件实际运用场景精确定位软件时序冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
Patent Agency Ranking
公开(公告)号：CN113900951B
公开(公告)日：2025-02-07
申请号：CN202111260072.6
申请日：2021-10-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/3668 , G06F16/903 , G06F16/904 , G06F16/906 , G06F21/60
Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。
-
公开(公告)号：CN113810167B
公开(公告)日：2023-05-09
申请号：CN202111135710.1
申请日：2021-09-27
Applicant: 上海航天计算机技术研究所
IPC: H04L7/00 , H04L7/04 , H04L67/1095
Abstract: 本发明公开了一种分布式系统的时序控制与同步方法，该方法包括：S100：预设时序控制与同步策略，编写时序控制与同步程序，并在进行封装后形成节点控制程序包，以使节点控制程序包作为独立线程在对应节点上运行；S200：基于各节点中封装后的节点控制程序包，根据不同的场景分类，在对应节点的发送数据处以及接收数据处，利用节点控制程序包对本地节点及相邻节点执行包括不做控制、挂起、暂停、缓存、恢复在内的不同时序控制，以便分布式系统网络的全局时序控制与同步。本发明结同步机制简单、低功耗，利用数据流保证节点间的依赖关系，并且收发同步不因节点的运行速度差异而变换，不需要引入额外控制端。
-
公开(公告)号：CN112181392A
公开(公告)日：2021-01-05
申请号：CN202011121631.0
申请日：2020-10-19
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种自动判读硬件接口生成数字外部设备代码的方法和系统，该方法包括：根据被测件与外部设备对应的交互地址信息，确定配置文件；根据配置文件中不同类型的外部设备特征以及汇编码中交互地址的上下文，分析被测件与外部设备交互地址的方向；根据交互地址的方向，识别出不同类型外部设备对应的接口模式；根据不同类型外部设备对应的接口模式，自动生成平台中相应的读写调回函数模板；针对交互地址方向上被测件的读/写数据，分别生成固定格式的输入/输出数据表格。从而可以在被测件数字外部设备测试环境的基础上，减少平台开发过程人工参与度，缩短测试周期，减少测试平台开发引入的程序错误，提高了测试准确性、稳定性。
-
公开(公告)号：CN111200533A
公开(公告)日：2020-05-26
申请号：CN202010016113.6
申请日：2020-01-07
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于OpenDDS的分布式网络配置部署方法，本发明提供的基于OpenDDS的分布式网络配置部署方法，通过使用配置文件和封装编程接口的方式向工程人员提供简化的OpenDDS网络中间件，使得工程人员能够在不具备OpenDDS相关知识的情况下，快速完成分布式网络的配置部署。
-
公开(公告)号：CN110046103A
公开(公告)日：2019-07-23
申请号：CN201910331453.5
申请日：2019-04-23
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种装订数据变更影响域分析方法及系统，包括：获取装订数据对应的全局变量分析；分析装订数据的影响域；比较新旧版本的装订数据，获取发生变更的装订数据；根据发送变更的装订数据对应到相应的影响域。本发明能正确识别发生变化的装订数据，精确获取变更装订数据影响域，通过装订数据影响域，在回归测试中可以快速设计测试用例，提高测试效率。
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.028 seconds)
