-
题名基于执行序列的程序时间复杂度分析
- 1
-
-
作者
高春风
赵建军
-
机构
上海交通大学软件学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第8期2716-2720,共5页
-
文摘
为了达到更准确、更高效的程序时间复杂度,解决复杂度分析中的循环下的复杂情况,如多个跳出点、嵌套循环和非数值域循环等,提出了基于执行序列计算复杂度的方法。提取出程序方法的各条可能的执行序列及其各条执行序列的相关约束条件和执行效应,在此基础上分析出序列间的关系从而计算出最终的时间复杂度。基于这种方法开发出的工具,通过几个大型的实际程序,发现这种方法可以有效地计算出其中大于90%的方法的运行复杂度。
-
关键词
程序分析
静态分析
复杂度分析
循环复杂度
执行序列
-
Keywords
software analysis
static analysis
complexity analysis
loop bound
execution trace
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名软件质量评估方法探讨
被引量:2
- 2
-
-
作者
吴福全
苏小桅
-
机构
西南电子设备研究所
成都广播电视大学
-
出处
《成都大学学报(自然科学版)》
2008年第1期48-51,共4页
-
文摘
介绍了对软件质量进行客观评估的一种量化分析方法,为软件的质量控制提供了理论依据和工程化的可行手段,并用McCabe测试工具对一个实例做了详尽分析.
-
关键词
软件度量
循环复杂度
基本复杂度
设计复杂度
-
Keywords
software metrics
cyclomatic complexity
essential complexity
design complexity
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-