基于UML Statecharts面向对象软件的测试框架

直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.     

关于WPS2000和Word97的优劣之谈

文章对常用的办公文字处理软件WPS2 0 0 0和Word97在操作界面、文本修饰、图文、表格、公式、Internet支持等方面进行优劣比较 ,得到一些结论     

浅谈WORD2003高级编辑功能

自动更正功能在实际操作中有非常重要的作用。特别是对于那些长期从事文字处理应用工作的人，经常会遇到一些反复使用的名称、词语、句子，每次都凄录入或复制。通过WORD2003的自动更正功能。可以有效地解决这两方面的问题。