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

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

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

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

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

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

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

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

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

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

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

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以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 还采用了有效的算法对时间进行优化分配,通过用户输入的任务数据、时间偏好等参数,为用户生成最优的日程管理方案。实验结果表明,该软件在日常时间管理、提高工作效率和团队协作中都表现出了良好的效果。

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

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

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

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

面向对象软件度量工具的软件结构

利用软件度量工具度量程序源代码的各类质量属性是提高程序质量的一个重要方法 .目前 ,面向对象语言已逐渐成为主流编程语言 ,度量基于对象技术的软件成为必然的需求 .然而 ,由于面向对象语言数目众多 ,许多面向对象语言又都在发展中 ,用户所需要的度量也不尽相同 ,各种分散的需求对度量工具的灵活性与通用性提出了挑战 .首先给出了一个适用于 OO语言软件度量工具的一个灵活的软件结构 ,然后在分析了各类软件度量的基础上 ,解析了该结构的核心 ,度量中间表示库的结构 .

一个面向对象软件度量工具的实现和度量实验研究

介绍了面向对象软件 C& K度量学理论与方法 ,结合 C+ +语言的特征 ,分析了 C& K度量指标存在的缺点 ,提出了改进方法 .然后描述了作者开发的基于改进 C& K度量学理论与方法的针对 C+ +的软件度量工具SMTCPP,该工具使用 L L(1)分析法对源程序进行语法分析 ,从而提取程序中有关类、类成员、成员函数、对象等信息 ,计算出类的方法数、方法最大复杂度、继承树深度、子类数目、耦合度、响应集、相对内聚缺乏度等指标 ,以指导软件开发过程 .这些度量结果还可以存放在数据库中 ,以便为建立软件质量评价模型收集充足的数据 .论文最后对采用 SMTCPP所做的 3个实用软件度量实验结果进行了分析 ,表明了 SMTCPP的实用性 .

基于OpenGL的交互式三维图形软件开发工具

Ｉｎｔｒａ３Ｄ是面向ＰＣ的交互式三维图形软件开发工具，其特色是：（１）体系结构分４层设计；（２）提供可重用的类库与ＣＯＭ库，支持多种语言应用编程；（３）全部源程序开放．着重论述Ｉｎｔｒａ３Ｄ的软件工程方法与体系结构设计，并介绍了 Ｉｎｔｒａ３Ｄ ２．０软构件库的主要功能。

青鸟面向对象软件建模工具的研究与实现

讨论了青鸟面向对象软件建模工具JBOO(Jade Bird object-oriented)的设计和实现方法.对JBOO所支持的青鸟面向对象规范作了简介,对JBOO的系统结构和功能进行了详细地描述,并提出了一种面向对象的软件建模工具的实现方法.最后,将JBOO与典型的同类工具作了比较.

EnergyPlus能耗模拟软件及其应用工具

在综述国内外建筑能耗模拟软件研究现状基础上,总结并评价了EnergyPlus建筑能耗模拟软件的特点和运行过程。对目前常用于EnergyPlus的界面工具、输入文件创建工具和第三方界面工具进行了详细的介绍。

论文查收查引工具软件的设计与实现

探讨了目前查收查引工作中存在的简单人工重复劳动的弊端,提出通过开发工具软 件解决这一问题,并详细介绍该软件的功能及特点。

软件过程改进与软件过程支撑工具研究

软件过程改进近年来受到了越来越广泛的重视，该文对软件过程改进所涉及的相关知识进行了详细而深入的介绍，并针对我国软件企业的开发现状论述了它们在实施软件过程改进中应该重点把握的几个方面。最后展望了软件过程改进的前景。

软件自动化测试概述及应用工具分析

分析了软件自动化测试的充分性要求、依据、自动化测试工具的体系框架,研究了自动化测试工具原理及类别,能够为软件自动化测试的实际应用提供参考。

Ada软件测试用例生成工具

软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用。