科研之友
微信
新浪微博
Facebook
分享链接
摘要
对Modelica语言规范符合性的测试验证进行了相关研究，提出一种涵盖词法、语法和语义规范符合性的测试验证方法，并在某建模仿真工具上进行了实践应用，验证了测试方法的可行性，能够指导开展Modelica语言规范性测试验证，发现潜在缺陷。旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考，从而不断地完善软件研发周期中的测试工作，进一步地提升工业软件产品的可靠性与成熟度。
- 单位
对Modelica语言规范符合性的测试验证进行了相关研究，提出一种涵盖词法、语法和语义规范符合性的测试验证方法，并在某建模仿真工具上进行了实践应用，验证了测试方法的可行性，能够指导开展Modelica语言规范性测试验证，发现潜在缺陷。旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考，从而不断地完善软件研发周期中的测试工作，进一步地提升工业软件产品的可靠性与成熟度。
