【技术实现步骤摘要】
本专利技术涉及晶圆软件测试,特别是涉及一种用于基于需求提取的晶圆软件安全性测试方法。
技术介绍
1、晶圆软件安全性测试是保证晶圆软件质量的关键步骤,并且为晶圆软件安全性评估提供依据。安全性测试是当前国内外研究的热点之一,国外安全性研究起步较早,已形成成熟的晶圆软件安全性标准,如nasa的晶圆软件安全性标准和指南,美国航空无线电委员会(rtca)制定的机载系统和设备合格审定中的晶圆软件考虑do-178b等。然而这些标准对于安全性测试的描述都不够细致,在do-178b中提出了安全性测试要达到的覆盖目标;在nasa晶圆软件安全性手册中,明确提到晶圆软件故障注入是一种专门的安全性测试技术,此外,可使用程序切片工具提取影响到安全关键变量的所有语句,以发现错误或者其与非安全关键变量的意外交互,但也只是寥寥几笔。因此,根据国外的标准直接开展我国安全性测试工作不现实,需要对安全性测试方法加以研究。
2、目前,我国晶圆软件的安全性测试发展较为滞后。通常,安全性通用测试需求不明确,常规测试不以安全性为目标,在工程实践中,仅对边界和异常进行测试,
...【技术保护点】
1.一种基于需求提取的晶圆软件安全性测试方法,其特征在于:包括如下步骤:
2.根据权利要求1所述的晶圆软件安全性测试方法,其特征在于:根据待测晶圆软件预存的第一敏感信息,将所述模版晶圆软件的测试需求拆分为已标识的安全性测试需求和隐含的安全性测试需求,包括:
3.根据权利要求2所述的晶圆软件安全性测试方法,其特征在于:所述判断所述第一关联系数是否比第二关联系数高,若是,则将所述第一敏感信息对应的附加功能对应的模版晶圆软件的测试需求配置为已标识的安全性测试需求;若否,则将所述第一敏感信息对应的附加功能对应的模版晶圆软件的测试需求配置为隐含的安全性测
...【技术特征摘要】
1.一种基于需求提取的晶圆软件安全性测试方法,其特征在于:包括如下步骤:
2.根据权利要求1所述的晶圆软件安全性测试方法,其特征在于:根据待测晶圆软件预存的第一敏感信息,将所述模版晶圆软件的测试需求拆分为已标识的安全性测试需求和隐含的安全性测试需求,包括:
3.根据权利要求2所述的晶圆软件安全性测试方法,其特征在于:所述判断所述第一关联系数是否比第二关联系数高,若是,则将所述第一敏感信息对应的附加功能对应的模版晶圆软件的测试需求配置为已标识的安全性测试需求;若否,则将所述第一敏感信息对应的附加功能对应的模版晶圆软件的测试需求配置为隐含的安全性测试需求,包括:
4.根据权利要求1所述的晶圆软件安全性测试方法,其特征在于:所述搜索与待测晶圆软件的基本功能最匹配的预存的n个模版晶圆软件,包括:
5.根据权利要求4所述的晶圆软件安全性测试方法,其特征在于:所述将第...
【专利技术属性】
技术研发人员:谢贵久,张文斌,刘宇光,李远航,
申请(专利权)人:北京中电科电子装备有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。