摘要
软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述,对测试需求建模、PIM转换到测试模型、测试用例生成方法的相关文献进行了调研。
Software testing is one of the most important means for assuring the software reliability, and the software automated testing is a very effective way to ensure the efficiency of software testing. Model driven software testing is a high degree of automated testing methods. In this paper, the model-driven testing technology were reviewed, and the relevant literature of the test requirements modeling, PIM converted to test model, test case generation method were investigated.
出处
《网络空间安全》
2016年第8期75-83,共9页
Cyberspace Security
基金
航空基金--基于模型的时间触发飞控系统测试技术研究支持
作者简介
雷海申（1990-），男，北京航空航天大学，硕士研究生；主要研究方向和关注领域：模型驱动软件测试技术、软件可靠性工程。
王轶辰（1977-），男，博士，北京航空航天大学，副教授；主要研究方向和关注领域：软件可靠性工程、复杂软件系统测试技术。
