Modelica语言规范符合性测试验证方法研究  

Research on Compliance Testing and Verification Methodology for Modelica Language Specification

作　　者：张宝林[1] 朱欣[1] 雷顺威 ZHANG Baolin;ZHU Xin;LEI Shunwei(CEPREI,Guangzhou 511370,China)

机构地区：[1]工业和信息化部电子第五研究所,广东广州511370

出　　处：《电子质量》2023年第5期15-19,共5页Electronics Quality

摘　　要：对Modelica语言规范符合性的测试验证进行了相关研究,提出一种涵盖词法、语法和语义规范符合性的测试验证方法,并在某建模仿真工具上进行了实践应用,验证了测试方法的可行性,能够指导开展Modelica语言规范性测试验证,发现潜在缺陷。旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考,从而不断地完善软件研发周期中的测试工作,进一步地提升工业软件产品的可靠性与成熟度。Relevant research on compliance testing and verification of Modelica language specification is conducted.The testing and verification method covering lexical,grammatical,and semantic specification compliance is proposed.It is applied in a modeling and simulation tool,and the feasibility of the testing method is verified,which can guide the compliance testing and verification of Modelica language specification and identify potential defects.The purpose is to provide some reference for industrial software product developers,evaluation agencies and other related units in the development and implementation of the Modelica language specification compliance testing and verification scheme,so as to continuously improve the testing work in the software development cycle,further improve the reliability and maturity of industrial software products.

关 键 词：MODELICA 语言规范 规范符合性 测试验证 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]