论文部分内容阅读
针对煤质管理系统不断变化的业务逻辑、软件开发成本过高并难以维护的问题,提出了一种基于模型驱动架构的模型测试方法。通过建立测试模型,在加入动作规约语言的基础上执行测试用例和反馈测试结果,发现模型缺陷并及时重构,从而提高系统质量。结合煤质管理系统回采和掘进工作面绘制进行建模和测试,验证了该方法的可行性。