排序方式: 共有78条查询结果,搜索用时 15 毫秒
1.
提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行为.经扩展后,该方法可用于实时系统. 相似文献
2.
示范性软件学院验收评估的思考与体会 总被引:2,自引:2,他引:0
我应邀参加了2003年9月教育部和软件行业协会组织的示范性软件学院的中期评估和2006年5月示范性软件学院的验收活动。两次活动我去的学校都相同。它们是:北京大学、华东师范大学、复旦大学、上海交通大学、同济大学和浙江大学(即下文指的六所软件学院)。我目睹和感受了这六所大学示范性软件学院的创业者们以改革、创新的精神培养新型软件人才所取得的成就。它们在办学指导思想、办学模式、教育教学改革、教师队伍建设、办学条件、学生工作、毕业生就业等方面都取得了可喜的成绩。本期《计算机教育》杂志集中报道这方面的情况,借此机会谈谈我的感受和体会,由于时间和篇幅的限制不可能很全面。 相似文献
3.
面向Agent的软件工程近年来获得很多人的关注,其中MAS是一个重要的研究方向.到目前为止,已经出现了20多种MAS开发方法.本文对现有的主要方法进行了分类和总结,并利用三层次模型对常用的三类方法进行了比较,希望对读者有一定的借鉴作用. 相似文献
4.
5.
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。 相似文献
6.
7.
多Agent系统中软构件的动态绑定机制及其操作语义 总被引:2,自引:1,他引:2
近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作:join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现. 相似文献
8.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。 相似文献
9.
软件可靠性工程框架和评估系统实现 总被引:1,自引:0,他引:1
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际 相似文献
10.
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题. 相似文献