一个基于下推自动机的Web测试自动执行器

随着Web应用系统的广泛应用，对其质量要求也越来越高。如何进行有效的测试以保证Web应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器（Test runner）是其中的一个热点和难点。文章研究并提出了基于下推自动机的Web测试自动执行器，并实现了其原型系统。谊执行器支持测试用例的自动执行并给出测试结果报告，并通过Web应用测试实例验证了其有效性。     

一种海量题库难度系数和区分度动态优化模型

难度系数和区分度是衡量试题质量的两个重要参数。如何快速准确地获得试题的难度系数和区分度则是随机组卷考试系统海量题库建设中的一个难点。专门针对海量题库试题的难度系数和区分度提出了一种动态优化模型;该模型借助计算机的快速准确处理能力进行试题的实际难度系数和区分度的计算与优化,为出题者不断完善和优化试题内容提供科学合理的依据,从而提高海量题库命题的自动化和合理化水平。     

基于Web的工作流系统中表单定义与处理

描述了基于Web的工作流系统中的表单定义以及处理的规则。基于这些规则,用户可以自由定制应用在Web上的、基于HTML的表单,并灵活地控制表单的显示、数据项之间的运算以及工作流的处理逻辑。通过不同的规则组合,可以实现一系列复杂的功能,完全能够满足多分支、多路径的工作流系统对表单定义处理灵活性的要求。实践表明,文中提出的规则能够增强工作流系统的灵活性与可扩展性,可对构建功能更强大的办公自动化系统提供有力支持。     

UML模型及其应用

文章扼要介绍了ＵＭＬ的发展历史以及它与过程的关系,并针对ＵＭＬ的特色及存在的一些争议,结合一个从ＪＡＶＡ软件测试系统详细探讨了用例图、类图、活动图、交互图和包图的基本概念、基本思想、鲜明特色以及某些具体的应用问题,然后简要介绍了状态图和配置图,最后总结了ＵＭＬ的优缺点及适用范围。关键词##4面向对象;;ＵＭＬ;;过程;;用例;;类图;;活动图;;交互图;;包图     

软件构件质量度量

基于软件质量标准ISO／IEC9126：2001《软件工程产品质量》,探讨了软件构件的质量度量问题,首次提出了完整的软件构件质量模型：外部和内部质量模型以及使用质量模型,为度量软件构件质量提供了新的方法。最后以外部易组装性度量为例,给出了软件构件质量度量的量化方法。     

多媒体课件写作环境

多媒体课件写作环境北京航空天大学计算机系金茂忠多媒体技术的应用已成为当会计算机技术发展的重要方向。采用多媒体技术的计算机辅助教学系统把图形．图像、声音．文字等集为一体，在计算机上创造了生和。丰富、灵活和方便的优良学习环境，它为不同层次的人们提供了最广...     

并发Java程序动态分析及重演技术研究

Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro／Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。     

《软件构件产品质量》标准介绍

在《软件构件产品质量》标准编制说明基础上,综合介绍了软件构件质量标准的制定背景、目标及内容等.此标准是信息产业部的第一个有关软件构件质量的电子行业标准,它对软件构件质量保证和评估提供了规范,对软件构件技术推广应用和产业发展具有指导和推进作用.     

计算机应用生成系统的研究与实现

集成化的过程工程环境ＩＰＥＥ应能支持从需求到应用软件的自动生成，以适应办公自动化ＯＡ，企事业过程工程再次工程ＢＰＲ或以过程为纽带的商业ＰＣＭ需求不断变化的客观现实，本文介绍了计算机应用生成系统ＣＡＧＳ，它正是这样的一个环境，支持从需求分析、系统设计系结构优化直至分布式Ｊａｖａ应用系统生成的全过程。     

一种Java程序度量工具的设计实现

IEEE软件工程术语标准中定义度量(metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量．为辅助这种定量的测量，设计了一种针对Java程序的度量工具．首先给出一套度量Java程序的度量算法的详细定义，然后重点阐述如何通过分层的体系结构实现这些度量算法．该设计实现的度量工具具有良好的可扩展性，在实际应用中能确实帮助改进程序质量．