文件名称：基于FAD的UML活动图测试用例生成 (2011年)
文件大小：344KB
文件格式：PDF
更新时间：2024-07-02 23:59:38
自然科学 论文
在软件系统的设计过程或文档说明中，软件系统的动态行为可通过UML活动图描述，软件系统的正确性与可靠性要通过构造一定的测试模型来验证．由于UML活动图缺乏精确的数学模型描述，所以无法直接生成有效的测试模型．本文研究将UML活动图模型与FAD（形式活动图）相结合，应用FAD的片段方程式理论详细分析了生成测试用例的完整过程．其结果在软件测试中具有一定的理论指导意义和应用价值．