指针在C程序中应用广泛,指针引用错误多发且危害严重。
目前代表性的检测工具由于使用方便性、检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求。
本文提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测。
在开放源码编译器Open64中实现了其原型系统Propagator。
以空指针引用错误检测为实例研究,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例,与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12秒,误报率平均仅为13%,远低于对比工具,没有发现漏报已知错误。
上述结果表明,Propagator既提高了检测精度又保证了可伸缩性,具有很好的实用前景。
1
超市进销存管理系统,功能包括商品进货、销售等订单添加、统计、管理。
2023/7/14 15:54:02 2.03MB 超市进销存 用例图
1
基于javaweb项目的软件测试期末课程设计包含:测试项目简介、测试需求说明书、测试需求评审、测试计划、测试方案、功能测试用例、性能测试用例、安全测试用例、自动化测试用例、测试报告、缺陷报告、测试总结、测试脚本等。
2023/7/14 6:01:03 11.96MB 软件测试
1
工具:MyEclipse6.5以上版本,包含MyEclipse6.5数据库mysqlweb服务器:tomcat-Apache5.0以上版本视频网站的概要文档1.项目描述:2.项目的用户:(包含用户的用例图)3.对用户的功能进行说明:4.具体的模块划分用户模块:视频模块:评论模块:日志模块:5.总结系统用例图6.表的说明7.开发时工程的包(package)的说明
2023/7/14 0:22:06 9.24MB 视频网站
1
React日历受启发的日历组件。
$npminstallreact-calendar-component注意:npm名称是react-calendar-component!这是用于使用React渲染每月日历的低级组件。
该组件将调用您提供的renderDay和renderHeader函数,以为给定Date的月份创建日历。
两者都提供了非常基本的默认实现,但是可以覆盖它们以适合您的用例。
本说明如何创建常规网格日历。
现场演示用法importReact,{Component}from'react';import{render}from'react-dom';import{Calendar}from'react-calendar-component';importmomentfrom'moment';import'
2023/7/13 21:28:19 171KB react calendar datepicker JavaScript
1
我个人的log4cplus-1.2.2的编译与测试使用,Win7+VS2013环境。
里面包含了编译出来的32位/64位的动态/静态库和测试用例。
2023/7/13 12:42:16 25.92MB log4cp VS2013
1
网上购物系统UML用例图领域模型交互图等网上购物系统UML用例图领域模型交互图等网上购物系统UML用例图领域模型交互图等
2023/7/11 13:11:57 7.5MB 网上购物系统 UML 用例图 领域模型
1
物流信息管理系统测试用例,文档简单的,希望能有帮助
2023/7/9 14:13:31 48KB 物流信息管理
1
宾馆管理信息系统需求规格说明书1. 引言1.1编写的目的编写本需求说明的目的是为了就本系统将实现功能和为客户提供的服务上与客户达成一致。
回答系统做什么和不做什么,定义系统的范围;
回答什么对于客户来讲是重要的,以便于更好的满足客户的要求。
明确所要开发的软件应具有的功能、性能与界面,同时在开发中便于系统分析员、用户、开发设计人员之间的沟通。
1.2项目背景项目委托单位:开发单位:主管部门:宾馆业是一个前景广阔而又竞争激烈的行业。
近年来,我国的宾馆业迅速发展,已经成为一个具有相当规模的产业。
同时由于我国的旅游业迅速发展,宾馆业也得到了长足的发展,但是我国宾馆行业中占多数的毕竟是中小型宾馆,由于这些宾馆的资金和人力等方面的因素,不可能像那些大型星级酒店那样设计开发适合针对自己的酒店管理系统,而他们也迫切需要酒店的工作质量和效率提高,为此实现一个适合中小宾馆,宾馆的管理的自动化已经成为一种必然。
1.3定义HMIS:HotelManagementInformationSystem,宾馆管理信息系统1.4参考资料[1]陈明.软件工程实用教程.北京:电子工业出版社,2006年1月.[2]张海潘.软件工程导论.人民邮电出版社,2006年1月.2. 任务概述2.1目标“宾馆管理信息系统”的总目标是为用户提供迅速、高校的服务,减免手工处理的繁琐与误差,及时、准确地反映宾馆的工作情况、经营情况,从而提高宾馆的服务质量,获得更好的经济效益;实现客房管理的规范化、自动化。
(1) 有效的预定处理(2) 实时、快速、准确提供客房动态(3) 系统运行稳定可靠、各处维护功能齐全、易于维护(4) 简单、友好的操作界面2.2运行环境Intel486以上系列、AMDK6以上系列等PC台式和便捷式计算机软件平台:中文Windowsxp3. 数据描述3.1静态数据宾馆管理信息系统的静态数据包括以下内容:系统管理员:口令,姓名。
顾客:宾客账户,宾客姓名,宾客ID,宾客性别,宾客电话,离开时间,到达时间,宾客身份证号客房:客房ID,客房类型,客房位置,客房状态职工:姓名,年龄,性别,部门,职位,电话账单:账单号,房间押金,客房ID,房间租金,账单状态,账单备注,账单花销3.2数据的ER图
2023/7/8 8:57:05 86KB 软件工程 需求分析
1
c++变量引用学习用例,介绍了变量引用的使用方法。
2023/7/3 23:32:17 291B 变量引用
1
共 541 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡