期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于UML状态图测试的充分性准则 被引量:11
1
作者 占学德 缪淮扣 《计算机科学》 CSCD 北大核心 2005年第5期230-235,共6页
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这... 本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。 展开更多
关键词 UML状态图 充分性 覆盖准则 测试用例 包含关系 图生成 循环 执行
下载PDF
基于UML Statecharts面向对象软件的测试框架
2
作者 占学德 缪淮扣 《应用科学学报》 CAS CSCD 北大核心 2006年第5期491-497,共7页
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文... 直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架. 展开更多
关键词 Z UML STATECHARTS FREE模型 基于规格说明的测试 测试框架
下载PDF
基于统一建模语言的会计信息系统开发方法研究 被引量:1
3
作者 占学德 《杭州电子科技大学学报(社会科学版)》 2008年第3期53-57,共5页
利用统一建模语言开发软件系统,本身没有一个统一的方法。本文根据会计信息系统的特点,提出了使用统一建模语言开发会计信息系统的具体步骤,并且利用计算机辅助软件工程工具PowerDesigner,结合程序设计语言Visual Basic和数据库Access... 利用统一建模语言开发软件系统,本身没有一个统一的方法。本文根据会计信息系统的特点,提出了使用统一建模语言开发会计信息系统的具体步骤,并且利用计算机辅助软件工程工具PowerDesigner,结合程序设计语言Visual Basic和数据库Access进行具体的分析与设计。 展开更多
关键词 统一建模语言 会计信息系统 面向对象方法
下载PDF
会计信息系统系列课程建设的探讨 被引量:1
4
作者 占学德 《杭州电子科技大学学报(社会科学版)》 2007年第3期63-66,共4页
随着信息技术的飞速发展,社会对会计人才的要求越来越高,会计及相关专业的会计信息系统系列课程的建设有许多亟待解决的问题。本文针对会计信息系统系列课程的建设提出了会计信息系统系列课程的教学目标,要增加实验课,加强实验课的管理... 随着信息技术的飞速发展,社会对会计人才的要求越来越高,会计及相关专业的会计信息系统系列课程的建设有许多亟待解决的问题。本文针对会计信息系统系列课程的建设提出了会计信息系统系列课程的教学目标,要增加实验课,加强实验课的管理和教学,调整部分课程过时不合理的内容,部分调整衔接不当的课程之间的顺序。 展开更多
关键词 信息技术 会计信息系统 课程建设
下载PDF
FOX类字符型数据深层剖析
5
作者 占学德 《湖北民族学院学报(自然科学版)》 CAS 2000年第1期62-64,共3页
探讨了FOX类关系数据库中精确比较的正确含义。阐述了C型字段变量的特殊性。
关键词 C型数据 精确比较 字段变量 FOX类 关系数据库
下载PDF
函数依赖集投影的算法
6
作者 占学德 《湖北民族学院学报(自然科学版)》 CAS 2000年第4期59-60,共2页
给出了关系模式R的函数依赖集F在R的一个属性子集U上的投影的最小覆盖的算法 ,并证明了算法的正确性 .而且给出了一个实现本算法的例子 .
关键词 函数依赖集 投影 最小覆盖 算法 关系模式
下载PDF
球体约束的规范表达
7
作者 占学德 《湖北民族学院学报(自然科学版)》 CAS 2000年第2期67-69,共3页
研究球体约束的规范表达。提出平面冗余、平凡线性冗余、半线性冗余三条新的规范原则,并给出了球体约束元组的规范算法。
关键词 约束数据库 球体约束 规范表达 关系数据模型
下载PDF
ASP技术在学生成绩管理系统中的应用
8
作者 占学德 刘勇 《洛阳工学院学报》 2000年第3期51-54,共4页
动态网页是微软IIS3 .0 +及以上WebServer提供的服务端可执行网页技术框架。本文首先阐述了ASP的有关技术 ,特别是数据库访问技术 。
关键词 动态网页 WEB服务器 管理信息系统 数据库管理系统 ASP技术 学生成绩管理系统
下载PDF
基于UML Statecharts的测试用例生成 被引量:8
9
作者 缪淮扣 占学德 刘玲 《小型微型计算机系统》 CSCD 北大核心 2005年第4期662-666,共5页
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测... 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法. 展开更多
关键词 UML STATECHARTS FREE模型 基于规格说明的测试
下载PDF
会计电算化的网络化刍议
10
作者 占学德 《广东金融电脑》 2000年第7期7-8,共2页
我国会计电算化从1979年开始起步,至今已有20多个年头,发展迅猛,取得了丰硕的成果。同时,我们也要看到,目前我们的会计电算化与发达国家相比,还存在较大的差距,主要就是网络化水平太低。大部分企业还是采用单机系统,只有少数企业建立了... 我国会计电算化从1979年开始起步,至今已有20多个年头,发展迅猛,取得了丰硕的成果。同时,我们也要看到,目前我们的会计电算化与发达国家相比,还存在较大的差距,主要就是网络化水平太低。大部分企业还是采用单机系统,只有少数企业建立了内部局域网,个别企业上了国际互联网。而网络化是会计电算化发展的必然趋势。 一、会计电算化在当前存在的主要问题 1.会计信息的重复输入。 展开更多
关键词 会计电算化 网络化 计算机
下载PDF
区间约束的非基本代数操作
11
作者 占学德 《现代计算机》 2000年第97期21-23,共3页
本文定义了区间约束的非基本代数操作的语法和语义,用基本代数读作表达了非基本代数读作,
关键词 区间约束 非基本代数操作 关系数据库
下载PDF
动态数据窗口技术及应用
12
作者 陈天煌 占学德 《交通与计算机》 2000年第3期57-59,共3页
数据窗口是PowerBuilder中应用程序与数据库打交道的窗口,是用来检索数据、更新数据并可以用多种形式表现数据的窗口。文章通过动态创建数据窗口的实例介绍了如何灵活地运用数据窗口。
关键词 数据窗口 动态创建 事务对象 应用程序 数据库
下载PDF
Research of testing method based on UML statecharts
13
作者 占学德 《Journal of Shanghai University(English Edition)》 CAS 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) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts. 展开更多
关键词 unified modeling language (UML) statechart formalsemantics flattened regular expression (FREE) model specification based software testing test criteria automatic generation of test case.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部