10.3969/j.issn.1003-0107.2023.05.004
Modelica语言规范符合性测试验证方法研究
对Modelica语言规范符合性的测试验证进行了相关研究,提出一种涵盖词法、语法和语义规范符合性的测试验证方法,并在某建模仿真工具上进行了实践应用,验证了测试方法的可行性,能够指导开展Modelica语言规范性测试验证,发现潜在缺陷.旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考,从而不断地完善软件研发周期中的测试工作,进一步地提升工业软件产品的可靠性与成熟度.
Modelica、语言规范、规范符合性、测试验证
TP312(计算技术、计算机技术)
2023-06-28（万方平台首次上网日期，不代表论文的发表时间）
共5页
15-19
