-
公开(公告)号：CN109814921A
公开(公告)日：2019-05-28
申请号：CN201910069275.3
申请日：2019-01-24
Applicant: 华东师范大学
IPC: G06F8/72
Abstract: 本申请公开了一种软件结构复杂度降解方法、设备及存储介质，涉及软件技术领域。所述方法包括：确定软件结构的条件约束；根据确定的条件约束，对软件结构进行重构，得到多个重构方案；分析得到的多个重构方案，得到最优重构方案；采用最优重构方案对软件结构进行重构。本申请中，通过对软件结构进行重构，不仅能够将松散的软件结构转化为一个高耦合的、更加集中的低复杂度的软件结构，提高软件的内聚性，改善软件质量；而且，对软件结构的改进代价较低，对于系统的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来评价经过重构后软件复杂度的降低效果和幅度。
-
公开(公告)号：CN109814921B
公开(公告)日：2020-10-02
申请号：CN201910069275.3
申请日：2019-01-24
Applicant: 华东师范大学
IPC: G06F8/72
Abstract: 本申请公开了一种软件结构复杂度降解方法、设备及存储介质，涉及软件技术领域。所述方法包括：确定软件结构的条件约束；根据确定的条件约束，对软件结构进行重构，得到多个重构方案；分析得到的多个重构方案，得到最优重构方案；采用最优重构方案对软件结构进行重构。本申请中，通过对软件结构进行重构，不仅能够将松散的软件结构转化为一个高耦合的、更加集中的低复杂度的软件结构，提高软件的内聚性，改善软件质量；而且，对软件结构的改进代价较低，对于系统的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来评价经过重构后软件复杂度的降低效果和幅度。
-
公开(公告)号：CN109814920B
公开(公告)日：2020-09-11
申请号：CN201910069261.1
申请日：2019-01-24
Applicant: 华东师范大学
Abstract: 本发明公开了软件结构复杂度降解装置，涉及软件技术领域。所述装置包括：确定模块，用于确定软件结构的条件约束；第一重构模块，用于根据条件约束，对软件结构进行重构，得到多个重构方案；分析模块，用于分析所述多个重构方案，得到最优重构方案；第二重构模块，用于采用所述最优重构方案对所述软件结构进行重构。该装置通过对软件结构进行重构，不仅能够将松散的软件结构转化为一个高耦合的、更加集中的低复杂度的软件结构，提高软件的内聚性，改善软件质量；而且，对软件结构的改进代价较低，对于系统的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来评价经过重构后软件复杂度的降低效果和幅度。
-
公开(公告)号：CN109815148A
公开(公告)日：2019-05-28
申请号：CN201910081465.7
申请日：2019-01-28
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种软件复杂度计算系统，包括：活动获取模块，用于获取软件中的构件包括的各个活动；路径信息获取模块，用于根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息；复杂度计算模块，用于根据所述软件的执行路径对应的路径信息，计算所述软件的复杂度。本发明提出面向复杂度的建模语言，并为该建模语言设计了操作语义规则，基于该建模语言和操作语义规则能够在软件开发的各个阶段度量软件产品的复杂度，并且既可以计算构件的动态复杂度，又可以计算软件结构的平均复杂度，提高了软件复杂度计算的准确性。
-
公开(公告)号：CN109814920A
公开(公告)日：2019-05-28
申请号：CN201910069261.1
申请日：2019-01-24
Applicant: 华东师范大学
Abstract: 本发明公开了软件结构复杂度降解装置，涉及软件技术领域。所述装置包括：确定模块，用于确定软件结构的条件约束；第一重构模块，用于根据条件约束，对软件结构进行重构，得到多个重构方案；分析模块，用于分析所述多个重构方案，得到最优重构方案；第二重构模块，用于采用所述最优重构方案对所述软件结构进行重构。该装置通过对软件结构进行重构，不仅能够将松散的软件结构转化为一个高耦合的、更加集中的低复杂度的软件结构，提高软件的内聚性，改善软件质量；而且，对软件结构的改进代价较低，对于系统的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来评价经过重构后软件复杂度的降低效果和幅度。
-
Patent Agency Ranking
公开(公告)号：CN107256308A
公开(公告)日：2017-10-17
申请号：CN201710433623.1
申请日：2017-06-09
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F17/50
Abstract: 本发明公开了一种基于协同开发系统的构件交互关系建模系统，属于控制软件的协同开发技术、形式化验证领域。所述系统包括：获取模块，用于获取构件关系描述模型；提取模块，用于提取构件关系描述模型中的构件依赖关系；分解模块，用于根据构件依赖关系分解构件关系描述模型得到子模型；重组模块，用于将子模型与构件关系描述模型中含有的构件重组得到重组模型；规范化模块，用于对重组模型进行规范化描述；验证模块，用于根据规规范化描述验证重组模型中的构件依赖关系；输入模块，用于当验证模块验证成功时，将重组模型作为构件交互关系模型并输出；获取模块，还用于当验证模块验证失败时，获取构件关系描述模型。
-
公开(公告)号：CN107229505A
公开(公告)日：2017-10-03
申请号：CN201710423864.8
申请日：2017-06-07
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
CPC classification number: G06F8/447 , G06F9/45558 , G06F2009/4557
Abstract: 本发明公开了一种基于虚拟机的程序运行方法，主要包括：使用开发工具将IEC61131‑3程序导出为XML格式文件，再使用程序翻译器将XML格式文件翻译成高级语言程序，将可运行高级程序的虚拟机部署到多平台设备上，最后使用高级语言编译器将高级语言程序编译为可执行文件，然后部署到相应普通计算设备上。通过本发明可以使得在普通计算设备上运行IEC61131‑3程序，进而可以代替传统的PLC，克服了传统PLC的价格比较高、通用性差、移植困难、缺乏开放的体系、需要受制于PLC厂商等缺点，同时一般计算设备的强大计算能力和优秀的网络环境使得IEC61131‑3程序具有更高的稳定性和实时性。
-
公开(公告)号：CN109814924B
公开(公告)日：2020-10-02
申请号：CN201910081440.7
申请日：2019-01-28
Applicant: 华东师范大学
IPC: G06F8/77
Abstract: 本发明公开了一种软件复杂度计算方法，包括：获取软件中的构件包括的各个活动；根据所述构件包括的各个活动，通过操作语义规则执行所述软件中的各个构件，得到所述软件的执行路径对应的路径信息；根据所述软件的执行路径对应的路径信息，计算所述软件的复杂度。本发明提出面向复杂度的建模语言，并为该建模语言设计了操作语义规则，基于该建模语言和操作语义规则能够在软件开发的各个阶段度量软件产品的复杂度，并且既可以计算构件的动态复杂度，又可以计算软件结构的平均复杂度，提高了软件复杂度计算的准确性。
-
公开(公告)号：CN107229477B
公开(公告)日：2019-10-08
申请号：CN201710434650.0
申请日：2017-06-09
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种基于协同开发系统的构件交互关系建模方法，属于控制软件的协同开发技术、形式化验证领域。所述方法包括：获取构件关系描述模型，从中提取构件依赖关系，根据构件依赖关系分解构件关系描述模型得到子模型，将子模型与构件关系描述模型中含有的构件重组得到重组模型；对重组模型进行规范化描述，并根据规范化描述验证重组模型中的构件依赖关系，如验证成功，则将重组模型作为构件交互关系模型并输出，结束；如验证失败，则继续获取新的构件关系描述模型。本发明的技术方案，解决了在协同开发过程中构件交互关系不清的问题，确保了人、代码、数据和工具等协同件之间安全高效地协同。
-
公开(公告)号：CN107229587A
公开(公告)日：2017-10-03
申请号：CN201710433625.0
申请日：2017-06-09
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F13/38
CPC classification number: G06F13/385
Abstract: 本发明公开了一种接入多类型协同件的服务总线平台的工作方法，涉及计算机技术领域。所述方法包括：多类型协同件分别将各自的消息发送给对应的各总线适配器；各总线适配器分别将接收到的消息转换为服务总线可接受格式的消息请求，并发送消息请求给服务总线；服务总线整合来自各总线适配器的消息请求得到对应的响应数据，并通过各总线适配器返回响应数据给对应的协同件。本发明中，通过多类型总线适配器将对应的多类型协同件接入服务总线，形成智能化的服务总线平台，实现了协同开发过程中多源异构协同件的通信协作。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.03 seconds)
