软件执行路径的高层次可视化表示

来源 :计算机学报 | 被引量 : 0次 | 上传用户:szh_ty
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件的主要特征信息,如功能性信息,常常隐藏在它的结构里面,仅仅分析软件系统的结构不足以揭示它们,只能在对软件的各条执行路径的确认过程中获得,对软件执地路长的分析是软件理解过程是一个必可少的辅助手段,程序执行路径(ExecutionPaht,EP)概念和它在程序测试,排障(纠错)和理解等方面的用途是大家所知晓的并已有记录,本文给出了一种系统性的方法,可根据从程序设计语言的说明规程产生的结构模型,自动
其他文献
目的:观察脉平片联合阿托伐他汀治疗不稳定型心绞痛的疗效.方法:96例不稳定型心绞痛患者,随机分对照组和治疗组,每组各48例.对照组给予硝酸甘油、β受体阻滞剂、钙通道阻滞剂、
本文将作者提出的高效的命题模态D逻辑的标记模态归结方法推广到了命题模态逻辑K,K4,D4,T,S4系统,建立了上述命题模态逻辑的标记归结形式系统MRK,MRK4,MRD4,MRT,MRS4,并用转移子句模式的方法,借助于标记模态归结对命
提出了一种新的基于主动视觉系统的线性摄像机自定标方法。所谓基于主动视觉系统,是指摄像机固定在摄像机平台上以平摄像机平台的运动可以精确控制。该方法的主要特点是可以线
2005年1月10日,某户2头冀白杂交母猪分别产仔猪9头和11头,所产仔猪生长发育正常.到仔猪21日龄注射猪瘟活疫苗.畜主自己购买的"猪瘟活疫苗"为40头份/支,用40mL生理盐水稀释,每
针对应用自动单模变换的两大困难,如何自动 使多重不并行化的恰当的单模变换矩阵以及如何解决防碍模国计算的非常数归约相关距离,提出了如何对给定常数距离矩阵,自动找出使循环
1腹水综合症①用2%“肾肿灵”饮水5—6天,隔周1次,可有效降低发病率和死亡率。②腹水严重的病鸡选腹部最低点用穿刺放水法排除积液,一次排放量不宜过大,以防虚脱,同时使用抗生素类
平面曲线在拓扑变换作用下的形状差异可以非常巨大,该文提出曲线的拓扑变形的准不变量概念,并给出获取这种不变量的方法。主要想法是寻找新坐标,使得对于给定的拓扑变换,把原坐标