安全关键实时控制逻辑软件的模型测试
软件工程
2012-02-29 v1
摘要
本文介绍了作者在安全关键实时控制逻辑软件模型测试方面的经验。它描述了相应工业环境的特殊性，并讨论了在这些环境中使用UniTESK模型测试技术的技术细节。最后，我们讨论了安全关键软件开发过程的可能未来方向以及模型测试技术在其中扮演的角色。
引用
@article{arxiv.1202.6127,
title = {Model-Based Testing of Safety Critical Real-Time Control Logic Software},
author = {Yevgeny Gerlits and Alexey Khoroshilov},
journal= {arXiv preprint arXiv:1202.6127},
year = {2012}
}
备注
In Proceedings MBT 2012, arXiv:1202.5826