占学德
- 作品数：14 被引量：36H指数：3
- 供职机构：杭州电子科技大学经济学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理文化科学更多>>
- 区间约束的非基本代数操作
- 2000年
- 本文定义了区间约束的非基本代数操作的语法和语义，用基本代数读作表达了非基本代数读作，
- 占学德
- 关键词：关系数据库
- ASP技术在学生成绩管理系统中的应用
- 2000年
- 动态网页是微软IIS3 .0 +及以上WebServer提供的服务端可执行网页技术框架。本文首先阐述了ASP的有关技术 ,特别是数据库访问技术 。
- 占学德刘勇
- 关键词：动态网页WEB服务器管理信息系统数据库管理系统ASP技术学生成绩管理系统
- 动态数据窗口技术及应用
- 2000年
- 数据窗口是ＰｏｗｅｒＢｕｉｌｄｅｒ中应用程序与数据库打交道的窗口，是用来检索数据、更新数据并可以用多种形式表现数据的窗口。文章通过动态创建数据窗口的实例介绍了如何灵活地运用数据窗口。
- 陈天煌占学德
- 关键词：数据窗口事务对象应用程序数据库
- FOX类字符型数据深层剖析
- 2000年
- 探讨了FOX类关系数据库中精确比较的正确含义。阐述了C型字段变量的特殊性。
- 占学德
- 关键词：关系数据库
- 会计电算化的网络化刍议
- 2000年
- 我国会计电算化从1979年开始起步,至今已有20多个年头,发展迅猛,取得了丰硕的成果。同时,我们也要看到,目前我们的会计电算化与发达国家相比,还存在较大的差距,主要就是网络化水平太低。大部分企业还是采用单机系统,只有少数企业建立了内部局域网,个别企业上了国际互联网。而网络化是会计电算化发展的必然趋势。 一、会计电算化在当前存在的主要问题 1.会计信息的重复输入。
- 占学德
- 关键词：会计电算化网络化计算机
- 球体约束的规范表达被引量：1
- 2000年
- 研究球体约束的规范表达。提出平面冗余、平凡线性冗余、半线性冗余三条新的规范原则,并给出了球体约束元组的规范算法。
- 占学德
- 关键词：约束数据库关系数据模型
- 基于UML Statecharts面向对象软件的测试框架被引量：2
- 2006年
- 直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.
- 占学德缪淮扣
- 关键词：ZUMLSTATECHARTS
- 基于UML Statecharts的测试用例生成被引量：11
- 2005年
- 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.
- 缪淮扣占学德刘玲
- 关键词：UMLSTATECHARTS
- 基于统一建模语言的会计信息系统开发方法研究被引量：1
- 2008年
- 利用统一建模语言开发软件系统,本身没有一个统一的方法。本文根据会计信息系统的特点,提出了使用统一建模语言开发会计信息系统的具体步骤,并且利用计算机辅助软件工程工具PowerDesigner,结合程序设计语言Visual Basic和数据库Access进行具体的分析与设计。
- 占学德
- 关键词：统一建模语言会计信息系统面向对象方法
- 基于UML状态图测试的充分性准则被引量：17
- 2005年
- 本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。
- 占学德缪淮扣
- 关键词：UML状态图测试用例图生成
