CN107256308B - 一种基于协同开发系统的构件交互关系建模系统 - Google Patents
一种基于协同开发系统的构件交互关系建模系统 Download PDFInfo
- Publication number
- CN107256308B CN107256308B CN201710433623.1A CN201710433623A CN107256308B CN 107256308 B CN107256308 B CN 107256308B CN 201710433623 A CN201710433623 A CN 201710433623A CN 107256308 B CN107256308 B CN 107256308B
- Authority
- CN
- China
- Prior art keywords
- component
- module
- model
- relation
- relationship
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种基于协同开发系统的构件交互关系建模系统,属于控制软件的协同开发技术、形式化验证领域。所述系统包括:获取模块,用于获取构件关系描述模型;提取模块,用于提取构件关系描述模型中的构件依赖关系;分解模块,用于根据构件依赖关系分解构件关系描述模型得到子模型;重组模块,用于将子模型与构件关系描述模型中含有的构件重组得到重组模型;规范化模块,用于对重组模型进行规范化描述;验证模块,用于根据规规范化描述验证重组模型中的构件依赖关系;输入模块,用于当验证模块验证成功时,将重组模型作为构件交互关系模型并输出;获取模块,还用于当验证模块验证失败时,获取构件关系描述模型。
Description
技术领域
本发明涉及控制软件的协同开发技术、形式化验证领域,尤其涉及一种基于协同开发系统的构件交互关系建模系统。
背景技术
在协同开发中,各个软件构件之间存在多种关系,当某个构件发生变化时,协同开发系统需要具备至少以下功能:(1)分析发现对其依赖的构件是否能够正常工作;(2)明确该构件与规范构件之间的逻辑关系。即,在协同开发中需要深入研究并解决在协同过程中可能出现的多种协同关系,来确保人、代码、数据和系统等协同构件之间安全高效地进行协同。
面对现阶段协同开发过程中可能遇到的构件交互关系不清、人员与协同件关系不明、数据关系不明确及开发过程顺序关系模糊等问题,有效的对协同开发系统中的构件交互关系进行建模至关重要。
发明内容
为解决现有技术的缺陷,本发明一种基于协同开发系统的构件交互关系建模系统,包括:
获取模块,用于获取构件关系描述模型;
提取模块,用于提取所述获取模块获取到的构件关系描述模型中的构件依赖关系;
分解模块,用于根据所述提取模块提取的构件依赖关系分解所述获取模块获取到的构件关系描述模型得到子模型;
重组模块,用于将所述分解模块得到的子模型与所述获取模块获取到的构件关系描述模型中含有的构件重组得到重组模型;
规范化模块,用于对所述重组模块得到的重组模型进行规范化描述;
验证模块,用于根据所述规范化模块的规范化描述验证所述重组模型中的构件依赖关系;
输入模块,用于当所述验证模块验证成功时,将所述重组模型作为构件交互关系模型并输出;
所述获取模块,还用于当所述验证模块验证失败时,获取构件关系描述模型。
可选地,所述构件关系描述模型,包括:文字形式的构件关系描述和E-R图形式的构件关系模型;所述文字形式的构件关系描述,包括数据类型、和或数据依赖、和或逻辑功能、和或功能接口;所述E-R图形式的构件关系模型,具体为原始构件依赖关系。
可选地,所述获取模块,具体用于:通过弹框等待并接收开发人员从中输入的文件存储地址,根据所述文件存储地址获取文件中的构件关系描述模型;
所述提取模块,具体用于:对所述文件进行预处理,并通过自然语义处理技术对所述文件中的内容进行理解后,提取新的构件关系作为构件依赖关系。
可选地,所述提取模块提取到的所述构件关系描述模型中的构件依赖关系包括:一对多关系、多对多关系、多对一关系。
可选地,所述分解模块,具体用于:根据所述提取模块提取的构件依赖关系对所述构件关系描述模型依据构件的相关度进行分解得到子模型。
可选地,所述规范化模块,具体用于:对所述重组模块得到的重组模型中的构件性质运用逻辑演算将不同构件之间的规范描述为逻辑表达式,并在所述构件上建立时序约束和集成约束,得到逻辑关系表达式、时序关系表达式和构件集成规则。
可选地,所述验证模块,包括:第一验证子模块、组合子模块和第二验证子模块;
所述第一验证子模块,用于根据所述规范化模块的规范化描述对所述重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果;
所述组合子模块,用于将所述逻辑证明、时序证明和数据分析两两组合得到组合表达式;
所述第二验证子模块,用于使用所述组合子模块得到的组合表达式验证所述第一验证子模块得到的第一验证结果。
所述逻辑证明,具体为:对所述规范化描述中的逻辑关系表达式使用基于证明的推理机制验证;
所述时序证明,具体为:用动态时序验证的方法证明,包括确定测试向量、输入模型、进行仿真、完整地测试每条路径;
所述数据分析,具体为:验证所述重组模型的数据类型错误,包括空指针错误、读后写错误、写后读错误、写后写错误。
可选地,所述获取模块,具体用于:当所述验证模块验证失败时,获取新的构件关系描述模型。
本发明的优点在于:
通过本发明公开的建模系统,建立由一系列有序的、多层次的、结构化的规则组成的构件交互模型,解决了在协同开发过程中构件交互关系不清的问题,确保了人、代码、数据和系统等协同构件之间安全高效地协同。
附图说明
通过阅读下文优选实施方式的详细描述,各种其他的优点和益处对于本领域普通技术人员将变得清楚明了。附图仅用于示出优选实施方式的目的,而并不认为是对本发明的限制。而且在整个附图中,用相同的参考符号表示相同的部件。在附图中:
附图1为本发明提供的一种基于协同开发系统的构件交互关系建模系统的建模框架图;
附图2为本发明提供的一种基于协同开发系统的构件交互关系建模系统框图;
附图3为本发明提供的一种基于协同开发系统的构件交互关系建模方法流程图。
具体实施方式
下面将参照附图更详细地描述本公开的示例性实施方式。虽然附图中显示了本公开的示例性实施方式,然而应当理解,可以以各种形式实现本公开而不应被这里阐述的实施方式所限制。相反,提供这些实施方式是为了能够更透彻地理解本公开,并且能够将本公开的范围完整的传达给本领域的技术人员。
根据本发明的实施方式,提出一种基于协同开发系统的构件交互关系建模系统,其建模的概要思想如图1所示,包括:构件关系需求阶段,即获取构件关系描述和构件关系模型;基于获取的构件关系描述和构件关系模型进行模型与构件整合,包括构件依赖关系提取、模型分解、构件与模型重新整合等;然后对整合后的模型进行无二义性、无歧义的形式化语言描述,即进行规范形式化;由于参与协同的构件必须共同遵从同样的规则和约定,而整合后的模型并没有经过验证,可能存在影响人、代码、数据和系统等协同构件之间的依赖关系异常、冲突等问题,因此需要对各个构件之间的依赖关系进行形式化验证,即进行模型验证;其中,验证方法包括逻辑证明、组合验证、数据分析、时序验证等;当验证正确时,输出构件交互关系模型,当验证错误时,返回构件关系需求阶段;通过多重验证,保证了整合后的模型的可靠性,并根据验证结果的正确性决定是否需要重新整合模型。
该建模系统还基于模型与构件库的支撑,其将各数据存储在分布式数据库中,使得数据分散存储在各网络连接的数据节点上,具有高扩展性、高并发性、高可用性等特点;其中,模型与构件库包括:行为模型库、涉及模型库、需求模型库、架构模型库、构件库、样例工程库等。
本发明中,以关系模型的方式刻画各个协同构件之间的逻辑关系,最后通过形式化验证的方法,得到由一系列有序的、多层次、结构化的规则组成的构件交互关系模型。
实施例一
根据本发明的实施方式,提供一种基于协同开发系统的构件交互关系建模系统,如图2所示,包括:
获取模块201,用于获取构件关系描述模型;
提取模块202,用于提取获取模块201获取到的构件关系描述模型中的构件依赖关系;
分解模块203,用于根据提取模块202提取的构件依赖关系分解获取模块201获取到的构件关系描述模型得到子模型;
重组模块204,用于将分解模块203得到的子模型与获取模块201获取到的构件关系描述模型中含有的构件重组得到重组模型;
规范化模块205,用于对重组模块204得到的重组模型进行规范化描述;
验证模块206,用于根据规范化模块205的规范化描述验证重组模型中的构件依赖关系;
输出模块207,用于当验证模块206验证成功时,将重组模型作为构件交互关系模型并输出;
获取模块201,还用于当验证模块206验证失败时,获取构件关系描述模型。
根据本发明的实施方式,构件关系描述模型,包括:文字形式的构件关系描述和E-R图形式的构件关系模型;
其中,文字形式的构件关系描述,包括数据类型、和或数据依赖、和或逻辑功能、和或功能接口;E-R图形式的构件关系模型,具体为原始构件依赖关系。
根据本发明的实施方式,获取模块201,具体用于:通过弹框等待并接收开发人员从中输入的文件存储地址,根据文件存储地址获取文件中的构件关系描述模型;
对应地,提取模块202,具体用于:对所述文件进行预处理,并通过自然语义处理技术对文件中的内容进行理解后,提取新的构件关系作为构件依赖关系。
根据本发明的实施方式,提取模块202提取到的构件关系描述模型中的构件依赖关系包括但不限于:一对多关系、多对多关系、多对一关系。
根据本发明的实施方式,分解模块203,具体用于:根据提取模块202提取的构件依赖关系对构件关系描述模型依据构件的相关度进行分解得到子模型。
根据本发明的实施方式,规范化模块205,具体用于:对重组模块204得到的重组模型中的构件性质运用逻辑演算将不同构件之间的规范描述为逻辑表达式,并在构件上建立时序约束和集成约束,得到逻辑关系表达式、时序关系表达式和构件集成规则。
根据本发明的实施方式,验证模块206,包括:第一验证子模块、组合子模块和第二验证子模块;
其中,第一验证子模块,用于根据规范化模块205的规范化描述对重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果;
组合子模块,用于将逻辑证明、时序证明和数据分析两两组合得到组合表达式;
第二验证子模块,用于使用组合子模块得到的组合表达式验证第一验证子模块得到的第一验证结果。
其中,逻辑证明,具体为:对规范化描述中的逻辑关系表达式使用基于证明的推理机制验证;
时序证明,具体为:用动态时序验证的方法证明,包括确定测试向量、输入模型、进行仿真、完整地测试每条路径;
数据分析,具体为:验证重组模型的数据类型错误,包括空指针错误、读后写错误、写后读错误、写后写错误。
根据本发明的实施方式,当验证模块206验证失败时,还包括:人为的修改构件关系描述模型,调整不同构件之间的依赖关系得到新的构件关系描述模型;
对应地,获取模块201,具体用于:当验证模块206验证失败时,获取所述新的构件关系描述模型。
本发明中的系统,还包括:模型与构件库模块,其用于存储协同开发所需要的软件构架与需求设计,包括但不限于:行为模型库、架构模型库、设计模型库、构件库、需求模型库、样例工程库。
进一步地,模型与构件库模块将各数据存储在分布式数据库中,使得数据分散存储在各网络连接的数据节点上,具有高扩展性、高并发性、高可用性等特点。
实施例二
根据本发明的实施方式,提供一种基于协同开发系统的构件交互关系建模方法,如图3所示,包括:
步骤101:获取构件关系描述模型;
步骤102:提取构件关系描述模型中的构件依赖关系,根据构件依赖关系分解构件关系描述模型得到子模型,将得到的子模型与构件关系描述模型中含有的构件重组得到重组模型;
步骤103:对重组模型进行规范化描述;
步骤104:根据规范化描述验证重组模型中的构件依赖关系,如验证成功,则将重组模型作为构件交互关系模型并输出,结束;如验证失败,则返回步骤101。
根据本发明的实施方式,构件关系描述模型,包括:文字形式的构件关系描述和E-R图形式的构件关系模型;
其中,文字形式的构件关系描述,包括数据类型、和或数据依赖、和或逻辑功能、和或功能接口;E-R图形式的构件关系模型,具体为原始构件依赖关系。
根据本发明的实施方式,步骤101,具体为:通过弹框等待并接收开发人员从中输入的文件存储地址,根据所述文件存储地址获取文件中的构件关系描述模型;
对应地,步骤102中,提取构件关系描述模型中的构件依赖关系,具体包括:对文件进行预处理,并通过自然语义处理技术对文件中的构件关系描述模型进行理解后,提取新的构件关系作为构件依赖关系。
进一步地,当开发人员输入的文件存储地址不存在时,还包括:弹框提示文件不存在。
根据本发明的实施方式,步骤102中,提取到的构件关系描述模型中的构件依赖关系包括但不限于:一对多关系、多对多关系、多对一关系。
根据本发明的实施方式,步骤102中,根据构件依赖关系分解构件关系描述模型得到子模型,具体为:根据构件依赖关系对构件关系描述模型依据构件的相关度进行分解得到子模型。
优选地,本实施例步骤102中,将子模型与构件关系描述模型中含有的构件重组得到重组模型之后,还包括:生成重组模型文件并保存;
对应地,步骤103之前,还包括:读取保存的重组模型文件;
对应地,步骤103具体为:根据读取到的重组模型文件对重组模型进行规范化描述。
根据本发明的实施方式,步骤103,具体为:对重组模型中的构件性质运用逻辑演算将不同构件之间的规范描述为逻辑表达式,并在构件上建立时序约束和集成约束,得到逻辑关系表达式、时序关系表达式和构件集成规则。
根据本发明的实施方式,步骤104中,根据规范化描述验证重组模型中的构件依赖关系,具体包括:
步骤a1:根据规范化描述对重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果;
步骤a2:将逻辑证明、时序证明和数据分析两两组合得到组合表达式;
步骤a3:使用组合表达式验证第一验证结果。
其中,逻辑证明,具体为:对规范化描述中的逻辑关系表达式使用基于证明的推理机制验证;
时序证明,具体为:用动态时序验证的方法证明,包括确定测试向量、输入模型、进行仿真、完整地测试每条路径;
数据分析,具体为:验证重组模型的数据类型错误,包括空指针错误、读后写错误、写后读错误、写后写错误。
在本实施例中,重组模型以图的形式表现,由于重组模型没有经验,因此可能存在人、代码、数据和系统等协同构件之间的依赖关系异常、冲突等问题;根据规范化描述对重组模型中的构件依赖关系进行多重验证,保证了重组模型的可靠性,并根据验证结果的正确性决定是否需要重组模型。
根据本发明的实施方式,在步骤104中,返回步骤101之前,还包括:
修改构件关系描述模型,调整不同构件之间的依赖关系得到新的构件关系描述模型;
对应地,在步骤104中,返回步骤101之后,步骤101具体为:获取新的构件关系描述模型。
其中,修改构件关系描述模型,调整不同构件之间的依赖关系得到新的构件关系描述模型,具体为:人为的修改构件关系描述模型,调整不同构件之间的依赖关系得到新的构件关系描述模型。
优选地,本实施例步骤104中,在根据规范化描述验证重组模型中的构件依赖关系的过程中,当返回的验证结果为true时,判定重组模型正确;当返回的验证结果为false时,判定重组模型存在冲突、异常等问题。
进一步地,在本实施例中,在判定重组模型正确之后,还可以包括:经总线适配器将其发布到各个开发者的本地电脑中。
实施例三
本实施例中,以进行新能源汽车控制软件的开发为例,将本分发明公开的一种基于协同开发系统的构件交互关系建模方法及系统进行进一步说明。
随着汽车技术日新月异的发展,纯电动汽车、增程式电动汽车、混合动力汽车、燃料电池电动汽车、氢发动机汽车等新能源汽车走进了人们的视野。汽车控制软件需要很高的可靠性、实时性。否则,其在行驶过程中会造成生命安全及财产的损失。使用本发明中的一种基于协同开发系统的构件交互关系建模系统及建模方法,可以在研制新能源汽车控制软件的初期用建模的形式化方法给软件的可靠性打下基础。
应用本发明中的系统,对新能源汽车控制软件中的构件交互关系建模,具体包括:
步骤A:获取构件关系描述模型;
具体地,通过弹框等待并接收开发人员从中输入的文件存储地址,根据接收到的文件存储地址获取文件中的构件关系描述模型。
步骤B:提取构件关系描述模型中的构件依赖关系,根据构件依赖关系分解构件关系描述模型得到子模型,将得到的子模型与构件关系描述模型中含有的构件重组得到重组模型;
例如,重组模型为喷油控制控件模型、刹车控制模型等;并生成重组模型文件保存在子目录下。
步骤C:对重组模型进行规范化描述;
具体地,读取子目录中的重组模型文件,并对重组模型进行无二义性、无歧义的形式化语言描述,包括:逻辑关系表达式、时序关系表达式、构件集成规则。
步骤D:根据规范化描述验证重组模型中的构件依赖关系,如验证成功,则将重组模型作为构件交互关系模型并输出,结束;如验证失败,则返回步骤A。
具体地,参与协同的构件必须共同遵从同样的规则和约定,对重组模型中各个构件依赖关系进行形式化验证,验证方法包括:逻辑证明、时序验证、组合验证、数据分析。当验证成功时,将重组模型作为新能源汽车控制软件中的构件交互关系模型并输出,将其发布到各个开发者的本地电脑中;当验证失败时,判定协同出现冲突、异常等问题,则重新修改构件关系描述模型。
通过本发明的技术方案,建立由一系列有序的、多层次的、结构化的规则组成的构件交互模型,解决了在协同开发过程中构件交互关系不清的问题,确保了人、代码、数据和系统等协同构件之间安全高效地协同
以上所述,仅为本发明较佳的具体实施方式,但本发明的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明揭露的技术范围内,可轻易想到的变化或替换,都应涵盖在本发明的保护范围之内。因此,本发明的保护范围应以所述权利要求的保护范围为准。
Claims (5)
1.一种基于协同开发系统的构件交互关系建模系统,其特征在于,包括:
获取模块,用于获取构件关系描述模型;
提取模块,用于提取所述获取模块获取到的构件关系描述模型中的构件依赖关系;
分解模块,用于根据所述提取模块提取的构件依赖关系对所述构件关系描述模型依据构件的相关度进行分解得到子模型;
重组模块,用于根据所述提取模块提取的构件依赖关系将所述分解模块得到的子模型与所述获取模块获取到的构件关系描述模型中含有的构件重组得到重组模型,所述构件关系描述模型不包括所述重组模型;
规范化模块,用于对所述重组模块得到的重组模型进行规范化描述,所述规范化描述为无二义性、无歧义的形式化语言描述;
验证模块,用于根据所述规范化模块的规范化描述验证所述重组模型中的构件依赖关系;
输入模块,用于当所述验证模块验证成功时,将所述重组模型作为构件交互关系模型并输出;
所述获取模块,还用于当所述验证模块验证失败时,获取新的构件关系描述模型;
其中,所述验证模块,包括:第一验证子模块、组合子模块和第二验证子模块;
所述第一验证子模块,用于根据所述规范化模块的规范化描述对所述重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果;所述逻辑证明具体为:对所述规范化描述中的逻辑关系表达式使用基于证明的推理机制验证;所述时序证明具体为:用动态时序验证的方法证明,包括确定测试向量、输入模型、进行仿真、完整地测试每条路径;所述数据分析具体为:验证所述重组模型的数据类型错误,包括空指针错误、读后写错误、写后读错误、写后写错误;
所述组合子模块,用于将所述逻辑证明、时序证明和数据分析两两组合得到组合表达式;
所述第二验证子模块,用于使用所述组合子模块得到的组合表达式验证所述第一验证子模块得到的第一验证结果。
2.根据权利要求1所述的系统,其特征在于:所述构件关系描述模型,包括:文字形式的构件关系描述和E-R图形式的构件关系模型;
所述文字形式的构件关系描述,包括数据类型、和/或数据依赖、和/或逻辑功能、和/或功能接口;
所述E-R图形式的构件关系模型,具体为原始构件依赖关系。
3.根据权利要求1所述的系统,其特征在于,
所述获取模块,具体用于:通过弹框等待并接收开发人员输入的文件存储地址,根据所述文件存储地址获取文件中的构件关系描述模型;
所述提取模块,具体用于:通过自然语义处理技术对所述文件中的内容进行理解后,提取新的构件关系作为构件依赖关系。
4.根据权利要求1所述的系统,其特征在于,所述提取模块提取到的所述构件关系描述模型中的构件依赖关系包括:一对多关系、多对多关系、多对一关系。
5.根据权利要求1所述的系统,其特征在于,所述规范化模块,具体用于:
对所述重组模块得到的重组模型中的构件性质运用逻辑演算将不同构件之间的关系,描述为逻辑表达式,并在所述构件上建立时序约束和集成约束,得到逻辑关系表达式、时序关系表达式和构件集成规则。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710433623.1A CN107256308B (zh) | 2017-06-09 | 2017-06-09 | 一种基于协同开发系统的构件交互关系建模系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710433623.1A CN107256308B (zh) | 2017-06-09 | 2017-06-09 | 一种基于协同开发系统的构件交互关系建模系统 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107256308A CN107256308A (zh) | 2017-10-17 |
CN107256308B true CN107256308B (zh) | 2019-10-08 |
Family
ID=60023935
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710433623.1A Active CN107256308B (zh) | 2017-06-09 | 2017-06-09 | 一种基于协同开发系统的构件交互关系建模系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107256308B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114036769B (zh) * | 2021-11-18 | 2023-09-08 | 中国航空无线电电子研究所 | 面向航电系统物理架构的功能部署方案生成方法及装置 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1744038A (zh) * | 2005-09-28 | 2006-03-08 | 清华大学 | 一种基于统一构件封装件结构的构件组装方法 |
CN105718289A (zh) * | 2016-01-21 | 2016-06-29 | 腾讯科技(深圳)有限公司 | 一种组件关系建立方法及其设备 |
CN106528127A (zh) * | 2016-10-26 | 2017-03-22 | 合肥润客软件科技有限公司 | 一种基于软件构架驱动的分布式系统开发方法 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110016477A1 (en) * | 2009-07-14 | 2011-01-20 | Microsoft Corporation | Pre-calculation and caching of dependencies |
EP3155515B1 (en) * | 2014-06-16 | 2022-05-11 | Silverthread, Inc. | Computer-implemented tools and methods for extracting information about the structure of a large computer software system, exploring its structure, discovering problems in its design, and enabling refactoring |
-
2017
- 2017-06-09 CN CN201710433623.1A patent/CN107256308B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1744038A (zh) * | 2005-09-28 | 2006-03-08 | 清华大学 | 一种基于统一构件封装件结构的构件组装方法 |
CN105718289A (zh) * | 2016-01-21 | 2016-06-29 | 腾讯科技(深圳)有限公司 | 一种组件关系建立方法及其设备 |
CN106528127A (zh) * | 2016-10-26 | 2017-03-22 | 合肥润客软件科技有限公司 | 一种基于软件构架驱动的分布式系统开发方法 |
Non-Patent Citations (2)
Title |
---|
"机载嵌入式系统构件间依赖关系处理方法研究";赵益民 等;《航空计算技术》;20161125;第46卷(第6期);第84-87页 * |
"采用构件组装技术协同开发Web应用的方法";陈霄 等;《计算机科学与探索》;20121116(第02期);第114-125页 * |
Also Published As
Publication number | Publication date |
---|---|
CN107256308A (zh) | 2017-10-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108509336A (zh) | 一种操作系统规范形式化验证与测试方法 | |
CN109634600A (zh) | 一种基于安全扩展SysML和AADL模型的代码生成方法 | |
Zander et al. | A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. | |
Dranidis et al. | JSXM: A tool for automated test generation | |
CN109739740A (zh) | 一种aadl模型组合形式化验证方法 | |
CN107229477B (zh) | 一种基于协同开发系统的构件交互关系建模方法 | |
CN107256308B (zh) | 一种基于协同开发系统的构件交互关系建模系统 | |
Märtin et al. | A methodology for model-based development and automated verification of software for aerospace systems | |
Drusinsky et al. | A visual tradeoff space for formal verification and validation techniques | |
Abdulkhaleq | A system-theoretic safety engineering approach for software-intensive systems | |
Ledru et al. | Test purposes: adapting the notion of specification to testing | |
Chouali et al. | Assembling components using sysml with non-functional requirements | |
Kandl et al. | A formal approach to system integration testing | |
Ceballos et al. | Diagnosing errors in dbc programs using constraint programming | |
CN115408289A (zh) | 一种面向scade模型的测试用例自动生成方法 | |
Weiglhofer et al. | Unifying input output conformance | |
Karsai et al. | On the correctness of model transformations in the development of embedded systems | |
Aniculaesei et al. | Automated Generation of Requirements-Based Test Cases for an Automotive Function using the SCADE Toolchain | |
Ortega-Cabezas et al. | Application of Rule-Based Expert Systems and Dynamic-Link Libraries to Enhance Hardware-in-The-Loop Simulation Results. | |
Murray et al. | Specification-based class testing with ClassBench | |
Iannopollo | A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications | |
Boroday et al. | Techniques for Abstracting SDL Specifications | |
JP2013003897A (ja) | ハイブリッドシステムの検証方法、検証装置、及び検証コンピュータプログラム、並びに、ハイブリッドシステムのモデル変換方法、変換装置、及び変換コンピュータプログラム | |
Saeed et al. | Robust Requirements Specifications for Safety—Critical Systems | |
Falcone et al. | j-POST: a Java Toolchain for property-oriented software testing |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210805 Address after: Room 801, no.6, Lane 600, Yunling West Road, Putuo District, Shanghai 200062 Patentee after: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. Address before: 200062 No. 3663, Putuo District, Shanghai, Zhongshan North Road Patentee before: EAST CHINA NORMAL University Patentee before: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. |
|
TR01 | Transfer of patent right |