2009年10月_前程序员

12月 11月 10月 09月 08月 06月 05月 02月

原创 ubuntu的brainstorm

这里有一些关于ubuntu很有意思的创意：brainstorm ubunu，比如在右键添加打印、挂载、命令行等，原来大家的想法都是一样的

2009-10-31 12:06:00 688

原创 PNML学习笔记

http://blog.csdn.net/[userid]/services/MetaBlogApi.aspxPNML简介：用于实现Petri Net工具的互操作性的Petri Net描述语言先从法国的LIP6实验室开始，标准制定方面的牵头人，请先访问它的PNML标准化主页，然后是PNML Framework。关于PNML的标准化进程，当前通过的有ISO/I

2009-10-31 00:09:00 10656 4

原创 ubuntu 9.10 beta 试用

简单几句带移动硬盘启动，使用DVD版sudo umount -l /isodeviceMBR安装到(hd0) 配置参照 ubuntuskill使用fcitx而不是ibus使用lupaworld源而不是cn99 把终端加到右键菜单 sudo apt-get install nautilus-open-terminal right

2009-10-30 12:36:00 743

原创嵌入式C

嵌入式软件分析验证工具系列之—— C，在嵌入式软件领域具有相当的代表性——即使是采用汇编，也都能在C中找到相对应的实现方式，不同的只是细微的效率差别；况且，嵌入式C编译器一般都支持inline assembly，可以在C中直接使用汇编语句。作为构造嵌入式系统的C语言，利用C的灵活性，扩展出许多不同于ANSI C的特性，这使得开发一个嵌入式C的模型检验器1变得困难。在研究嵌入式软件的模型检验器

2009-10-19 00:15:00 1034

原创 ANTLR笔记

ESA Project is progressing

2009-10-19 00:15:00 642

原创静态分析验证工具

续上考虑到字面上的近似，几个名词提前说明，当然，这仍然是我个人的看法：时序逻辑temporal logic：是一种逻辑属性，而不是一种时间属性，是有关真假的定性描述，而不是有关长度的定量描述。时间性timeliness：有关时间的属性，不仅是先后顺序，而且有间隔长度，甚至是绝对时间坐标要求。通常讲时序，如讲功能和时序，尤其是在电子电路中，含义是“时间轴上的序列”，是广义的，因此是t

2009-10-10 21:09:00 1253

原创静态测试

这几天又重新翻了几篇论文，目的是为了再扫描一遍这个领域，以不断的片面印象来追求一个全面的印象，甚至是深入的印象，基本的动机是对现有的这方面工具了解更多一些。 static testing，或者说static analysis、static verification的重要性得到了理论界和工业界的充分广泛的支持，工具的种类、功能超出了我事先的想象，以至于Matlab本身就有这方面的扩展：PolySp

2009-10-10 01:08:00 1882

原创测试

放假宅家，在我陈旧的文科生记忆中翻出一句话，貌似是社会主义在资本主义并不发达的国家中国取得了胜利，从世界资本主义链条上打开了一个缺口，所谓哪里有压迫，哪里就有反抗。上班这几个月，实在比我想象的要累，不由得开始意淫：软件的革命性发展势必从并不发达的测试领域开始。应用驱动在互联网、移动通信、消费电子这样一些领域促进了软件技术的推广和拓展，软件性能似乎遇到了并行的瓶颈，软件开发本身在方法学的硝烟已

2009-10-08 10:47:00 636 1