云南高校图书馆联盟文献共享服务平台- STATECHART

STATECHART: 作品数：19被引量：16H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：陈丽娜赵建民蔡国永苗春雨缪力更多>>; 相关机构：浙江师范大学桂林电子工业学院华东理工大学湖南大学更多>>; 相关期刊：《Frontiers of Computer Science》《计算机工程与应用》《南京航空航天大学学报（自然科学版）》《计算机学报》更多>>; 相关基金：国家自然科学基金浙江省自然科学基金上海市教育发展基金会“曙光计划”项目广西青年科学基金更多>>

状态图描述的动态切片技术: 《计算机科学》2014年第5期204-207,214,共5页苗春雨陈丽娜; 浙江省浙江师范大学计算机软件与理论重中之重学科开放基金(60873120);浙江师范大学行知学院科研基金(201223)资助; 众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式...; 关键词：Statechart描述动态切片切片准则可观察语义

Hybrid MARTE statecharts被引量：2: 《Frontiers of Computer Science》2013年第1期95-108,共14页Jing LIU Ziwei LIU Jifeng HE Freederic MALLET Zuohua DING; The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time m...; 关键词：UML MARTE hybrid automata hybrid MARTE statechart train control system

Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA: 《Open Journal of Applied Sciences》2013年第2期51-55,共5页Yury V. Shornikov Dmitry N. Dostovalov Maria S. Myssak Artem N. Komarichev Andrey M. Tolokonnikov; Hybrid systems are important in applications in CAD, real-time software, robotics and automation, mechatronics, aeronautics, air and ground transportation systems, process control, and have recently been at the center...; 关键词：Hybrid System STATECHART EVENT Detection Differential-algebraic EQUATIONS Simulation Tools

UML Statechart在嵌入式数控系统软件中的应用研究: 《组合机床与自动化加工技术》2012年第11期67-70,共4页董伯麟朱华炳罗祖平; 合肥工业大学博士专项科研资助基金资助项目(GDBJ2009-045); 针对数控系统复杂行为的描述和控制,分析了采用有限状态机方法的利弊,提出了采用UMLStatechart的系统行为描述方法。应用该方法对一嵌入式数控系统的软件开发进行了尝试,给出了系统任务管理器对象的UML Statechart及其实现方式。结果表...; 关键词：UML STATECHART 嵌入式数控系统行为表达

基于Statecharts的面向方面软件设计与验证被引量：1: 《华东理工大学学报（自然科学版）》2011年第5期601-608,共8页文欣秀虞慧群; 国家自然科学基金(60773094);上海市曙光计划(07SG32); 为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行...; 关键词：面向方面 STATECHART 线性时态逻辑编织模型检测

Statechart描述的测试语义和测试用例自动生成被引量：1: 《西南大学学报（自然科学版）》2011年第5期143-150,共8页陈丽娜苗春雨赵建民; 研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Sta...; 关键词：系统实现一致性测试测试用例生成形式化语义

基于一致性测试理论的Statechart描述的测试用例自动生成被引量：1: 《计算机工程与科学》2011年第3期82-89,共8页苗春雨陈丽娜赵建民; 本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试...; 关键词：状态图系统说明系统实现一致性测试测试集测试用例生成形式化语义反应系统

一种新的Statechart模型验证方法被引量：2: 《计算机科学》2011年第2期144-147,165,共5页陈丽娜赵建民; 浙江省自然科学基金项目(Y1100689)资助; 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言...; 关键词：状态图模型检查模型验证时序逻辑状态爆炸问题形式化语义反应系统

基于Spin的UML状态图模型检查的设计与实现被引量：3: 《计算机工程与应用》2008年第10期43-47,共5页郭伟缪力张大方闵应骅; 国家部委基础科研“十一五”项目;国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673155); UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首...; 关键词：模型检查 STATECHART Statechart山脉算法迁移提取 SPIN

Research of testing method based on UML statecharts: 《Journal of Shanghai University(English Edition)》2006年第5期469-470,共2页占学德; Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and...; 关键词：unified modeling language （UML） statechart formalsemantics flattened regular expression （FREE） model specification based software testing test criteria automatic generation of test case.

STATECHART