-
题名基于面向多种覆盖率驱动的验证方法研究
被引量：1
- 1
-
-
作者
董伟杰
张晓静
-
机构
重庆邮电大学
包头市铁路工程学校
-
出处
《中国测试技术》
CAS
2008年第5期54-56,共3页
-
基金
国家"863"计划资助项目(2004AA123150)
国家"863"技术引导项目(2004AA001390)
-
文摘
验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析。然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求。覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据。
-
关键词
验证方法
覆盖率驱动
功能覆盖率
结构覆盖率
断言覆盖率
-
Keywords
Verification method
Coverage-driven
Functional coverage
Structural coverage
Assertion coverage
-
分类号
TN929.533
[电子电信—通信与信息系统]
TP206.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于设计特性覆盖的测试性定量分析方法
被引量：7
- 2
-
-
作者
石君友
王璐
李海伟
王风武
-
机构
北京航空航天大学可靠性与系统工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第2期418-423,共6页
-
文摘
针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试模型,系统结构、功能、性能及测试关联模型,性能覆盖率、功能覆盖率、结构覆盖率的定量计算模型。建立了基于设计特性覆盖的测试性定量分析流程,主要包括系统基本信息建立、信息间直接关联关系生成,测试覆盖率定量计算及测试未覆盖项分析。以某飞机舵机系统为例进行了应用,结果验证了方法的可行性和有效性。
-
关键词
测试性
性能覆盖率
功能覆盖率
结构覆盖率
测试性分析
-
Keywords
testability
performance coverage rate
function coverage rate
unit coverage rate
testability analysis
-
分类号
TN06
[电子电信—物理电子学]
-
-
题名蛋白质二级结构的条件隐Markov性及其预测问题
被引量：4
- 3
-
-
作者
沈世镒
阮吉寿
-
机构
南开大学数学科学学院与LPMC
-
出处
《工程数学学报》
CSCD
北大核心
2003年第3期117-124,共8页
-
基金
国家自然科学基金(10271061)
天南大联合研究项目
刘徽应用数学研究中心.
-
文摘
蛋白质二级结构预测问题自1957年首次被提出迄今已有40多年了,从知道的文献中可以得出如下信息:在统计意义之下,蛋白质序列中氨基酸之间的相互作用较弱,所以,统计方法中所依赖的独立性假设虽然不是从物理背景中得来的,但的确有其合理性和方便之处;交互信息准则优于均方误差准则;信息和统计的思想和方法在预测二级结构中不可低估;加入蛋白质的一级结构之外的信息可帮助提高二级结构预测的精度;而直接从一级结构出发无附加信息的情况下预测二级结构,现存在的预测方法的预测精度仍然无较大突破;预测精度和所使用的蛋白质样本序列在总体样本中的覆盖率,是评估各种预测方法的有效性的两个重要指标。本文作者建立了一个集蛋白质一、二级结构为一体联合结构模型,并将上述信息囊括在其中。由该模型首先得到蛋白质一、二级结构的信息与统计特性,然后利用这些特性分别对蛋白质一、二级结构中各种变量的信息传递关系及隐Markov性进行定量分析和确切地统计描述。最后给出直接从一级结构出发预测二级结构的几个原则。
-
关键词
蛋白质一、二级结构的联合结构模型
三肽链
二级结构预测精度和覆盖率
隐Markov性
-
Keywords
joined model of primary and secondary structure
triple-residue
prediction accuracy
hidden markovity
-
分类号
O236
[理学—运筹学与控制论]
-
-
题名应用MC/DC准则时需考虑的问题及其改进方法
被引量：7
- 4
-
-
作者
陈鑫
杨平
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
2004年第3期406-410,共5页
-
文摘
MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。
-
关键词
MC/DC准则
软件结构覆盖率
复杂逻辑语句
应用过程改进
Masking方法
逻辑式
软件测试
-
Keywords
MC/DC
structural coverage analysis
improved solutions
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于目标机的嵌入式软件单元测试
被引量：6
- 5
-
-
作者
胡丹
杜新华
-
机构
上海交通大学
-
出处
《电子测量技术》
2006年第2期33-35,共3页
-
文摘
嵌入式软件测试又称为host-target测试或Cross-Testing。嵌入式软件因具有实时和多任务处理,使得测试上有其自身的特点和难点。根据软件单元测试理论,介绍了一种基于目标机的嵌入式软件测试单元测试方法及步骤。
-
关键词
嵌入式软件
单元测试
黑盒测试
白盒测试
结构覆盖率测试
-
Keywords
embedded software, unit testing, black-box testing, white-box testing, coverage testing.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Tornado的嵌入式软件单元测试
被引量：5
- 6
-
-
作者
王泉
-
机构
中国航空西安软件测评中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第7期2683-2689,共7页
-
文摘
根据嵌入式软件特点,提出一种基于Tornado开发环境的嵌入式软件单元测试方法。该测试方法使用Testbed/Tbrun自动测试工具,借助Tbconfig辅助工具完成Tornado环境下的测试配置,保持测试环境和开发环境的一致性;使用黑/白盒结合的隔离单元测试技术提高测试用例设计质量,快速达到结构覆盖率要求;定制测试报告模板,使用TbrunRe-porter完成测试报告自动生成。该测试方法使测试工作的重心转移到测试用例的设计和执行上,减少代码移植和手动测试报告生成等冗余工作量,极大提高测试效率和测试规范性,已作为一种通用的嵌入式软件单元测试方法在所在测评机构加以推广使用。
-
关键词
TORNADO
嵌入式软件
单元测试
Testbed/Tbrun
结构覆盖率
-
Keywords
Tornado
embedded software
unit test
Testbed/Tbrun
structure coverage
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
