研究人员寻求更好的软件测试技术

可编程物品中的软件系统 - 从家用电器到汽车和飞机 - 必须是可靠和高品质的,以避免不方便或灾难性的后果。为了提高软件质量,哈维泥德学院和加州大学的计算机科学研究人员,圣巴巴拉(UCSB)正在寻求提高软件质量保证技术,并已收到国家科学基金会(NS金宝搏188论坛F)的资金。

哈维·穆德计算机科学助理教授卢卡斯·邦斯(Lucas Bang)与UCSB的计算机科学教授和计算机科学教授和椅子合作,是该项目的共同主体调查员“自动定量评估测试困难的差异”。

“没有现有的技术可以预测自动测试一块软件将如何具备自动测试软件的挑战,”隆隆表示,其研究区域是定量计划分析。“该项目将通过提供用于评估软件测试难度的自动化,可扩展和定量的方法来解决这一打开问题。”

他们的工作可能导致通过开发用于计算和构成两种新软件复杂度指标,程序路径复杂性和程序路径选择性的技术来引导对该领域的贡献,以预测测试难以测义。基于软件质量保证任务的更好的资源分配,该项目范围内开发的框架将能够开发更有效的软件测试技术。

“这将导致软件质量和减少导致可靠性和安全问题的软件缺陷的改进,”邦德说。

研究团队将包括毕业生和本科生 - 包括来自代表性群体的毕业生 - 谁将接触到软件质量保证挑战和技术。研究结果将在两个校区的课程中纳入课程,包括在爆炸的软件验证,数据结构和计划开发方面。

自2018年以来,隆邦有17名研究生,导致几篇论文,其中有几篇关于提交或准备的本科领先作者的论文。他也是科学教授GeorgeMontañez的联合主任,为HMC专注于计算机系统的HMC的本科生网站NSF资助的研究经验。

BANG和BULTAN将通过在公开文献中发布并提供作为开源开发的软件工具来传播在“测试难度”项目范围内开发的知识,技术和工具。