计算机程序设计员国家职业资格三级操作技能考核试卷:使用基本路径测试方法，为下列程序段设计测试用例。
（1）本题分值：30分（2）考核时间：54min（3）考核形式：笔试（4）具体考核要求：使用基本路径测试方法，为下列程序段设计测试用例。
voiddo(intX,intA,intB){if((A＞1)&&(B=0))X=X/A;if((A=2)||(X＞1))X=X+1;}a) 画出程序的控制流图。
b) 计算程序的环形复杂度（导出程序基本路径集中的独立路径条数这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界）。
c) 导出基本路径集，确定程序的独立路径。
d) 根据c)中的独立路径，设计测试用例的输入数据和预期输出。

IKOSIKOS（开放静态分析器的推理内核）是基于抽象解释理论的C/C++静态分析器。
引见IKOS最初是一个C++库，旨在促进基于的声音静态分析器的开发。
对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。
开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。
IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C++静态分析器。
它实现了可伸缩的分析，以检测和证明C和C++程序中没有运行时错误。
执照IKOS已根据NASA开源协议1.3版发布，请参阅接触发行说明见故障排除请参阅安装依存关系要构建和运行分析器，您将需要以下依赖项：支持C++14的C++编译器（gcc＞=4.9.2

在java工程中应用soot-jar包，生成java程序的dot文件，再应用graphviz画出java程序的控制流图。

软件测试实验报告题目一：用逻辑覆盖测试方法测试以下程序段voidDoWork(intx,inty,intz){1intk=0,j=0;2if((x＞3)&&(z5))8j=x*y+10;9j=j%3;10}说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图（用题中给出的语句编号表示）。
（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。
题目二、折半查找请按要求对下面的java代码进行测试。
代码的功能是：用折半查找法在元素呈升序陈列的数组中查找值为key的元素。
publicintbinSearch(intarray[],intkey){intmid,low,high;low=0;high=array.length-1;while(low＜=high){mid=(lowhigh)/2;if(key==array[mid])returnmid;elseif(key＜array[mid])high=mid-1;elselow=mid1}return-1;}（1）试计算此程序段的McCabe复杂性；
（2）用基本路径覆盖法给出测试路径；
（3）为各测试路径设计测试用例。

（含源码及报告）本程序分析了自2016年到2021年（外加）每年我国原油加工的产量，并且分析了2020年全国各地区原油加工量等，含饼状图，柱状图，折线图，数据在地图上显示。
运转本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运转。
文件含6个excel表，若干个csv文件以及一个名字为render的html文件（需要用浏览器打开），直观的数据处理部分是图片以及html文件，可在地图中显示，数据处理的是excel文件。
不懂可以扫文件中二维码在QQ里面问。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。