ProTSA: A Testing Process for Automotive Software Domain

This study evaluates the development of a testing process for the automotive software domain, highlighting challenges stemming from the absence of adequate processes. The research demonstrates the application of Design Science Research methodology in developing, an automotive software testing process—ProTSA, using six functional testing modules. Additionally, the study evaluates the benefits of implementing ProTSA in a specific Original Equipment Manufacturer (OEM) using an experimental single-case approach with industry professionals’ participation through a survey. The study concludes that combining testing techniques with effective communication and alignment is crucial for enhancing software quality. Furthermore, survey data indicates that implementing ProTSA leads to productivity gains by initiating tests early, resulting in time savings in the testing program and increased productivity for the testing team. Future work will explore implementing ProTSA in cybersecurity, over-the-air software updates, and autonomous vehicle testing processes. .

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software

Some types of software systems,like event‐based and non‐deterministic ones,are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules.However,when the fuzzy rules are used for the specification of non‐deterministic behaviour and they contain a large number of variables,they constitute a complex form that is difficult to understand and infer.A solution is to visualise the system specification with the capability of automatic rule inference.In this study,by representing a high‐level system specification,the authors visualise rule representation and firing using fuzzy coloured Petri‐nets.Already,several fuzzy Petri‐nets‐based methods have been presented,but they either do not support a large number of rules and variables or do not consider significant cases like(a)the weight of the premise's propositions in the occurrence of the rule conclusion,(b)the weight of conclusion's proposition,(c)threshold values for premise and conclusion's propositions of the rule,and(d)the certainty factor(CF)for the rule or the conclusion's proposition.By considering cases(a)-(d),a wider variety of fuzzy rules are supported.The authors applied their model to the analysis of attacks against a part of a real secure water treatment system.In another real experiment,the authors applied the model to the two scenarios from their previous work and analysed the results.

Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification

This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.

Hardware/software co-verification platform for EOS design

Ethernet over SDH/SONET (EOS) is a hotspot in today's data transmission technology for it combines the merits of both Ethernet and SDH/SONET. However, implementing an EOS system on a chip is complex and needs full verifications. This paper introduces our design of Hardware/Software co-verification platform for EOS design. The hardware platform contains a microprocessor board and an FPGA (Field Programmable Gate Array)-based verification board, and the corresponding software includes test benches running in FPGAs, controlling programs for the microprocessor and a console program with GUI (Graphical User Interface) interface for configuration, management and supervision. The design is cost-effective and has been successfully employed to verify several IP (Intellectual Property) blocks of our EOS chip. Moreover, it is flexible and can be applied as a general-purpose verification platform.

Development of a software platform for bridge modal and damage identification based on ambient excitation

Modal and damage identification based on ambient excitation can greatly improve the efficiency of high-speed railway bridge vibration detection.This paper first describes the basic principles of stochastic subspace identification,peak-picking,and frequency domain decomposition method in modal analysis based on ambient excitation,and the effectiveness of these three methods is verified through finite element calculation and numerical simulation,Then the damage element is added to the finite element model to simulate the crack,and the curvature mode difference and the curvature mode area difference square ratio are calculated by using the stochastic subspace identification results to verify their ability of damage identification and location.Finally,the above modal and damage identification techniques are integrated to develop a bridge modal and damage identification software platform.The final results show that all three modal identification methods can accurately identify the vibration frequency and mode shape,both damage identification methods can accurately identify and locate the damage,and the developed software platform is simple and efficient.

Software Engineering Principles: Do They Meet Engineering Criteria?

As a discipline, software engineering is not as mature as other engineering disciplines, and it still lacks consensus on a well-recognized set of fundamental principles. A 2006 analysis surveyed and analyzed 308 separate proposals for principles of software engineering, of which only thirty-four met the criteria to be recognized as such. This paper reports on a further analysis of these thirty-four candidate principles using two sets of engineering criteria derived from: A) the engineering categories of knowledge defined by Vincenti in his analysis of engineering foundations;and B) the joint IEEE and ACM software engineering curriculum. The outcome of this analysis is a proposed set of nine software engineering principles that conform to engineering criteria.

Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012

IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.

A HW/SW Co-Verification Technique for FPGA Test

Field programmable gate arrays （FPGAs） have wide and extensive applications in many areas. Due to programmable feature of FPGAs, faults of FPGAs can be easily tolerated if fault sites can be located. A hardware/software （HW/SW） co-verification technique for FPGA test is proposed in this paper. Taking advantage of flexibility and observability of software in conjunction with high-speed simulation of hardware, this technique is capable of testing each input/output block （IOB） and configurable logic block （CLB） of FPGA automatically, exhaustively and repeatedly. Fault cells of FPGA can be positioned automatically by the proposed approach. As a result, test efficiency and reliability can be enhanced without manual work.

软件验证与确认技术和标准化研究

软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准在软件生存周期的应用,促进软件质量提升。

永磁同步直线电机的矢量控制

由于旋转电机加滚珠丝杠的传统机械结构加入了中间传动环节,无法进一步提升使用性能,研究了永磁同步直线电动机矢量控制算法.针对永磁同步直线电动机开展矢量控制算法分析以及验证工作,在矢量控制系统框架下进行了硬件搭建与软件设计,搭建了永磁同步直线电机矢量控制验证平台,测试核心算法,经过试验,设计的软/硬件能够对永磁同步直线电机进行有效控制,有较好的鲁棒性.

基于机器视觉的呼出气体酒精含量检测仪自动检定装置

当前呼出气体酒精含量检测仪检定工作耗时耗力,检定过程需要人工进行判读和记录,针对该问题研制一套呼出气体酒精含量检测仪自动检定装置。依据检定规程的要求,设计配气装置实现对气体的气路设计及温度和流量等的控制。基于机器视觉系统使用Halcon联合C#开发识别算法,利用Canny边缘算法提取感兴趣区域,定位提取示值字符后训练多层感知器来识别示值结果,并实现检定过程的自动选择和报告的自动生成。实验结果表明:对五种型号的呼出气体酒精含量检测仪示值的识别准确率达到了99.5%以上,平均识别时间小于200 ms,对后续检定的平均全过程时间从3.5天缩短至1.5天。该装置满足检定规程的要求,可以应用于各地计量机构的检定工作中,具有实用价值。

一种自适应数据交易软件模型设计技术

在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。

软硬件混合的高效CHI协议分析

在片上系统SoC开发过程中,如何高效准确地进行功能验证与性能分析,是亟待解决的难题。针对目前在FPGA原型平台上对片上网络协议监测手段有限的问题,提出了一种软硬件混合的高效CHI协议监测和分析方法,通过SystemVerilog的直接编程接口DPI连接C代码,由可综合的硬件部分提供共享函数体,不可综合的软件部分通过共享函数体从片上网络协议的各个通道捕捉待测SoC中的CHI报文,进行离线保存或在线检查。实验结果表明,该方法具有硬件资源占用少、可重用性高的优点,离线模式对仿真速率影响不大,在线模式可以在待测SoC运行的同时发现问题,能够实现在原型平台上对CHI协议报文的高效监测,有效加速SoC问题的定位和性能分析。

面向程序可达性验证的数组处理循环压缩方法

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。

面向版本演化的APP软件缺陷跟踪分析方法

移动应用(APP)软件的版本更新速度正在加快,对软件缺陷的有效分析,可以帮助开发人员理解和及时修复软件缺陷.然而,现有研究的分析对象大多较为单一,存在信息孤立、零散、质量差等问题,并且没有充分考虑数据验证及版本失配问题,分析结果存在较大误差,导致无效的软件演化.为了提供更有效的缺陷分析结果,提出一种面向版本演化的APP软件缺陷跟踪分析方法(ASD-TAOVE).首先,从多源、异构的APP软件数据中抽取APP软件缺陷内容并挖掘缺陷事件的因果关系;接着,设计了一种APP软件缺陷内容验证方法,基于信息熵结合文本特征和结构特征定量分析缺陷怀疑度,用于缺陷内容验证并构建APP软件缺陷内容异构图;然后,为了考虑版本演化带来的影响,设计了一个APP软件缺陷跟踪分析方法,用于在版本演化中分析缺陷的演化关系,并将其转化为缺陷/演化元路径;最后,通过一个基于深度学习的异构信息网络完成APP软件缺陷分析.针对4个研究问题(RQ)的实验结果,证实了ASD-TAOVE方法在面向版本演化过程中对缺陷内容验证与跟踪分析的有效性,缺陷识别准确率分别提升约9.9%和5%(平均7.5%).与同类基线方法相比,ASD-TAOVE方法可分析丰富的APP软件数据,提供有效的缺陷信息.

基于改进默克尔树与区块链的电网调度自动控制软件版本一致性管控方法

调度自动控制软件是调度自动化系统的核心。近年来,发生了一些运维人员在工程现场随意变更调度自动控制软件版本,导致现场运行版本与测试通过版本不一致,进而造成软件运行异常的不良后果,严重影响了系统安全稳定运行。针对软件版本一致性问题,提出了一种基于改进默克尔树与区块链的电网调度自动控制软件版本一致性管控方法。设计了基于区块链的调度自动控制软件版本管控流程,结合调度自动控制软件特点,提出改进默克尔树对软件版本标注算法,提高了软件版本标识的安全可靠性;运用区块链技术进行软件版本信息上链存储,确保版本信息可核查、可追溯;设计了软件版本切片一致性校验方法,解决了调度自动控制软件测试和现场运行环境不一致导致无法校验的问题。最后,以自动电压控制软件为例,验证了所提出的软件版本一致性管控方法的有效性。

GB/T 25000.51-2016在军用软件质量特性测试中的应用研究

对GB/T 25000.51—2016在指导军用软件质量特性测试方面的适当使用进行了研究,提出了一种针对军用软件质量特性需求的验证方法,包括对需求规格说明中质量特性需求的静态审查方法、表单,以及根据业务领域特点制定的组织级或项目级的质量特性需求动态测试作业指导,并对该方法的具体应用策略和应用效果进行了分析。所述方法辅助实施GJB 5000B—2021三级的组织开展软件/系统质量特性相关实践活动,从而实现能力成熟度模型三级中需求开发与管理、验证和确认2个过程域目标。

法定计量检定授权机构管控软件的研制

供电公司是法定计量检定授权机构,负责管理和维护体系。在授权体系的检查过程中,通常缺少用于分类储存海量数据的智能化管理工具,自动生成送检计划和各类报表;缺少相关技术代替人工对体系文件异常判别和辅助决策,及时纠偏预防。为此,介绍法定计量检定授权机构管控软件,采用实验的方式确定方案并逐项实施,最终效果检查证明,该软件能解决上述问题。

机载电子装备测试性验证平台设计与实现

针对现代机载电子装备在执行任务过程中故障检测和隔离难度大、维修保障困难等问题,利用故障注入的方法设计了机载电子装备测试性验证平台。首先,阐述了验证平台的总体架构、交联关系和工作原理;然后,基于PXI技术设计了测试性验证平台的自动测试分系统与故障注入分系统,并兼顾了适配接口模块;同时,验证平台集成VITE软件作为平台的故障注入软件开发环境;最后,对某机载配电系统测试信号及故障模式进行分析,开发了故障注入控制程序,为提高机载装备测试性水平提供了技术参考。

双环管聚丙烯均聚牌号熔融指数预测模型的建立

聚丙烯分子量在工业生产中用熔融指数(MFR)表征,掌握熔融指数与相关工艺数据之间的定量关系,能给实际生产工作提供明确的指导。为此,对双环管聚丙烯工艺的均聚牌号建立了熔融指数预测模型。通过实际生产数据,将模型参数拟合优化,得到三种均聚牌号的模型参数。结果表明,PPH-T03、PPH-Y26、PPH-FCP80三种均聚牌号的熔融指数模拟值的平均相对误差分别为2.49%、2.92%、2.86%,符合实际生产要求,可为实际生产提供指导,为切换牌号过程的参数调整提供参考。