·人机交互的有效性;
·信息交换的正确性;
·设备控制的安全性;
·时序控制的合理性;
·数学运算中变量定义域的合法性。
软件生产工具
软件生产的主要工具是软件试验台(Software Testbed) 或软件开发平台。在软件需求分析的同时，就要考虑到这类软件开发环境的创造。它应满足下列要求：
(1)它的组成、结构、性能、功能和工作的方式与状态，力求与实际系统一致。优点是：
·它与实际系统出现的故障现象是一样的，便于故障隔离。
·软件试验台与实际系统的软件可彼此互相复制，便于软件开发过程交替上升。
·具有互补性，试验台有局限性的问题可在实际系统解决;实际系统上有困难的，代价太大的检测活动可在试验台上进行。
(2)配上多媒体工作站，提供软件测试过程中综合信息的显示和生产真实工作环境中的音响效果。
(3)配备实时数据采集器。
(4)能支持实时与非实时两种运行方式的调试活动。
软件试验台是辅助软件调试、测试、试验和验证的重要工具。在某种程度上可以得出这样的结论：没有软件试验台就不能顺利地开发出实时控制系统软件。原因在于：
(1)这类复杂的软件在实际系统上开发是不可能的，其代价太大，效率太低，效果太差。
(2)软件开发是个做细致研究、分析和不断探索的过程，软件试验台能适应这种工作方式。
(3)它是软件编程、调试、测试、集成和试验的综合环境。
(4)它是支持软件原型化开发方法的重要手段。
一般来说，实时控制系统软件的第一个原型是在软件试验台上开发出来的。有了软件原型，就有了与用户深入讨论、分析和确认软件需求的基础。实践证明，经过软件试验台测试通过的软件，基本上能用于实际实时控制系统的系统联调、测试、试验和系统验收。
文章来源于领测软件测试网 https://www.ltesting.net/
