警告识别分析文献綜述
摘要: 静态分析工具在软件开发早期的阶段可以自动检测代码异常和缺陷,向用户发出警告信息传达通过静态分析检测到的运行时错误,如今自动静态分析工具如Findbug等也已经被广泛应用,其功能与效率受到很多人青睐,然而,这些工具报告的大量警报通常有相当一部分都属于误报或是无意义警报,还是需要较大的人工检查警报的成本,而只有那些需要程序员关注和进行修改的警告才是有效的警告,因此如何识别有效警告值得研究。本文研究了35篇相关论文,提取其中使用的方法,分为机器学习、警告排序、交互式、修剪/分类、启发式方法、动静态分析结合六类,我们分析其算法流程并分析其可取之处、缺陷以及意义,并据此设想未来研究方向以及应用实践。 最终我们发现不同方法都有其优势与劣势,实际应用中可以将其中不同方法结合,或是依据不同情境选择合适的方法,这样才能有更好的识别效果,同时结合的程度以及不同方法应该在何时使用则是值得研究与对比的部分。关键词: 静态分析; 有效警告识别; 机器学习; 启发式方法; 交互式; 修剪/分类 Static analysis tools can automatically detect code e ...
操作系統實驗-I/O处理
讀取鍵盤輸入
首先要初始化鍵盤,設定鍵盤中斷处理程序,開鍵盤中斷等
1234PUBLIC void init_keyboard(){ put_irq_handler(KEYBOARD_IRQ, keyboard_handler); enable_irq(KEYBOARD_IRQ);}
第一條設定中斷处理程序交由8259A芯片处理
12345PUBLIC void put_irq_handler(int irq, irq_handler handler){ disable_irq(irq); irq_table[irq] = handler;}
123456789101112131415161718192021222324252627282930disable_irq: mov ecx, [esp + 4] ; irq pushf cli mov ah, 1 rol ah, cl ; ah = (1 << (irq % 8)) cmp cl, 8 jae disable_8 ; disable irq >= 8 ...
PerkyPet項目-商業模式評估
一 基本信息1.1 度量数值总体评估:加分项7项,减分项5项,共12项。SWOT分析:客户界面的所有评分项都进行了打分,并详细地阐明了理由。引用的调研报告和新闻:23篇。更新过的商业模式画布中新增或修改过的模板要点占二阶段画布模板要点总数的17%左右。
1.2 文档简介本次报告,我们认真地对本项目的商业模式环境进行了分析,仔细的评估了我们的商业模式,从战略角度審视自身商业模式的运作环境,探討了商业模式环境、評估商业模式、藍海战略三个领域,实现了对我们的商业画布的更细致的分析与各项的评估,最终完成了对于商业画布的更新与完善。下面將逐一描述三种评估方式的解讀和更新过的商业模式。
二 商业模式环境2.1 市场影响力2.1.1 市場分类主要问题1:哪些是最重要的客户群体?解析:在商业模式畫布的客戶细分中,PerkyPet的客戶群体有宠物飼養者、專业兽医、资深博主、宠物店和宠物用品供应商,哪一部分是最重要的客戶群体?回答: 客戶群体总体可分为核心用户群和主流用户群,核心用户是最为忠诚,最不容易流失的用户,他们给產品的页献最大,产品也能比较好的满足他们的需求,他们会使用产品的大部分主要功能,同时 ...
利用Hexo和Vercel搭建博客
方法參考Fomalhaut文章:Hexo博客搭建教程(一)、Hexo博客搭建教程(二)使用的主题是butterfly官方文档
前言我們平時搭博客通常要麼買個服務器用wordpress搞一個,或者布署到github page上,前者需要億點點的錢(去華為雲看了下一個普通服務器一年要几百大洋,果斷放弃),後者只能放靜態頁面,可玩性和便捷程序就差了點。而vercel將會拯救我們,這是一個站點托官的平台,提供Production和Development环境,还支持持續集成,功能和速度比github page好,还支持部署serverless接口,可以部署動態網站,會自動幫你配置https,最重要的是,他還不收錢!簡直想立馬跪拜了好嗎!Hexo官方文檔:https://hexo.io/zh-cn/
環境與工具準備
操作系统:Windows11
Node
Git
Hexo
GitHub帳號
域名(可選)
開始!安裝Node.jsNode.js是一个基于Chrome V8引擎的JavaScript运行環境,可謂是把原本只能由浏覧器解析的js给抬起來了。下載地址:https://nodejs.o ...
PerkyPet項目-項目启動文檔
一.基本信息1.项目题目:PerkyPet——一站式宠物平台
2.度量数值:
总要点数:44
平均要点数:5二.项目介绍:PerkyPet聚焦于為一切有飼養寵物或了解寵物的想法的用戶提供服务,构建一个集资訊獲取、寵物咨詢、飼養体驗、寵物交易、线下服务、同城互助為一体的一站式服務平台,为用户提供优质的个性化服务。处于迷茫中的小白可以通过平台一鍵獲取对应寵物的手把手飼養教程,注意事项等信息;对寵物物种或品种猶豫不決的用戶可以通过平台的体驗工具先進行全方位的模擬飼養以充分了解对应寵物的特性,避免实际饲养时可能出现的种种问题;專业的內容博主與持職业资格證書的医師也可獲得一個分享知识、服务客户、创造收入的工作平台;各大寵物店可與本軟件达成合作以獲得宣傳,吸引客戶,同时本軟件也提供各种寵物用品的销售渠道以及完善的售后保障,在交易过程中通过交易全程监督等措施保证交易可靠及隐私安全,全力保障交易公平和透明,在运輸过程保證寵物健康舒适。同时,我们会尤其注意社区环境氛围引导、和公众一起共同建立和谐、健康、完善的互联网宠物社区环境。三.商业模式画布与要点介绍1. 客户细分
按照客户使用该软件平台的方式来 ...
庫存管理系統(ERP)-詳細設計文檔
1. 引言1.1 编制目的本文档在体系结构概要设计的基础上,对ERP系统进行详细设计说明,以便用户和项目开发人员了解产品的详细设计与实现,为开发人员提供开发参考书。本报告的预期读者为开发人员、总经理、项目经理、财务人员、销售人员、人力资源人员、库存管理人员等。
1.2 项目背景(1)项目名称:ERP(2)开发者:洪子贤、曾光、朱磊、孙思涵(3)用户:某著名开关品牌的南京地区总代理
2. 总体设计2.1 需求概述:功能需求:(1)账户管理:财务人员可以对客户的账户进行管理。(2)制定收款、付款、工资单:财务人员可以制定收款、付款、工资单并由总经理审核。(3)查看销售明细表、经营历程表、经营情况表:财务人员和总经理可以查看销售明细表、经营历程表和经营情况表。(4)员工管理:人力资源人员可以对员工进行新建、查看等操作。(5)员工打卡:员工可以在登录系统后进行打卡,人力资源人员可以查看打卡信息。(6)薪酬规则制定:人力资源人员可以制定薪酬规则。(7)促销策略制定:总经理可以制定促销策略。非功能需求:(1)数据需求:用户输入的信息需要及时更新到数据库并与数据库保持类型的一致(2)性能需求:用户名 ...
庫存管理系統(ERP)-體系结構文檔
1. 引言1.1 编制目的 本报告详细完成对企业资源计划系统的概要设计,达到指导详细设计和开发的目的,同时实现和测试人员及用户的沟通。本报告面向开发人员、测试人员及最终用户而编写,是了解系统的导航。
1.2 词汇表表1 词汇表
词汇名称
词汇含义
备注
ERP
企业资源计划系统
无
1.3 参考资料用例文档需求规格说明
2. 产品概述 一民营企业专业从事灯具开关行业,随着公司规模扩大,企业业务量、办公场所、员工数都发生增长,为适应新的环境,提高工作效率和用户满意度, 该公司需要该ERP系统辅助公司管理。该系统主要包括库存管理、销售管理、财务管理、人事管理和企业经营管理。
3. 逻辑视角 企业资源计划系统中,选择了分层体系结构风格,将系统分为3层(展示层、业务逻辑层、数据层)能够很好地示意整个高层抽象。展示层包含GUI页面的实现,业务逻辑层包含业务逻辑处理的实现,数据层负责数据的持久化和访问。分层体系结构的逻辑视角和逻辑设计方案如图1和图2所示。
图1 分层体系结构的逻辑视角图2 分层体系结构的逻辑设计方案
4. 组合视角4.1 开发包图 ...
C++概述
程序員是應該被相信的!與可能出現的錯誤相比,更重要的是能做甚麼好的事情
簡介C++是一種高級程序設計語言,它是由Bjarne Stroustrup在C語言的基礎上開發而成的。C++擁有豐富的數據類型和運算符,支持面向對象程序設計,提供了強大的抽象能力和擴展性。C++可以用于開發各種應用程序,包括桌面應用程序、遊戲、科學計算和物聯網等領域。C++ 是 C 的超集,很多的C中的库都被C++兼容了最簡單的c++程序:12345#include <iostream>int main(){ std::cout << "Hello, World!" << std::endl; return 0;}這段代碼的功能是:首先包含iostream標頭文件,然後定義main函數,並在函數中通過std::cout語句向標準輸出設備輸出”Hello, World!”字符串。最後通過return 0;語句退出函數并結束程序。
程序語句程序语句包含表达式语句、IO语句和控制流语句
條件結構
if-else
switch:break(e ...
庫存管理系統(ERP)-需求規格說明文档
1.引言1.1目的 超市的组织运營复雜又繁瑣,不僅涉及大量的操作和报表,还需要对人员、商品、客戶、单据的统一管理與持久存儲,人工管理十分困难,一旦出錯便会釀成嚴重的后果。因此,我们決定搭建一个ERP管理系统,為所有员工提供一个協助其工作的系统,為經理提供可以审批统一管理整个超市信息的工具。
本文档描述了企业集成式管理系统ERP中各模块的功能需求和非功能需求。开发小组的软件系统实现与验证工作都以此文档为依据。
除特殊说明之外,本文档所包含的需求都是高优先级需求。
1.2范圍 企业集成式管理系统ERP是为某灯具开关行业南京地区总代理开发的业务系统,开发的目标是帮助该代理商适应新的环境,提高工作效率和用户满意度,并处理日常的重点业务,其中业务包括库存管理、销售管理、财务管理、人事管理和企业经营管理。
ERP系统中的销售管理模块主要面向进货销售人员和总经理。通过销售管理模块,期望为该企业提高销售员工的工作效率、降低运营成本、增加销售额、为总经理的决策做支持。
1庫存管理模块面向庫员人员,负责对商品分类和商品的信息的管理。
财务管理模块对企业的 ...
庫存管理系統(ERP)-用例文檔
1.引言1.1目的 本文档描述了企业集成式管理系统ERP中销售管理模块的功能需求和非功能需求。
1.2参考文献 1. IEEE标准。
2. seec-helper [http://helper.seecoder.cn/](http://helper.seecoder.cn/)
3.《软件工程与计算(卷二) 软件开发的技术基础》 骆斌, 丁二玉, 刘钦 机械工业出版社
2.用例列表
参与者
用例
财务人员
1.账户管理
2.制定收款单
3.制定付款单
4.制定工资单
5.查看销售明细表
6.查看经营历程表
7.查看经营情况表
8.期初建账
人力资源管理人员
9.登记员工信息
10.设置岗位信息
11.打卡管理
12.薪酬规则制定
总经理
13.审批单据
14.制定促销策略
15.制定年终奖
5.查看销售明细表
6.查看经营历程表
7.查看经营情况表
3.详细用例描述用例1 账户管理
项目
账户管理
参与者
财务人员
触发条 ...