首页> 中文期刊> 《南京邮电大学学报：自然科学版》 >静态程序的合法性检查研究

静态程序的合法性检查研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求。

著录项

来源
《南京邮电大学学报：自然科学版》 |2003年第3期|86-90|共5页
作者
韩光法; 王汝传;
展开▼
作者单位

南京邮电学院计算机科学与技术系;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
静态程序; 软件测试; 合法性; 模块关系; 数据结构;

相似文献

中文文献
外文文献
专利

1. 人大监督权力程序化的宪政困局——游弋于程序合法性与实质合法性之间 [J] . 王勇 . 人大研究 . 2007,第007期
2. 基于多线程Java程序安全行为模型的静态检查对策探析 [J] . 刘烨 . 计算机光盘软件与应用 . 2013,第006期
3. 多线程Java程序安全行为模型的静态检查方法 [J] . 金英 ,李泽鹏 ,张晶 . 计算机学报 . 2009,第009期
4. 多组份多出口稀土串级萃取静态优化设计研究(Ⅱ)静态程序设计及动态仿真验证 [J] . 吴声 ,廖春生 ,贾江涛 . 中国稀土学报 . 2004,第2期
5. 对智能变电站全站配置SCD文件合法性检查的研究 [J] . 张浩 ,陈前臣 ,石旭刚 . 广东科技 . 2016,第006期
6. 关于《消防监督检查规定》临时查封措施合法性的探讨 [C] . 丛子生 . 2013消防科技与工程学术会议 . 2013
7. C/C++程序资源泄漏的静态检查研究 [A] . 马红刚 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号