林红昌
- 作品数：3 被引量：8H指数：2
- 供职机构：浙江理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的软件测试用例的产生及分析被引量：6
- 2009年
- 软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性。一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不可行路径。论文运用Petri网来描述程序,并且按照一定的数学规则将此Petri网进行分解,得到独立的段组(Independent Segment Group,ISG)并产生测试用例,最后设计一个算法找到满足覆盖准则的最少测试用例。
- 林红昌胡觉亮丁佐华
- 关键词：PETRI网测试用例可行性
- 基于UML的软件系统的功能性验证和非功能性度量
- 随着软件系统的日益庞大,对软件的要求也越来越高,对软件模型的验证和性能的度量,受到前所未有的关注,同时基于统一建模语言(Unified ModelingLanguage,UML)[1][2]的软件设计方法也日益成为一种行...
- 林红昌
- 关键词：软件系统PETRI网统一建模语言数学表达式
- 基于UML和Petri网的建模及其验证被引量：2
- 2010年
- 为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。
- 马超林红昌丁佐华
- 关键词：UMLPETRI网
