软件构造Lab4中的3.4. Testing for Robustness and Correctness思考与实现:

博客介绍了Java代码的测试策略,采用等价类和边界值思想,针对实现CircularOrbit接口的三个类按Exception类型划分等价类并编写测试文件。还提及测试用例设计、运行结果与覆盖度报告,用SpotBugs工具发现错误并修改,强调RuntimeException与Exception处理应分开,否则有安全隐患。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

具体代码在:这里(求打星!!)
Testing strategy
使用等价类和边界值的测试思想。
在这里插入图片描述在这里插入图片描述

鉴于新增的情况主要出现在三个具体应用的实现CircularOrbit接口的类中,此处具体对这三个类的测试策略进行描述。
三个类中按3.1中定义的三种Exception的类型进行等价类划分,并对这些异常写了相应的三个.txt测试文件。通过读文件时捕获异常并对异常的类进行比对、对日志文件中记录的情况进行字符串比对等操作,确定原java文件是否正确。

测试用例设计
错误文档的构造:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述在这里插入图片描述

在这里插入图片描述在这里插入图片描述
在这里插入图片描述在这里插入图片描述在这里插入图片描述

@Test
	public void testWrongtxt()
	{
		CircularOrbit<CentralObject, PhysicalObject> cir = CircularOrbit.empty("Q3");
		try {
			cir.readfile("test AtomicStructureWrong.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		}
		cir = CircularOrbit.empty("Q3");
		try {
			cir.readfile("test AtomicStructureWrong2.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		}
		cir = CircularOrbit.empty("Q3");
		cir.islegal();
		try {
			cir.readfile("test AtomicStructureWrong3.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		}
	}
@Test
	public void testWrongtxt()
	{
		CircularOrbit< CentralObject, PhysicalObject> cir = CircularOrbit.empty("Q5");
		try {
			cir.readfile("test SocialNetworkCircleWrong.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
		try {
			cir.islegal();
		} catch (Exception e) {
			// TODO: handle exception
		}
		cir = CircularOrbit.empty("Q5");
		try {
			cir.readfile("test SocialNetworkCircleWrong2.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
		cir = CircularOrbit.empty("Q5");
		try {
			cir.readfile("test SocialNetworkCircleWrong3.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
		cir = CircularOrbit.empty("Q5");
		try {
			cir.addcenterobject(null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.deletecentralobj(null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.deletecontactco(null, null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.deleteorbitobj(null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.deletecontactoo(null, null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.addtoorbit(null, null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.addcontactoo(null, null, null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
		try {
			cir.addcontactco(null, null, null);
		} catch (Throwable e) {
			// TODO: handle exception
		}
	}
@Test
	public void testWrongtxt()
	{
		CircularOrbit< CentralObject, PhysicalObject> cir = CircularOrbit.empty("Q2");
		try {
			cir.readfile("test StellarSystemWrong.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
		cir = CircularOrbit.empty("Q2");
		try {
			cir.readfile("test StellarSystemWrong2.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
		cir = CircularOrbit.empty("Q2");
		try {
			cir.readfile("test StellarSystemWrong3.txt");
		} catch (ReadFileFailException e) {
			ReadFileFailException exp = new ReadFileFailException();
			assertEquals(exp.getClass(), e.getClass());
		}catch (Exception e) {
			System.out.println("The path is not valid, please re-enter it.");
		} 
	}

测试运行结果与EclEmma覆盖度报告
在这里插入图片描述在这里插入图片描述

SpotBugs tool
发现了哪些错误,每种错误代表什么不良的编程习惯
对代码修改,消除这些错误。
在这里插入图片描述

整体检测后发现这一个错误(出现在三个不同的应用中)
bug描述:
在这里插入图片描述

说明RuntimeException与Exception的处理最好要分开进行,否则会有很大的安全隐患,因为RuntimeException多是不可处理的,程序代码中出现的错误,而Exception是可以处理的,可预见的错误,二者不可同日而语。

内容概要:本文档详细介绍了Analog Devices公司生产的AD8436真均方根-直流(RMS-to-DC)转换器的技术细节及其应用场景。AD8436由三个独立模块构成:轨到轨FET输入放大器、高动态范围均方根计算内核和精密轨到轨输出放大器。该器件不仅体积小巧、功耗低,而且具有广泛的输入电压范围和快速响应特性。文档涵盖了AD8436的工作原理、配置选项、外部组件选择(如电容)、增益调节、单电源供电、电流互感器配置、接地故障检测、三相电源监测等方面的内容。此外,还特别强调了PCB设计注意事项和误差源分析,旨在帮助工程师更好地理解和应用这款高性能的RMS-DC转换器。 适合人群:从事模拟电路设计的专业工程师和技术人员,尤其是那些需要精确测量交流电信号均方根值的应用开发者。 使用场景及目标:①用于工业自动化、医疗设备、电力监控等领域,实现对交流电压或电流的精准测量;②适用于手持式数字万用表及其他便携式仪器仪表,提供高效的单电源解决方案;③在电流互感器配置中,用于检测微小的电流变化,保障电气安全;④应用于三相电力系统监控,优化建立时间和转换精度。 其他说明:为了确保最佳性能,文档推荐使用高质量的电容器件,并给出了详细的PCB布局指导。同时提醒用户关注电介质吸收和泄漏电流等因素对测量准确性的影响。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值