UML时序图相关论文
实时系统中任何一点错误都可能导致灾难性的后果,故保障实时系统的正确性和可靠性是建立实时系统的首要问题。实时系统建模无疑是......
软件测试在控制软件质量中起着非常重要的作用.JUnit作为一款功能强大的开源单元测试工具,在单元测试中得到较为广泛的应用,JU......
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式......
对网络印刷服务平台的功能需求进行了分析，并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功......
信息化建设是财务管理工作的重要改革方向,当前的财务快报系统数据上报过程繁琐、审核效率不高,不符合信息化需求。本文采用Java语......
逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困......
系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序......
随着计算机技术的发展,自动化测试已经是软件测试行业重要的一部分。在软件规模和复杂程度的日益增加的同时,手工测试面临着巨大的......
引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间......
随着软件规模及其复杂度的不断增长,软件系统存在的潜在错误也越来越多。尽管编程语言、编程模型以及软件工程方法在逐步改进、程......
随着现代信息化社会的建设与发展,各种应用软件和系统软件在各种领域中都发挥着不可替代的作用。在各种软件系统被应用到各行各业......
