程序路径相关论文
在北京大望路地铁站的墙壁上,一幅幅照片吸引着来往路人的目光。照片上,是乡村学校里孩子们专注阅读的神情以及他们在作文本上留下的......
测试数据生成是软件测试过程中最重要的一环。如何在有限的时间及资源条件下生成尽可能有效的测试数据是一个具有重要理论意义和应......
随着当今信息化程度的加强,软件的规模也越来越大。但是软件的质量问题一直都是人们关注的焦点问题。而随着对软件测试的投入越来......
传统的Concolic测试从被测程序的自身出发,遍历程序的所有执行路径,然而随着程序代码规模的增大,程序中的路径数量会呈指数级增长,......
司法公信力是社会公众对于司法公正性、权威性的评价以及对于司法的总体信服度,是司法机关根据自身对法律和事实的信用所获得的社......
要把静态分析技术真正应用于软件工程的实践中,程序中的不可到达路径依旧是一个巨大的障碍。在缺乏不可到达路径信息的情况下,数据......
为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于......
程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年。近年来,它也引起形式方法和软件工程领域的重视,被用于......
...
DLL木马很狡猾,它是直接嵌入到正常的可连接网络的程序中.比如IE浏览器,通过这些程序向外界发起连接,从而让他人远程控制我们的电脑......
在Vista中执行程序时,常常会出错终止,并提示程序不兼容,这是由于Vista进行了用户及程序权限的严格控制,提供了一个数据执行保护功......
今年,AMD苦心经营的64位处理器终于看到希望,Windows XP x64发布,Intel也开始跟进64位计算,相关主板、处理器的价格也不再高不可攀,越来......
在迅雷中尽管可以下载到多种海量的各类资源,但如果下载的文件中“夹带”有病毒或木马程序,那么可能给我们带来的麻烦也是可想而知的......
首先用鼠标右键单击CS的快捷方式图标,在右键菜单中选择属性,在“目标”项中的程序路径后添加“-consoIe”(例如:F:\counter\hl.exe -......
从Windows XP开始,Windows操作系统就自带了一个叫做“Windows防火墙”的网络防火墙,不过很多人都不怎么爱用,因为它最大的不足在......
手工编制数控车削程序时,一个很重要的方面就是正确使用刀具半径补偿功能。当车刀刀尖具有刀刃圆弧时,如果不考虑刀具半径补偿功能,在......
通常,我们都是通过点击程序的快捷方式或者从“开始→程序”中运行应用程序,这种方法虽然常用,但并不高效,因此,一些有经验的用户直接在......
<正>从安全性和经济两个方面分析了起飞一发失效应急程序的重要性,结合国内外一发失效应急程序的设计规范、运行要求和航空公司运......