- 经济危机，汇率下降，瑞典克朗已经到了这个地步。。
- 瑞典有个Dustin。东西还真8错。D80+18-200到了这个地步。。
- 国内价格zol报价，基本上是这个地步。。
简单数学计算得到。瑞典比国内便宜个800块钱不成问题。。。
恩？怎么还便宜几百？真的不能忍了！！！同志们。。怎么办？
微软中国公司相关负责人告诉新浪科技，微软在正版化方面一直坚持3E策略，即Education(教育)、Engineering(技术)、Enforcement(执法)。
- 教育：大力宣传
- 技术：WGA（Windows正版增值计划），OGA（Office正版增值计划）
- 执法：番茄花园老大被抓
看看微软是不是要动真格的了。
网友的反应包括：
-
支持的
- 肯定被砍死了，别理他们。
-
中立的（觉得事不关己）
- 自己用vista，或者Linux。。。WPS。。。也不理他们。
- 用OEM正版的。Home版的。
- 有钱人。。。
-
反对的（当然是最多的人）
- 人群
- 广大穷苦人民，学生
- 虽然白领，但是还要买车买房，没钱买系统啊
- 就算有钱也不买，微软太欺负人了
- 。。。
- 预计对策
- 躲避策略
- 关闭自动更新，反正微软也不对XP进行支持了。即使要更新，用360等其他软件选择性的更新即可。
- 改用Linux或其他操作系统，很多人视此为linux的机会啊。Ubuntu加油，Centos加油！
- 用该死的Vista。虽然不好用，有些更是因为跑不动。所以说该死。。。
- 强硬派
- 妈的，微软在欧洲被反垄断罚了那么多钱，中国为什么不行？1999元的正版有价格歧视。我们应该那其法律武器，整死微软。 为什么美国金融危机的损失要拿中国人民开刀。。。强烈反对，血战到底。。。
- 有人用一个月工资打赌，不出一个月，破解必出！！相信中国破解软件工程师的能力！！
- 等“瘟到死”降价到百元，我们就用正版。。。！！！
- 每小时黑屏一次挺好，保护视力，预防近视。一黑屏就远眺，多爽，省的自己去找软件了。
- 躲避策略
- 相关链接：
- 人群
本文不代表个人观点，材料搜集自网上。希望微软不要找我麻烦。
original article: http://www.the-software-experts.de/e_dta-sw-test-principles.htm
What is not Software Testing?
- Test is not debugging. Debugging has the goal to remove errors. The existence and the approximate location of the error are known. Debugging is not documented. There is no specification and there will be no record (log) or report. Debugging is the result of testing but never a substitution for it.
- Test can never find 100% of the included errors. There will be always a rest of remaining errors which can not be found. Each kind of test will find a different kind of errors.
- Test has the goal to find errors and not their reasons. Therefore the activity of testing will not include any bug fixing or implementation of functionality. The result of testing is a test report. A tester must not modify the code he is testing, by no means! This has to be done by the developer based on the test report he receives from the tester.
What is Software Testing?
- Test is a formal activity. It involves a strategy and a systematic approach. The different stages of tests supplement each other. Tests are always specified and recorded.
- Test is a planned activity. The workflow and the expected results are specified. Therefore the duration of the activities can be estimated. The point in time where tests are executed is defined.
- Test is the formal proof of software quality.
Overview of Test Methods
Static tests
The software is not executed but analyzed offline. In this category would be code inspections (e.g. Fagan inspections), Lint checks, cross reference checks, etc.
Dynamic tests
This requires the execution of the software or parts of the software (using stubs). It can be executed in the target system, an emulator or simulator. Within the dynamic tests the state of the art distinguishes between structural and functional tests.
Structural tests
These are so called "white-box tests" because they are performed with the knowledge of the source code details. Input interfaces are stimulated with the aim to run through certain predefined branches or paths in the software. The software is stressed with critical values at the boundaries of the input values or even with illegal input values. The behavior of the output interface is recorded and compared with the expected (predefined) values.
Functional tests
These are the so called "black-box" tests. The software is regarded as a unit with unknown content. Inputs are stimulated and the values at the output results are recorded and compared to the expected and specified values.
Test by progressive Stages
The various tests are able to find different kinds of errors. Therefore it is not enough to rely on one kind of test and completely neglect the other. E.g. white-box tests will be able to find coding errors. To detect the same coding error in the system test is very difficult. The system malfunction which may result from the coding error will not necessarily allow conclusions about the location of the coding error. Test therefore should be progressive and supplement each other in stages in order to find each kind of error with the appropriate method.
Module test
A module is the smallest compilable unit of source code. Often it is too small to allow functional tests (black-box tests). However it is the ideal candidate for white-box tests. These have to be first of all static tests (e.g. Lint and inspections) followed by dynamic tests to check boundaries, branches and paths. This will usually require the employment of stubs and special test tools.
Component test
This is the black-box test of modules or groups of modules which represent certain functionality. There are no rules about what can be called a component. It is just what the tester defined to be a component, however it should make sense and be a testable unit. Components can be step by step integrated to bigger components and tested as such.
Integration test
The software is step by step completed and tested by tests covering a collaboration of modules or classes. The integration depends on the kind of system. E.g. the steps could be to run the operating system first and gradually add one component after the other and check if the black-box tests still run (the test cases of course will increase with every added component). The integration is still done in the laboratory. It may be done using simulators or emulators. Input signals may be stimulated.
System test
This is a black-box test of the complete software in the target system. The environmental conditions have to be realistic (complete original hardware in the destination environment).
Which Test finds which Error?
| Possible error | Can be best found by | Example |
| Syntax errors | Compiler, Lint | Missing semicolons, Values defined but not initalized or used, order of evaluation disregarded. |
| Data errors | Software inspection, module tests | Overflow of variables at calculation, usage of inappropriate data types, values not initialized, values loaded with wrong data or loaded at a wrong point in time, lifetime of pointers. |
| Algorithm and logical errors | Software inspection, module tests | Wrong program flow, use of wrong formulas and calculations. |
| Interface errors | Software inspection, module tests, component tests. | Overlapping ranges, range violation (min. and max. values not observed or limited), unexpected inputs, wrong sequence of input parameters. |
| Operating system errors, architecture and design errors | Design inspection, integration tests | Disturbances by OS interruptions or hardware interrupts, timing problems, lifetime and duration problems. |
| Integration errors | Integration tests, system tests | Resource problems (runtime, stack, registers, memory, etc.) |
| System errors | System tests | Wrong system behaviour, specification errors |
zz from http://bbs.ctex.org/forums/index.php?showtopic=15314
[整理的关于使用LaTeX的资料,内容来源:aloft编[ctex-faq]]
1 安装CTEX中文套件
1.1 初始安装
下载ctex中文套件(www.ctex.org).
安装ctex中文套件,自定义安装到D盘.
升级ghostscript.
升级gsview,在options->easy configure下选择升级的ghostscript.
升级winedt,直接覆盖安装.
MiKTEX使用升级向导升级.
1.2 升级添加宏包
已编译的,有.sty或.cls文件的,只需把文件放在localtexmf\tex\LaTeX\下的某个目录下,然后再刷新系统的文件名数据库就可以使用了.teTeX和fpTeX使用texhash命令.
或者把这些宏包和TEX源文件放在同一目录下,不用刷新文件名数据库,但只有同一个目录下的文件可以使用这些宏包.
如果使用的是宏包的源文件.先读readme文件,对.ins文件运行LaTeX命令生成.sty文件,对.dtx文件运行LaTeX命令生成帮助文档.
2 软件配置
2.1 winedt
2.1.1 缺省定义gsview工具按钮有可能无法使用.需要在注册表更改psfile下面的shell->open->command键值.
2.1.2 运行WinEdt目录下的宏可以添加metapost工具.
2.1.3 右键点击WinEdt状态栏,确认show custom info a已选取.点击对应的状态栏可以激活--src选项,这个是使用dvi search的必要条件.
3 新手入门
3.1 参考资料
[lshort中文版],[ctex-faq],薛定宇著[LaTeX科学文件处理软件入门].
清泉编制文档模板.
3.2 测试LaTeX
3.2.1 英文例子
\documentclass{article}
\begin{document}
This is a test file.
\end{document}
这个例子需要保存为.tex后缀的文件,然后用LaTeX编译,生成的DVI文件可以用DVI浏览器进行查看.
或者用dvips转换成PostScript文件.假设文件名是test.ctx.生成PostScript 文件的完整编译过程是:
LaTeX test
dvips test
3.3 编写TEX文档的编辑器
windows下使用winedt,或者是UltraEdit,Editplus.
linux下使用vi,Emacs.
4 中文处理
4.1 CJK还是CCT
推荐使用CJK处理中文.
CJK比CCT的优越之处有以下几点:
1. 字体定义采用LaTeX NFSS标准,生成的DVI文件不必像CCT那样需要用patchdvi处理后才能预览和打印.而且一般GB编码的文件也不必进行预处理就可直接用LaTeX命令进行编译.
2. 可使用多种TrueType字体和Type1字体,生成的PDF文件更清楚,漂亮.
3. 能同时在文章中使用多种编码的文字,如中文简体繁体日文韩文等.
当然,CCT在一些细节上,如字体可用中文字号,字距,段首缩进等更符合中文的习惯.而CJK就没有针对中文习惯指定特殊的排版标准.
4.2 CJK的例子
\documentclass{article}
\usepackage{CJK}
\begin{document}
\begin{CJK*}{GBK}{kai}
这是中文楷体字。
\end{CJK*}
\end{document}
4.3 CJK和CJK*
不建议使用CJK模式.
CJK*模式自动忽略中文字符间的所有空格.加空格的方法是在空格前面加上\ 字符.实际上CJK*模式忽略中文字符后面的空格,因此中文后面如果接着英文,必须加上保护的空格\ 或者~ 符号,否则可能造成断行错误.
4.4 中英文混排时正确分行
首先,英文标点符号后要留空格,这是英文的习惯,否则TEX无法断句.
其次,要用空格隔开中英文字符,TEX才能正确分行.
CJK宏包重新定义了符号~的意义.~的原始定义是不可断行的空格,CJK将其重定义成一个比较合适的弹性距离,大约相当于四分之一个汉字宽度,用于分隔中英文字符.我们通过使用命令
\CJKtilde
来实现~的重定义.如果要恢复原始定义,可以用命令
\standardtilde
注意:在CJK*模式下中文字符后面的空格会被忽略,因此中文字符后面必须加上保护的空格\ 或者~符号来隔开英文字符.
4.5 生成支持中文拷贝粘贴的PDF文件
生成可以拷贝粘贴中文的PDF文件目前只有dvipdfmx(原名dvipdfm-cjk)可以做到,它必须配置成直接使用中文TrueType字库.
4.6 CJK中使用的字库
可以使用矢量字库如Type1或是TrueType字库,也可以使用点阵字库如pk字库.
在CJK中可以使用Type1字库和TrueType字库,都能产生很好效果的输出,但有许多细微的差别,输出结果取决于所用的工具.
1. 使用dvips生成PostScript 文件
dvips可以直接使用Type1字库,生成的PostScript文件中包含了字符的矢量描述,具有很好的缩放效果.
dvips不能直接使用TrueType字库,因此必须通过ttf2pk生成中间的pk字库,这是一种点阵字库,所以生成的PostScript文件在效果较差.
2. 使用dvipdfm生成PDF文件和dvips类似,可以直接使用Type1字库或者通过ttf2pk间接使用TrueType字库.
3. 使用pdfLaTeX生成PDF文件可以直接使用两种字库,因此都可以产生效果很好的输出.
4. 使用dvipdfmx生成PDF文件可以直接使用两种字库,因此都可以产生效果很好的输出.而且直接使用TrueType字库时生成的PDF文件是唯一能支持对中文内容进行正常拷贝粘贴的.(推荐使用)
5 帮助文档
5.1 宏包文档
TEX系统安装时候带的LaTeX宏包,都可以在TEX 的安装目录下的
texmf\doc\LaTeX
找到
5.2 参考书
LaTeX: A Document Preparation System
LaTeX for Word Processor Users
lshort (The Not So Short Introduction to LaTeX2e)
A Gentle Introduction to TEX
LaTeX2插图指南
LaTeX2e for class and package writers
The TeX Book
LaTeX Manual
5.3 查询LaTeX命令和参数的缺省定义
首先你可以直接搜索相应的LaTeX宏包以及同一目录下的其他文件.如果你有宏包的源文件(.dtx) 的话,搜索源文件会更方便些.而且源文件中会有详细的说明.对于这些源文件,可以直接用LaTeX 编译,产生说明文档.LaTeX宏包的源文件一般放在texmf\source\LaTeX\目录下.
例如LaTeX标准文档类的源文件就是texmf\source\LaTeX\base\classes.dtx
如果这些文件里都找不到定义,则有可能在LaTeX内核中定义.你可以搜索texmf\source\LaTeX\base\目录下的其他.dtx文件,所有的LaTeX内核定义都在那里了.
如果还没有的话,那就可能是TEX 的基本命令或者定义了,查询Donald E. Knuth的The TEXbook,CTEX FTP上可以下载该书的源文件.
5.4 在ctex论坛http://bbs.ctex.org查找资料
6 排版
查阅参考资料.
7 LaTeX辅助工具
使用辅助工具可以方便LaTeX的编写工作.
公式编辑器:
TeXaide
这个是MathType的TeX专用版本.它的使用方法和Word中的公式编辑器一样.
http://www.dessci.com/en/products/texaide/
图形工具:
metagraf
可以生成MetaPost格式图型的制图工具.
http://w3.mecanica.upm.es/metapost/metagraf.php
ImageMagick
多功能图形工具,可以转换图片格式把其他格式转存成eps格式.
http://www.imagemagick.org/
制表工具:
tablas
用图形界面制表,再把表格转换成LaTeX编码.
http://www.informatica.us.es/~calvo/latex.html
订阅：
博文 (Atom)
