会计信息系统系列课程建设的探讨

随着信息技术的飞速发展,社会对会计人才的要求越来越高,会计及相关专业的会计信息系统系列课程的建设有许多亟待解决的问题。本文针对会计信息系统系列课程的建设提出了会计信息系统系列课程的教学目标,要增加实验课,加强实验课的管理和教学,调整部分课程过时不合理的内容,部分调整衔接不当的课程之间的顺序。     

基于UML状态图测试的充分性准则

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时，循环被执行一次是很不充分的，本文提出了使循环分别执行0次、1次、2次，即ZOT循环覆盖准则，在此基础上本文还提出了全ZOT路径覆盖准则，并给出了这些覆盖准则的应用，讨论了这些覆盖准则之间的包含关系。     

基于统一建模语言的会计信息系统开发方法研究

利用统一建模语言开发软件系统,本身没有一个统一的方法。本文根据会计信息系统的特点,提出了使用统一建模语言开发会计信息系统的具体步骤,并且利用计算机辅助软件工程工具PowerDesigner,结合程序设计语言Visual Basic和数据库Access进行具体的分析与设计。     

区间约束的非基本代数操作

本文定义了区间约束的非基本代数操作和语法和语义,用基本代数操作表达了非基本代数操作,并证明了表达式的正确性。     

区间约束的非基本代数操作

本文定义了区间约束的非基本代数操作的语法和语义,用基本代数读作表达了非基本代数读作, 并证明了表达式的正确性     

基于UML Statecharts的测试用例生成

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，提出了一种从UML statecharts图产生测试用例的方法：先把UML statecharts图转换成FREE(Flattened Regular Expression)模型图，再以FREE模型图为基础生成类的测试用例，同时，提出了FREE模型的测试覆盖准则，并提出了由FREE模型产生有限的迁移序列的算法。     

ASP技术在学生成绩管理系统中的应用

动态网页是微软Ⅱ3．0＋及以上Web Server提供的服务端可执行网页技术框架。本文首先阐述了ASP的有关技术,特别是数据库访问技术,然后详细地介绍了用ASP开发学生信息管理系统技术细节。