·人機交互的有效性;
·信息交換的正確性;
·設備控制的安全性;
·時序控制的合理性;
·數學運算中變量定義域的合法性。
軟件生產工具
軟件生產的主要工具是軟件試驗臺(Software Testbed) 或軟件開發平臺。在軟件需求分析的同時，就要考慮到這類軟件開發環境的創造。它應滿足下列要求：
(1)它的組成、結構、性能、功能和工作的方式與狀態，力求與實際系統一致。優點是：
·它與實際系統出現的故障現象是一樣的，便于故障隔離。
·軟件試驗臺與實際系統的軟件可彼此互相復制，便于軟件開發過程交替上升。
·具有互補性，試驗臺有局限性的問題可在實際系統解決;實際系統上有困難的，代價太大的檢測活動可在試驗臺上進行。
(2)配上多媒體工作站，提供軟件測試過程中綜合信息的顯示和生產真實工作環境中的音響效果。
(3)配備實時數據采集器。
(4)能支持實時與非實時兩種運行方式的調試活動。
軟件試驗臺是輔助軟件調試、測試、試驗和驗證的重要工具。在某種程度上可以得出這樣的結論：沒有軟件試驗臺就不能順利地開發出實時控制系統軟件。原因在于：
(1)這類復雜的軟件在實際系統上開發是不可能的，其代價太大，效率太低，效果太差。
(2)軟件開發是個做細致研究、分析和不斷探索的過程，軟件試驗臺能適應這種工作方式。
(3)它是軟件編程、調試、測試、集成和試驗的綜合環境。
(4)它是支持軟件原型化開發方法的重要手段。
一般來說，實時控制系統軟件的第一個原型是在軟件試驗臺上開發出來的。有了軟件原型，就有了與用戶深入討論、分析和確認軟件需求的基礎。實踐證明，經過軟件試驗臺測試通過的軟件，基本上能用于實際實時控制系統的系統聯調、測試、試驗和系統驗收。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
