面向静态分析的软件测试工具评估方法研究

软件是否可靠运行将直接影响系统的可靠运行,急需有手段保障软件质量;静态分析因具有全自动运行、能更早实施、不需要执行程序等特点,在软件测试领域得到了广泛的使用,已成为保障软件质量的重要手段;测试工具可以极大地提高软件测试的效率;目前面向静态分析的软件测试工具数量众多,不同的工具具有不同的特点和缺陷检测能力,且都存在不低的误报率和漏报率,如何评估和选择测试工具成为软件静态分析时亟待解决的问题;基于CWE缺陷类型的基准测试集和精确度、召回率、F_(1)值、CWE覆盖率以及Overall-Score的评估指标,详细阐述了面向静态分析的软件测试工具评估流程,结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用,为软件静态分析工具的评估与选择提供指导和参考。

基于软件过程工具的敏捷开发实验教学探索

针对“软件工程”课程教学中存在的理论体系抽象、繁杂,实验教学脱离实际、流于形式等问题,提出一种基于软件过程工具的Scrum敏捷开发模式。该实验模式引入类软件公司开发场景进行项目实战,即学生根据自身的能力与爱好承担团队中相应的软件过程角色,选择多样化的项目作为实验课题,开发模式采用根据师生特点调整的Scrum敏捷方法,并加入软件过程工具技术实践。此举旨在加强实验与实际相结合的实施,并有序规范地贯彻整个软件开发过程。

符合DO-330的机载软件工具鉴定

在安全关键领域的软件开发过程中,对软件开发和验证过程中所使用的工具,按照其实际用途开展工具鉴定是支撑软件实现其开发和验证活动相关目标的重要方法之一。对当前国际上有效的各行业标准中与工具鉴定相关的内容进行了概要的描述,并且重点阐述航空电子领域的DO-330标准中的工具鉴定过程,对实施工具鉴定时的所需要开展的活动内容进行了综合分析,这些内容是工具鉴定申请人在实际项目中应重点考虑的,同时,还为工具开发人员给出了工具鉴定包开发的建议。

基于有意义学习理论的PBL教学模式设计与实践——以中等职业教育“常用工具软件”课程为例

以“有意义学习理论”为导向,针对当前中等职业教育传统课堂教学模式的特点与不足,运用PBL(Problem-Based Learning)教学模式,以“常用工具软件”课程为例进行教学设计和实践;通过设计七步教学模式:创设问题、分析问题、解决问题、成果展示、多元评价、反思交流、扩展应用,促进学生的知识建构和有意义学习,为专业课程提供更多的改革思路和方法,以此拓展PBL教学模式与有意义学习理论的适用范围。

对比三种单摆实验测量工具并利用Tracker软件探究锥摆运动

单摆测量重力加速度是大学物理实验中的一项基本内容,也是测量重力加速度的一种常规方法,实验中通常使用智能手机、多功能计时器、Tracker软件三种测量工具进行周期测量,利用固定单摆摆长直接计算和改变单摆摆长使用最小二乘法间接计算两种测量方法,对三种测量工具的精度进行了对比。实验结果表明,三种测量工具的精度由高到低依次是:Tracker软件、多功能计时器、智能手机。实验中,单摆周期往往受圆锥摆运动的影响而产生误差,使用Tracker软件分析得出:单摆做圆锥摆运动将导致所测重力加速度偏小。

一种使用Rhapsody-Simulink工具链开发嵌入式软件的方法

描述了一种以DOORS管理的软件需求为输入,用Rhapsody进行软件框架建模并验证,而对部分软件单元使用Simulink进行详细设计、验证,然后将Simulink模型导入Rhapsody模型中形成完整软件配置项的嵌入式软件开发方法。

民机机载软件工具配对鉴定方法研究及应用

针对高工具鉴定等级的民用机载软件工具适航取证过程复杂、适航审查周期长和适航成本高昂问题,提出一种工具配对鉴定方法。分析工具配对鉴定方法的使用场景、评估工具配对鉴定策略的适航关注点,通过开发并鉴定一个配对的低等级验证工具有效替代高等级工具鉴定活动,进而优化适航策略、降低适航成本。某应用案例表明了工具配对鉴定方法的有效性,可为民用机载软件适航符合性策略优化提供支持和依据。

基于国标符合性分析国内软件测试工具能力现状的研究

软件测试技术不断发展和进步,软件测试工具的能力对于保障软件质量和提高开发效率具有重要的意义。基于《软件与系统工程软件测试工具能力》国家标准符合性验证情况研究国内软件测试工具能力现状,旨在帮助读者深入了解该标准的内容、要求和实施方法,并且通过验证结果分析,给出标准的实际应用效果,为我国软件测试工具行业的发展提供有益借鉴,同时给出了软件测试工具的发展和标准的实施与应用方向。

基于工具服务历史的机载软件工具鉴定方法

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动。最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的。

数学科学学院郭蔚团队开发首款国产通用型科学计算软件图像处理工具箱

科学计算软件是现代科学与工程技术中用于解决复杂数学或数据问题的核心基础软件,始于欧美国家,目前基本被国外厂商垄断.为解决国外科学计算软件禁用所致“卡脖子”问题,北京大学倡导并组织研发国产科学计算软件.2022年8月,具有自主知识产权的北太天元数值计算通用软件V2.0对外发布,初步实现了科学计算软件的基本功能,开始了市场化运营工作.

软件开发工具包个人信息保护问题及检测手段

数字经济时代,我国移动互联网蓬勃发展,手机应用程序(Application Program,APP)、应用分发平台、小程序、软件开发工具包(Software Development Kit,SDK)等持续快速发展,也成为个人信息保护的关键领域。其中,SDK作为APP开发必不可少的功能模块,在为APP研发提供便利、促进产业繁荣发展的同时,也造成了一系列侵害用户权益的问题。为进一步加强SDK个人信息保护治理,我国SDK个人信息保护方面的政策法规、检测手段和管理模式不断完善。

时间管理工具软件系统架构与设计

随着社会的快速发展和工作节奏的加快,时间管理变得尤为重要。本论文介绍了一个针对个人和团队分别设计的年、月、周计划合理规划工具软件V1.0【Year-Month-Week Planner V1.0 (YMW Planner V1.0)】。研究通过分析用用户需求,采用系统化的设计理论和方法构建了软件的系统架构。该架构包括用户交互界面、数据处理模块、时间管理模块及任务调度模块等多个关键模块,通关模块互联,能有效地满足日常的时间管理需求。此外,YMW Planner V1.0 还采用了有效的算法对时间进行优化分配,通过用户输入的任务数据、时间偏好等参数,为用户生成最优的日程管理方案。实验结果表明,该软件在日常时间管理、提高工作效率和团队协作中都表现出了良好的效果。

NI推出图形化差分和用户接口工具包用于比对MathWorks,Inc.Simulink软件开发的模型

美国国家仪器有限公司（简称NI）推出图形化差分和用户接口工具包,它是帮助工程师和科学家辨别使用MathWorks,Inc.Simulink软件所建立的模型之间差别的软件解决方案。工程师和科学家还可以通过使用这个工具包方便地创建用户接口，与使用Simulink所建立的模型之间进行交互工作。

基于Jenkins CI构建的软件单元自动化回归测试方法研究

基于Jenkins、Git和VectorCast工具提出了软件单元自动化回归测试方法。该方法实现了Jenkins持续集成配置,Git测试用例库配置、软件版本场景化自动触发构建以减少回归测试用例,测试报告自动导出及看板。该方法能够明显节约人力成本、设备资源成本、时间成本。

嵌入式机载软件安全性分析标准、方法及工具研究综述

嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简介,并给出机载软件安全性分析框架;其次,从机载软件安全性分析框架出发,将机载软件安全性保障方法划分为3个方面,即,机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证.对这3个方面的现有研究工作以及工业应用进行了综述;然后,针对当前适航标准的要求对机载软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结;最后,提出机载软件安全性领域存在的挑战和未来的研究方向.

基于Matlab/Simulink电力系统仿真工具箱的拓展

在Matlab/Simulink环境下,建立直流锅炉机组蒸汽压力模型,并通过扰动实验对该模型进行验证,然后采用Simulink软件包中的模块封装技术将其封装成一个子系统模块,最后将其添加到SimpowerSystem模块库中以此来补充电力系统工具箱中所缺乏的锅炉模块,从而使SimpowerSystem模块库更加完善。

MATLAB软件包中SIMULINK环境下直接转矩控制系统的仿真

针对传统的电气传动控制系统仿真建模复杂，计算量大等不便，本文利用ＭＡＴＬＡＢ软件包中的ＳＩＭＵＬＩＮＫ对直接转矩控制系统进行建模、仿真。ＳＩＭＵＬＩＮＫ具有良好的用户界面和强大的功能，在该环境下结合电气系统模块库进行仿真，具有建模简便、结构直现、操作灵活等优点，用于直接转矩控制系统的仿真过程，这些特点得到了深刻的体现。

基于Matlab/Simulink的电力系统仿真工具箱的开发

详细介绍了电力系统暂态仿真软件的开发原理,并在此基础上开发了一个基于Matlab/Simulink的电力系统仿真工具箱(power system simulation toolbox,PSST)。该仿真工具箱目前可完成潮流计算,小干扰稳定分析和动态时域仿真等方面的分析和研究,具有使用方便、可扩展性强等优点,克服了常规的大型商业化软件难以添加新模块的缺点,能够无缝地以Simulink模块的形式添加自定义新模块。此外,还可以根据实际仿真精度的要求灵活选用合适的Simulink求解器进行仿真求解而无需修改仿真模型。通过对同一个新英格兰系统进行时域仿真,将PSST和电力系统工具箱(power system toolbox,PST)的仿真结果进行了分析对比,验证PSST仿真结果的有效性和准确性。最后以静止无功补偿器的广域附加阻尼控制器的设计为例阐述了用PSST设计控制器的基本原理和方法。可以看出,PSST非常适合用于电力系统控制方面的研究。

新一代保护测控装置配套工具软件设计与应用

提出了新一代保护测控装置配套工具软件实现研发—用户一体化配置的思路。将保护测控功能进行模块化设计,并结合IEC 61850标准进行逻辑节点建模,用图形化元件的方式实现可视化配置建模。研发人员用可重用的符号库搭建核心程序和进行装置配置,工程人员和用户在研发人员归档的标准范例基础上,结合现场应用需求,进行装置软硬件功能选型、图形化逻辑编程、装置输入输出配置等二次开发,有效降低了程序编程和装置配置的难度,提升了装置配置的灵活性。