引言： 最近在研究OOT，classbench methodology，一边看paper，一边记录思考的半成品，顺便贴出来吧：软件测试就是证明一个命题：被测软件的质量达到一定标准。
摘要：mapx使用数据库数据添加专题图(系列之三) 关键字：mapx delphi 专题图 作者：杨雨田 blue_bat@126.com 本文描述了在mapx中添加专题图的方法，其中mapx中关于添加专题图的过程语法描述如下（介于英语水平太高，能认识的英文字母大概还有二十多个，实在不愿意打开金山词霸给大家进行高质量的翻译，哈哈）： object.add ([type], [field], [name], [computetheme]) object repre......
摘要：作者：chad z. hower译者：taowen（taowen.bitapf.org）原文url：http://www.atozed.com/indy/texts/whyindy.iwp来自.net的用户最常见的问题是：“既然.net已经有了对socket的支持，为什么我还要使用indy？”。这是一个非常值得一问的问题，而且有一个简单却有不是很显而易见的答案。更多的协议indy比起其他库来实现了更多的协议。实现了多余120种协议和互联网标准。要查看ind......
软件测试方法论的有效性最近在研究oot，classbench methodology，一边看paper，一边记录思考的半成品，顺便贴出来吧： 【相关文章:
Shark中调用外部程序的方法】 【扩展阅读:
用链接组件轻松做交互式链接 】软件测试就是证明一个命题：被测软件的质量达到一定标准。 【扩展信息:
如何彻底删除Oracle（转载）】 我们都知道数学命题证明都是用逻辑推理的方法，把一个复杂的命题等价转换为一个若干个更为简单的命题，最后等价为一系列公理与定理。推导的方向是从复杂到简单。测试也是如此，如果用于证明上述测试命题的等价命题比原命题更复杂，这个推导就没有什么现实意义。 在classbench methodology中，就我目前的理解，测试者为了测试一个class（cut，class under test），需要开发test graph, test oracle, test driver, 并且测试结论的正确性基于test graph, test oracle, test driver的正确性。 如前所述，如果证明test graph, test oracle, test driver的正确性并不比证明cut的质量标准容易的话，这个方法论的有效性就是值得置疑的。
摘要：四元数的运算： 基本的： p=[1 2 3 4] q=[5 6 7 8] p+q=[6 8 10 12] 2p=[2 4 6 8] 2个四元数的积： p=[m,u] q=[n,v] pq=[mn-vu,nu+mv+(v×u)] m,n是标量，u,v是向量 共轭四元数： p=[n,v] ~p=[n,-v] 旋转1个四元数( 或向量）： p´=q(p)(~q) 旋转向量的话：用向量取代p的向量部分，p的标量部分取零。 四元数到旋转矩阵的变换： | ......
