排序方式: 共有78条查询结果,搜索用时 15 毫秒
1.
提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行为.经扩展后,该方法可用于实时系统. 相似文献
2.
示范性软件学院验收评估的思考与体会 总被引:2,自引:2,他引:0
我应邀参加了2003年9月教育部和软件行业协会组织的示范性软件学院的中期评估和2006年5月示范性软件学院的验收活动。两次活动我去的学校都相同。它们是:北京大学、华东师范大学、复旦大学、上海交通大学、同济大学和浙江大学(即下文指的六所软件学院)。我目睹和感受了这六所大学示范性软件学院的创业者们以改革、创新的精神培养新型软件人才所取得的成就。它们在办学指导思想、办学模式、教育教学改革、教师队伍建设、办学条件、学生工作、毕业生就业等方面都取得了可喜的成绩。本期《计算机教育》杂志集中报道这方面的情况,借此机会谈谈我的感受和体会,由于时间和篇幅的限制不可能很全面。 相似文献
3.
Web服务的一个优点就是可以通过基本服务组合形成更为复杂的服务。为了确保Web服务组合的可靠性,可以利用N版本程序设计技术来提高服务组合的可靠性。本文在Web服务组合的可靠性预测模型的基础上,提出了一种基于N版本程序设计的Web服务组合可靠性优化方法。 相似文献
4.
UML statecharts的测试用例生成方法 总被引:22,自引:0,他引:22
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。 相似文献
5.
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。 相似文献
6.
7.
面向Agent的软件工程近年来获得很多人的关注,其中MAS是一个重要的研究方向.到目前为止,已经出现了20多种MAS开发方法.本文对现有的主要方法进行了分类和总结,并利用三层次模型对常用的三类方法进行了比较,希望对读者有一定的借鉴作用. 相似文献
8.
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。 相似文献
9.
面向路径的测试数据自动生成工具的设计与实现 总被引:1,自引:0,他引:1
面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法,证明改进后的方法与原方法生成的约束系统相同,文章以改进后的方法为核心算法,根据软件工程的思想,采用面向对象的方法,使用UML进行设计,并且在Linux Red Hat7.0操作系统下用C++语言言实现一个为程序路径自动生成测试数据的原型工具,然后将它移植到Windows操作系统。 相似文献
10.
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题. 相似文献