freezing point·J

职业生涯

ubuntu的brainstorm

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

2009-10-31 12:06:00

阅读数:520

评论数:0

PNML学习笔记

http://blog.csdn.net/[userid]/services/MetaBlogApi.aspxPNML简介:用于实现Petri Net工具的互操作性的Petri Net描述语言先从法国的LIP6实验室开始,标准制定方面的牵头人,请先访问它的PNML标准化主页,然后是PNML Fra...

2009-10-31 00:09:00

阅读数:9619

评论数:4

ubuntu 9.10 beta 试用

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

2009-10-30 12:36:00

阅读数:612

评论数:0

嵌入式C

嵌入式软件分析验证工具系列之—— C,在嵌入式软件领域具有相当的代表性——即使是采用汇编,也都能在C中找到相对应的实现方式,不同的只是细微的效率差别;况且,嵌入式C编译器一般都支持inline assembly,可以在C中直接使用汇编语句。 作为构造嵌入式系统的C语言,利用C的灵活性,扩展出许...

2009-10-19 00:15:00

阅读数:883

评论数:0

ANTLR笔记

ESA Project is progressing

2009-10-19 00:15:00

阅读数:484

评论数:0

静态分析验证工具

续上 考虑到字面上的近似,几个名词提前说明,当然,这仍然是我个人的看法: 时序逻辑temporal logic:是一种逻辑属性,而不是一种时间属性,是有关真假的定性描述,而不是有关长度的定量描述。 时间性timeliness:有关时间的属性,不仅是先后顺序,而且有间隔长度,甚至是绝对时间坐标...

2009-10-10 21:09:00

阅读数:878

评论数:0

静态测试

这几天又重新翻了几篇论文,目的是为了再扫描一遍这个领域,以不断的片面印象来追求一个全面的印象,甚至是深入的印象,基本的动机是对现有的这方面工具了解更多一些。 static testing,或者说static analysis、static verification的重要性得到了理论界和工业界的充...

2009-10-10 01:08:00

阅读数:1322

评论数:0

测试

放假宅家,在我陈旧的文科生记忆中翻出一句话,貌似是 社会主义在资本主义并不发达的国家中国取得了胜利,从世界资本主义链条上打开了一个缺口,所谓哪里有压迫,哪里就有反抗。 上班这几个月,实在比我想象的要累,不由得开始意淫:软件的革命性发展势必从并不发达的测试领域开始。应用驱动在互联网、移动通信、消费...

2009-10-08 10:47:00

阅读数:541

评论数:1

提示
确定要删除当前文章?
取消 删除
关闭
关闭