期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于模型检验技术的源程序分析研究 被引量:2
1
作者 叶俊民 张振方 +1 位作者 王敬华 李蓉 《微电子学与计算机》 CSCD 北大核心 2009年第8期166-170,共5页
提出并实现了一种基于模型检验的源程序分析方法.该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析.实验验证表明,该方法能够给实现对源... 提出并实现了一种基于模型检验的源程序分析方法.该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析.实验验证表明,该方法能够给实现对源程序分析的目标. 展开更多
关键词 模型检验 源程序分析 软件故障
下载PDF
一种基于分层切片模型思想的源程序信息分析方案 被引量:3
2
作者 朱平 谭毅 +1 位作者 李必信 郑国梁 《计算机工程》 CAS CSCD 北大核心 2001年第12期32-34,共3页
作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模... 作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。 展开更多
关键词 程序切片 分层切片模型 源程序信息分析 软件理解 软件工程
下载PDF
源程序间调用关系的分析软件
3
作者 于承良 《电脑编程技巧与维护》 2013年第20期24-26,共3页
从设计与实现的角度阐述了一种用Visual FoxPro语言开发出的工具软件,该软件可被用于分析若干个源程序间的调用关系。
关键词 VISUAL FOXPRO语言 源程序分析 调用关系 软件维护
下载PDF
The Application of Pareto's 80/20 Rule to Law: A Quantitative Analysis Based upon Trials Involving a Plea of Guilty
4
作者 Li Bensen 《Social Sciences in China》 2013年第4期100-117,共18页
In the field of law, particularly in the area of legal proceedings and other types of dispute settlement, judicial organs can achieve the best allocation of judicial resources by summary handling of the simple cases, ... In the field of law, particularly in the area of legal proceedings and other types of dispute settlement, judicial organs can achieve the best allocation of judicial resources by summary handling of the simple cases, which are in the majority, and optimizing the complex ones, which are in the minority. Summary handling of the simple majority means reducing the marginal cost of judicial activities in accord with the principle of simplifying procedures but not rights while improving judicial effectiveness and promoting judicial justice in a way predicated on protecting the fundamental rights of legal actors. According to quantitative analysis based on trials in which the defendant entered a plea of guilty, there is still plenty of room to optimize the resource allocation mechanism in the field of criminal justice. Implementing the summary procedure confirmed in the 2012 Criminal Procedure Law requires that the judicial organs guarantee defendants who have pleaded guilty the right to a lawyer. It also requires the improvement of judicial efficiency at the stages of investigation, bringing a case, and trial. Only by doing so can we scientifically allocate criminal justice resources overall and effectively promote judicial justice. 展开更多
关键词 Pareto's 80/20 rule cases in which the defendant pleads guilty summary procedure allocation of judicial resources quantitative analysis
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部