snap10
要用图思维,不要用文字思维。 如果我不能将思考的对象变成图,我也无法理解它。
—— 爱因斯坦       
snap13
科技部创新基金项目
思图程序开发维护工具软件V1.0

        软件可以与任何主流开发平台实现无缝链接,随时将开发和维护中的C/C++程序自动变换成清晰、规范、可读性远胜于文字性程序的二维结构化程序框图(SI-NS图)。再复杂的程序一经变换成SI-NS图,程序的总体结构、嵌套关系、执行路径,具体细节都一目了然。
  它改变了程序开发维护的传统理念,在软件生存周期的软件实现、软件测试、软件维护等过程中,从此可以用图而不再是文字性程序分析和思维。
  软件工程师终于有了自己的图形化工程语言,彼此可以用图代替文字性程序分析并进行交流和切磋。
  它是程序测试和维护的理想平台,无论是静态测试的代码审查(Code Inspection)、代码走查(Code Walkthrough),还是动态测试采用的白盒测试,无论是程序测试用例的编写,还是对测试错误结果的分析,面对SI-NS图都变得简单明了。软件工程师甚至无需计算机就可以在SI-NS图上执行和诊断程序。
  一个软件企业倘若采用这项技术,它对于改善企业软件开发维护环境,提高开发效率,降低开发成本,开发出高质量、高可靠、高可信的程序,都起到立竿见影的效果。企业多年辛勤付出积累起来的软件程序,将以SI-NS图文档形式被妥善保存,再也不会因开发人员跳槽等原因而付之东流。
  学校的软件教学倘若采用这项技术,教师可以与学生轻易交流较大规模和难度的编程实例,并借此可以传授解题方法、步骤和经验。计算机软件教学中目前普遍存在的“程序实例大多不超过一页,只能传授知识,难以培育能力”的问题,有望得到解决。
  软件人机界面友好,操作使用简单方便。
  目前这项技术已申请国家发明专利,并获得了科技部创新基金资助(立项代码:09C26213304026)。
  
  以下是一个执行二叉树搜索算法的C程序函数变换生成SI-NS图的实例:

图1 由C代码程序生成的SI-NS图

杭州思图软件科技有限公司