CN106155665A - 符合性举证系统及方法 - Google Patents

符合性举证系统及方法 Download PDF

Info

Publication number
CN106155665A
CN106155665A CN201510181249.1A CN201510181249A CN106155665A CN 106155665 A CN106155665 A CN 106155665A CN 201510181249 A CN201510181249 A CN 201510181249A CN 106155665 A CN106155665 A CN 106155665A
Authority
CN
China
Prior art keywords
proof
software
examination
accordance
item
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.)
Granted
Application number
CN201510181249.1A
Other languages
English (en)
Other versions
CN106155665B (zh
Inventor
王云明
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
SHANGHAI AVIATION INFORMATION TECHNOLOGY Co Ltd
Original Assignee
SHANGHAI AVIATION INFORMATION TECHNOLOGY Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by SHANGHAI AVIATION INFORMATION TECHNOLOGY Co Ltd filed Critical SHANGHAI AVIATION INFORMATION TECHNOLOGY Co Ltd
Priority to CN201510181249.1A priority Critical patent/CN106155665B/zh
Publication of CN106155665A publication Critical patent/CN106155665A/zh
Application granted granted Critical
Publication of CN106155665B publication Critical patent/CN106155665B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Stored Programmes (AREA)

Abstract

本发明揭示了一种符合性举证系统及方法,所述系统包括:审查举证设置模块、符合性举证表生成模块;所述审查举证设置模块用以配置审查标准,包括定义软件等级、审查项和审查数据以及相互之间的映射关系;审查举证设置模块包括:审查标准设置单元、数据关联单元;审查标准设置单元用以供用户建立和维护多套软件审查标准,数据关联单元用以在设置完一个软件审查标准之后,将这标准的相关项关联起来;所述符合性举证表生成模块用以为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表。本发明提出的符合性举证系统及方法,可提高效率,减少工作量,确保结果的准确性。

Description

符合性举证系统及方法
技术领域
本发明属于计算机软件技术领域,涉及一种举证系统,尤其涉及一种符合性举证系统;同时,本发明还涉及一种符合性举证方法。
背景技术
针对高安全性相关软件,如民用航空、轨道交通、核电重工、医疗器械等,以及军用软件,其所处领域的权威机构或组织一般都会颁布相应的审查标准,对软件项目的全部或部分软件生命周期过程、数据进行审查,确保软件质量。因此,软件研发单位需要针对这些审查标准给出软件项目的符合性证明,即针对审查标准规定的每一条审查项给出直接或间接证据来证明在实际的项目过程中满足了审查项的要求,以此证明整个软件项目符合相关审查标准。
现有的符合性举证方法,由人工使用文档编写工具为每个审查标准建立一个定义了所有审查项的电子表格。在每次需要创建符合性举证表时,首先需要整理项目已经产生的文档数据,然后手动将这些文档数据关联至电子表格内对应的审查项,作为该审查项的举证证据。这就意味着,每次项目的文档数据产生了变化(版本更新、增加、删除等),都需要人工重复完成整理数据和关联至审查项的工作。
现有的符合性举证方法,存在以下缺点:
(1)需手动编写;虽然可以预先定义审查标准和审查项,但是仍然需要人工将项目产生的文档数据一一关联至审查项。工作繁琐之外,手动操作存在的不确定性也可能导致错误;
(2)编写工具与配置库分离;编写工具无法识别处于配置库内的项目文档的状态,需要人为识别正确的项目文档数据基线或版本作为举证证据。增加了额外的工作量,并存在遗漏出错的可能;
(3)不适合多次生成;由于手动编写工作量大,现有方法并不适合在整个项目过程中多次创建符合性举证表,因此无法在软件生命周期的各个阶段实时为质量保证或审定联络提供监控数据和依据。
有鉴于此,如今迫切需要设计一种新的符合性举证方法,以便克服现有方法的上述缺陷。
发明内容
本发明所要解决的技术问题是:提供一种符合性举证系统,可提高效率,减少工作量,确保结果的准确性。
此外,本发明还提供一种符合性举证方法,可提高效率,减少工作量,确保结果的准确性。
为解决上述技术问题,本发明采用如下技术方案:
一种符合性举证系统,所述系统包括:审查举证设置模块、符合性举证表生成模块;
所述审查举证设置模块用以在该系统的系统层配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系;所述系统层在任何具体软件项目之外;审查举证设置模块包括:审查标准设置单元、数据关联单元;
审查标准设置单元用以供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项;
数据关联单元用以在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关;
所述符合性举证表生成模块用以生成符合性举证表,包括符合性举证表新增单元、符合性举证表编辑单元、符合性举证离线包生成单元;
符合性举证表新增单元用以在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线;
符合性举证表编辑单元用以利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据;
符合性举证离线包生成单元用以自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
一种符合性举证系统,所述系统包括:审查举证设置模块、符合性举证表生成模块;
所述审查举证设置模块用以配置审查标准,包括定义软件等级、审查项和审查数据以及相互之间的映射关系;审查举证设置模块包括:审查标准设置单元、数据关联单元;审查标准设置单元用以供用户建立和维护多套软件审查标准,数据关联单元用以在设置完一个软件审查标准之后,将这标准的相关项关联起来;
所述符合性举证表生成模块用以为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表。
作为本发明的一种优选方案,所述审查标准设置单元设置的审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项。
作为本发明的一种优选方案,所述数据关联单元用以在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项,在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关。
作为本发明的一种优选方案,所述符合性举证表生成模块包括符合性举证表新增单元、符合性举证表编辑单元、符合性举证离线包生成单元。
作为本发明的一种优选方案,符合性举证表新增单元用以在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线。
作为本发明的一种优选方案,符合性举证表编辑单元用以利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据。
作为本发明的一种优选方案,符合性举证离线包生成单元用以自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
一种符合性举证方法,所述方法包括:
步骤S1、审查举证设置步骤;
在该系统的系统层配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系;所述系统层在任何具体软件项目之外;审查举证设置步骤包括:审查标准设置步骤、数据关联步骤;
审查标准设置步骤中,供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项;
数据关联步骤中,在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关;
步骤S2、符合性举证表生成步骤;
生成符合性举证表,包括符合性举证表新增步骤、符合性举证表编辑步骤、符合性举证离线包生成步骤;
符合性举证表新增步骤中,在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线;
符合性举证表编辑步骤中,利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据;
符合性举证离线包生成步骤中,自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
一种符合性举证方法,所述方法包括:审查举证设置步骤、符合性举证表生成步骤;
审查举证设置步骤中,配置审查标准,包括定义软件等级、审查项和审查数据以及相互之间的映射关系;审查举证设置模块包括:审查标准设置单元、数据关联单元;审查标准设置单元用以供用户建立和维护多套软件审查标准,数据关联单元用以在设置完一个软件审查标准之后,将这标准的相关项关联起来;
符合性举证表生成步骤中,为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表。
本发明的有益效果在于:本发明提出的符合性举证系统及方法,可提高效率,减少工作量,确保结果的准确性。
本发明能自动生成符合性举证表,一劳永逸。只需配置一次审查标准,关联软件等级、审查项和审查数据后,就可以针对不同项目自动生成符合性举证表,减少了大量工作,并且保证了生成结果的确定性。
生成工具与配置库结合;生成符合性举证表时可以获取所有项目文档数据的基线和版本信息,该系统可根据用户要求,自动选择正确版本的文档作为举证证据,保证了生成结果的正确性和一致性。
本发明可方便地随时生成;自动生成结果的方式允许用户在项目过程中不耗费额外资源,就能多次获取符合性举证表,为质量保证或审定联络在软件生命周期的各个阶段提供实时的监控数据,便于在项目早期发现和解决问题,降低项目成本。
附图说明
图1为现有符合性举证方法的流程图。
图2为本发明符合性举证方法的流程图。
图3为本发明审查数据设置界面示例图。
图4为本发明关联审查数据至审查项示例图。
具体实施方式
下面结合附图详细说明本发明的优选实施例。
实施例一
请参阅图2,本发明揭示了一种符合性举证系统,所述系统包括:审查举证设置模块RS、符合性举证表生成模块CE。
审查举证设置模块用于为不同的审查标准建立和维护多套审查项与审查数据之间的映射关系,以供不同软件项目选择使用;符合性举证表生成模块可为某一个具体的软件项目针对不同审查标准和软件等级生成多套符合性举证表。
【审查举证设置模块RS】
审查举证设置模块RS在该系统的系统层(即任何具体软件项目之外)配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系。审查举证设置模块包括:审查标准设置单元RS-01、数据关联单元RS-02。
审查标准设置单元RS-01用以供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项。
设置软件等级:一个软件审查标准可能为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义(如等级A、B、C、D)只是单纯的划分等级,需要在与审查项关联之后才具有实际意义。
设置审查数据:可以为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,如0所示。其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据。例如:审查数据A的文档模板编号为“SDP”,而在软件项目甲中,文档模板编号“SDP”对应的实际文档是《软件开发计划》,那么针对软件项目甲,该系统会自动识别《软件开发计划》为审查数据A对应的举证证据。不同项目的同类文档数据可以使用相同或不同的文档模板编号。如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏。这样,只需简单维护数据项的关联文档模板编号,就可以令一套审查标准设置能够应用于多个软件项目。
设置审查项:可以为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级。例如:软件审查标准A包含了60个审查项(审查项1~审查项60),其中审查项1~30适用软件等级A、B、C、D,审查项31~40适用软件等级A、B,审查项41~60适用软件等级A。这样,每个软件等级都分别对应着一套审查项。
数据关联单元RS-02用来关联软件等级、审查项和审查数据。在设置完一个软件审查标准的软件等级、审查项和审查数据之后,需要将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据。定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据,如0所示。
每个审查数据针对不同的软件等级可以设置三种选项“直接证据”、“间接证据”和“不适用”。如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关。
【符合性举证表生成模块CE】
所述符合性举证表生成模块CE用以为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表,包括符合性举证表新增单元CE-01、符合性举证表编辑单元CE-02、符合性举证离线包生成单元CE-03。
符合性举证表新增单元用以在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线。
符合性举证表编辑单元用以在自动生成符合性举证表之后,用户可以根据需要手动添加、修改或删除举证证据。
编辑证据:可以编辑每条审查项下的举证证据的说明信息,以及更改证据类型(“直接证据”或“间接证据”);
选择文档:可以从当前项目的配置库中,选择某个文档的某个版本(如在某条基线下),作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择。
上传附件:除当前项目的配置库以外,该系统也支持用户从本地上传附件至系统中,作为审查项的举证证据。
删除证据:用户可以通过该功能删除所有自动或手动添加的举证证据。
符合性举证离线包生成单元用以自动生成离线包,方便用户在该系统外查看符合性举证表(还可以在该系统内查看审查项的举证证据)。自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝。
离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹。电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
本发明还揭示一种符合性举证方法,所述方法包括:
【步骤S1】审查举证设置步骤。
在该系统的系统层配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系;所述系统层在任何具体软件项目之外;审查举证设置步骤包括:审查标准设置步骤、数据关联步骤。
审查标准设置步骤中,供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项。
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义。
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目。
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项。
数据关联步骤中,在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据。
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关。
【步骤S2】符合性举证表生成步骤。
生成符合性举证表,包括符合性举证表新增步骤、符合性举证表编辑步骤、符合性举证离线包生成步骤。
符合性举证表新增步骤中,在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线。
符合性举证表编辑步骤中,利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据。
符合性举证离线包生成步骤中,自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
综上所述,本发明提出的符合性举证系统及方法,可提高效率,减少工作量,确保结果的准确性。
本发明能自动生成符合性举证表,一劳永逸。只需配置一次审查标准,关联软件等级、审查项和审查数据后,就可以针对不同项目自动生成符合性举证表,减少了大量工作,并且保证了生成结果的确定性。
生成工具与配置库结合;生成符合性举证表时可以获取所有项目文档数据的基线和版本信息,该系统可根据用户要求,自动选择正确版本的文档作为举证证据,保证了生成结果的正确性和一致性。
本发明可方便地随时生成;自动生成结果的方式允许用户在项目过程中不耗费额外资源,就能多次获取符合性举证表,为质量保证或审定联络在软件生命周期的各个阶段提供实时的监控数据,便于在项目早期发现和解决问题,降低项目成本。
这里本发明的描述和应用是说明性的,并非想将本发明的范围限制在上述实施例中。这里所披露的实施例的变形和改变是可能的,对于那些本领域的普通技术人员来说实施例的替换和等效的各种部件是公知的。本领域技术人员应该清楚的是,在不脱离本发明的精神或本质特征的情况下,本发明可以以其它形式、结构、布置、比例,以及用其它组件、材料和部件来实现。在不脱离本发明范围和精神的情况下,可以对这里所披露的实施例进行其它变形和改变。

Claims (10)

1.一种符合性举证系统,其特征在于,所述系统包括:审查举证设置模块、符合性举证表生成模块;
所述审查举证设置模块用以在该系统的系统层配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系;所述系统层在任何具体软件项目之外;审查举证设置模块包括:审查标准设置单元、数据关联单元;
审查标准设置单元用以供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项;
数据关联单元用以在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关;
所述符合性举证表生成模块用以生成符合性举证表,包括符合性举证表新增单元、符合性举证表编辑单元、符合性举证离线包生成单元;
符合性举证表新增单元用以在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线;
符合性举证表编辑单元用以利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据;
符合性举证离线包生成单元用以自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
2.一种符合性举证系统,其特征在于,所述系统包括:审查举证设置模块、符合性举证表生成模块;
所述审查举证设置模块用以配置审查标准,包括定义软件等级、审查项和审查数据以及相互之间的映射关系;审查举证设置模块包括:审查标准设置单元、数据关联单元;审查标准设置单元用以供用户建立和维护多套软件审查标准,数据关联单元用以在设置完一个软件审查标准之后,将这标准的相关项关联起来;
所述符合性举证表生成模块用以为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表。
3.根据权利要求2所述的符合性举证系统,其特征在于:
所述审查标准设置单元设置的审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项。
4.根据权利要求2所述的符合性举证系统,其特征在于:
所述数据关联单元用以在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项,在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关。
5.根据权利要求2所述的符合性举证系统,其特征在于:
所述符合性举证表生成模块包括符合性举证表新增单元、符合性举证表编辑单元、符合性举证离线包生成单元。
6.根据权利要求5所述的符合性举证系统,其特征在于:
符合性举证表新增单元用以在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线。
7.根据权利要求5所述的符合性举证系统,其特征在于:
符合性举证表编辑单元用以利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据。
8.根据权利要求5所述的符合性举证系统,其特征在于:
符合性举证离线包生成单元用以自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
9.一种符合性举证方法,其特征在于,所述方法包括:
步骤S1、审查举证设置步骤;
在该系统的系统层配置审查标准,包括定义软件等级、审查项和审查数据以及它们三者之间的映射关系;所述系统层在任何具体软件项目之外;审查举证设置步骤包括:审查标准设置步骤、数据关联步骤;
审查标准设置步骤中,供用户建立和维护多套软件审查标准,审查标准的内容分别包括软件等级、审查数据和审查项;
设置软件等级:一个软件审查标准为不同的审查级别或审查严格程度定义多个软件等级,此处的软件等级定义只是单纯的划分等级,需要在与审查项关联之后才具有实际意义;
设置审查数据:为每个软件审查标准定义审查数据,内容包括:名称、编号和文档模板编号,其中文档模板编号用于将该审查数据与具体软件项目的某个文档建立映射关系,使得该系统在为具体软件项目生成符合性举证表时能够自动获取相应的举证证据;不同项目的同类文档数据可以使用相同或不同的文档模板编号;如果一个审查数据在多个不同项目中对应的文档模板编号不同,需将所有相关的编号都添加至该审查数据的文档模板编号栏;这样,只需简单维护数据项的关联文档模板编号,就能令一套审查标准设置能够应用于多个软件项目;
设置审查项:为每个软件审查标准定义审查项,并为每个审查项指定适用的软件等级;这样,每个软件等级都分别对应着一套审查项;
数据关联步骤中,在设置完一个软件审查标准的软件等级、审查项和审查数据之后,将这三者关联起来形成一个关联矩阵,即,定义一个审查项在一个软件等级下,对应哪些审查数据;定义的主体是审查项:在选定某个审查项后,该系统以表格形式列出当前软件审查标准内已定义的所有软件等级和审查数据:表格的列表示软件等级,表格的行表示审查数据;
每个审查数据针对不同的软件等级设置三种选项“直接证据”、“间接证据”和“不适用”;如果设为“直接证据”或“间接证据”,则在生成符合性举证表时,该行的审查数据所对应的具体软件项目文档会被视为该列的软件等级下,当前审查项的举证证据;若设为“不适用”,代表该行的审查数据在该列的软件等级下,与当前的审查项无关;
步骤S2、符合性举证表生成步骤;
生成符合性举证表,包括符合性举证表新增步骤、符合性举证表编辑步骤、符合性举证离线包生成步骤;
符合性举证表新增步骤中,在完成审查标准的设置后,能利用该系统在软件项目中生成符合性举证表;符合性举证表列举了某个审查标准和软件等级下所有必须符合的审查项,以及用于证明这些审查项被满足的举证证据;新增一个符合性举证表需指定三项属性,包括:“软件审查标准”、“软件等级”和“基线”;前两项指定了该符合性举证表针对哪套软件审查标准中的哪个软件等级;而“基线”属性则定义了举证证据采用哪个基线下的版本;该系统自动生成符合性举证表的方式为:首先根据指定的“软件审查标准”,与“审查举证设置模块”中已定义的审查标准匹配;然后根据指定的“软件等级”获取该审查标准的审查项和审查数据信息的关联矩阵;关联矩阵中每一个审查项都直接作为符合性举证表的数据项,而其对应的举证证据则由该系统根据审查数据文档模板编号,从具体项目的数据库中自动获取对应基线的实际文档;若未指定基线,或虽指定了基线,但某些文档未被纳入该基线,则该系统自动获取文档的最新版本作为举证证据;该系统能够同时维护多套符合性举证表,对应不同的审查标准、软件等级和基线;
符合性举证表编辑步骤中,利用该系统自动生成符合性举证表之后,供用户根据需要手动添加、修改或删除举证证据;
编辑证据:编辑每条审查项下的举证证据的说明信息,以及更改证据类型,包括“直接证据”或“间接证据”;
选择文档:从当前项目的配置库中,选择某个文档的某个版本,作为审查项的举证证据添加入符合性举证表;该系统使用树形结构展示所有配置库下当前项目的文档数据及版本信息供用户选择;
上传附件:除当前项目的配置库以外,支持用户从本地上传附件至系统中,作为审查项的举证证据;
删除证据:用户通过该功能删除所有自动或手动添加的举证证据;
符合性举证离线包生成步骤中,自动生成离线包,方便用户在该系统外查看符合性举证表;自动生成的方法是根据已有的符合性举证表,从具体项目的数据库中获取所有矩阵证据的文档拷贝;离线包的内容包括了一份电子表格文件,以及包含所有作为举证证据的文档的文件夹;电子表格中说明了软件项目的名称和相关信息、符合性举证的审查标准和软件等级,并列出了所有审查项以及每条审查项对应的文档,每个文档以超链接形式指向离线包文件夹内的文档地址,因此,离线用户在查看电子表格时,只需点击相关证据的超链接就可以直接打开查看文档。
10.一种符合性举证方法,其特征在于,所述方法包括:审查举证设置步骤、符合性举证表生成步骤;
审查举证设置步骤中,配置审查标准,包括定义软件等级、审查项和审查数据以及相互之间的映射关系;审查举证设置模块包括:审查标准设置单元、数据关联单元;审查标准设置单元用以供用户建立和维护多套软件审查标准,数据关联单元用以在设置完一个软件审查标准之后,将这标准的相关项关联起来;
符合性举证表生成步骤中,为各软件项目针对不同审查标准和软件等级生成对应的符合性举证表。
CN201510181249.1A 2015-04-16 2015-04-16 符合性举证系统及方法 Active CN106155665B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201510181249.1A CN106155665B (zh) 2015-04-16 2015-04-16 符合性举证系统及方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510181249.1A CN106155665B (zh) 2015-04-16 2015-04-16 符合性举证系统及方法

Publications (2)

Publication Number Publication Date
CN106155665A true CN106155665A (zh) 2016-11-23
CN106155665B CN106155665B (zh) 2019-12-31

Family

ID=58058978

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510181249.1A Active CN106155665B (zh) 2015-04-16 2015-04-16 符合性举证系统及方法

Country Status (1)

Country Link
CN (1) CN106155665B (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106934520A (zh) * 2017-01-18 2017-07-07 上海爱韦讯信息技术有限公司 基于fog数据的控制类别自动化审查装置及方法
CN106934589A (zh) * 2017-01-18 2017-07-07 上海爱韦讯信息技术有限公司 一种审查结果自动化处理装置及方法
CN110189098A (zh) * 2019-05-13 2019-08-30 北京机电工程总体设计部 一种在线评审方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101923464A (zh) * 2010-05-19 2010-12-22 上海爱韦讯信息技术有限公司 Do-178b标准文档生成器
CN103383722A (zh) * 2013-05-30 2013-11-06 北京航空航天大学 一种结合产品和过程的软件安全性举证开发方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101923464A (zh) * 2010-05-19 2010-12-22 上海爱韦讯信息技术有限公司 Do-178b标准文档生成器
CN103383722A (zh) * 2013-05-30 2013-11-06 北京航空航天大学 一种结合产品和过程的软件安全性举证开发方法

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
沈小明,王云明: "《机载软件研究流程最佳实践》", 31 December 2013 *
蔡喁著: "《机载软件适航标准DO-1788\C研究》", 30 October 2013 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106934520A (zh) * 2017-01-18 2017-07-07 上海爱韦讯信息技术有限公司 基于fog数据的控制类别自动化审查装置及方法
CN106934589A (zh) * 2017-01-18 2017-07-07 上海爱韦讯信息技术有限公司 一种审查结果自动化处理装置及方法
CN110189098A (zh) * 2019-05-13 2019-08-30 北京机电工程总体设计部 一种在线评审方法

Also Published As

Publication number Publication date
CN106155665B (zh) 2019-12-31

Similar Documents

Publication Publication Date Title
Rubin et al. Process mining framework for software processes
CN104598376B (zh) 一种数据驱动的分层自动化测试系统和方法
US8812447B1 (en) Computer implemented system for accelerating electronic file migration from multiple sources to multiple destinations
CN103995781B (zh) 一种基于模型的构件测试用例生成方法
CN104407971A (zh) 自动化测试嵌入式软件的方法
EP3001869A1 (en) Method and tool for engineering software architectures with its various software artifacts of complex cyber-physical systems of different technical domains
Vale et al. Bad smells in software product lines: A systematic review
CN104699613B (zh) 一种航天器测试需求自动生成系统及其方法
CN102122247A (zh) 一种自动生成代码的系统及方法
CN106055528A (zh) 文书自动生成方法及装置
CN103955429B (zh) 确定回归测试范围的方法及装置
CN106407112A (zh) 基于Selenium和TestNG的自动化测试方法
Benghi Automated verification for collaborative workflows in a Digital Plan of Work
CN106155665A (zh) 符合性举证系统及方法
Asuncion et al. Automated techniques for capturing custom traceability links across heterogeneous artifacts
CN103069382A (zh) 在面向服务的架构储存库之间的迁移工件
US8239362B1 (en) Using metadata fragments as authoritative manufacturing work instructions
JP2013003715A (ja) トレース情報管理装置、管理方法およびプログラム
Zhong et al. DOMICO: Checking conformance between domain models and implementations
Dittrich et al. Network analysis of software repositories: identifying subject matter experts
Dunsire Collecting metadata from institutional repositories
Wen et al. “Integrare”, a collaborative environment for behavior-oriented design
Nikolaidis et al. Experience with managing technical debt in scientific software development using the exa2pro framework
Luo et al. Clustering and tailoring user session data for testing web applications
CN106033338A (zh) 基于fog数据的源代码导入及解析的方法和装置

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
CB02 Change of applicant information
CB02 Change of applicant information

Address after: 201203. Y1, room 112, No. 806, Sau Sau Road, Zhangjiang hi tech park, Shanghai, Pudong New Area

Applicant after: Shanghai love information technology Limited by Share Ltd

Address before: 201203. Y1, room 112, No. 806, Sau Sau Road, Zhangjiang hi tech park, Shanghai, Pudong New Area

Applicant before: Shanghai Aviation Information Technology Co., Ltd.

GR01 Patent grant
GR01 Patent grant