搜索筛选:
搜索耗时0.0243秒,为你在为你在61,042,058篇论文里面共找到 99 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘玲, 缪淮扣,,
来源：计算机工程 年份：2000
比较完整地描述了Ｚ规格说明的结构和写规格说明的的步骤，并通过一个所设计的Ｚ规格说明的实例演示用Ｚ规格说明的过程。...
[期刊论文] 作者：曾红卫, 缪淮扣,,
来源：计算机辅助设计与图形学学报 年份：2011
利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段．由于一个测试用例可能覆盖多个测试目标，测试生成过程中可能存在不必要的对模型检验器的调用，测试包也往往存......
[期刊论文] 作者：陈怡海,缪淮扣,
来源：计算机科学 年份：2004
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明.本文从多个方面分析比较了这两...
[期刊论文] 作者：李莉,缪淮扣,
来源：计算机工程 年份：2001
B方法作为少数几种具有较强商业化工具支持的形式化方法之一,支持规格说明到代码生成的全部开发周期.文章将B方法应用于网络银行系统模型开发.此方法提供了系统的需求和可执...
[期刊论文] 作者：陈怡海,缪淮扣,
来源：计算机应用与软件 年份：2002
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。...
[期刊论文] 作者：李莉,缪淮扣,
来源：计算机应用与软件 年份：2002
在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过......
[期刊论文] 作者：费立志,缪淮扣,,
来源：计算机应用与软件 年份：2007
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列。......
[期刊论文] 作者：蔡雄,缪淮扣,,
来源：计算机应用与软件 年份：2006
P2P网络模型弥补了传统的服务器模式所导致的通信效率低下,中心服务器成为整个系统的瓶颈。简单介绍了P2P技术以及在TCP/IP网络协议下的网络模型和通信协议。给出了用Java语言实现P2P网络模型的方法和技术。......
[期刊论文] 作者：宋安平, 缪淮扣,,
来源：计算机工程 年份：2002
介绍了计算机骨龄评测系统软件的设计及实现,该软件采用改良Tanner法来计算中国儿童青少年的骨龄,通过运用图像增强技术改善于掌骨X光片的质量,并将掌骨图像定位切分成20部分...
[期刊论文] 作者：沈俊,缪淮扣,
来源：上海大学学报：自然科学版 年份：2006
近年来信息咨询企业的业务发展迅猛，纸质信息咨询产品的种类越趋繁多，客户数量也成千上万地增长。客户信息自然需要用Oracle等大型数据库进行管理；而信息的排版现在也有相当多的......
[期刊论文] 作者：何涛,缪淮扣,
来源：计算机工程与设计 年份：2008
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法，并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV...
[期刊论文] 作者：陆公正,缪淮扣,
来源：计算机学报 年份：2016
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展...
[期刊论文] 作者：曾红卫,缪淮扣,
来源：软件学报 年份：2008
针对构件组合的状态爆炸问题，改进了反例引导的抽象精化框架，提出了组合式的抽象精化方法，使构件组合的模型检验转化为各成分构件的局部抽象精化，降低了分析的复杂度，提出了在构件......
[期刊论文] 作者：刘玲,缪淮扣,
来源：软件学报 年份：2004
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明...
[期刊论文] 作者：曾红卫,缪淮扣,
来源：计算机科学与探索 年份：2010
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为，用带有变量定义和使用标记的......
[期刊论文] 作者：曾红卫,缪淮扣,
来源：计算机科学与探索 年份：2008
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型一构件消息自动机，其特点是保留了构件的所有交互特性以便进一步进行构件的验证......
[期刊论文] 作者：陈怡海,缪淮扣,
来源：计算机科学 年份：2014
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中.准确了解这些表格语言的...
[期刊论文] 作者：缪淮扣,陈怡海,
来源：计算机科学 年份：2007
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法，为主流的软件...
[期刊论文] 作者：曾红卫,缪淮扣,
来源：应用科学学报 年份：2011
安全关键系统必须满足规定的安全性质．测试生成通常独立于给定性质，“先验证再测试”的方法不能保证安全性质被测试．为此，该文提出了一种基于输入一输出标记迁移系统的安全性质测......
[期刊论文] 作者：钱忠胜, 缪淮扣,,
来源：软件学报 年份：2010
基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试．判定是形式规格说明中用于描述前、后置条件的主要形式．分析了基于规格说明的逻辑覆盖测试准则，针......
相关搜索：
