多媒体开发软件下的编程技术研究

多媒体开发软件Authorware是一个图标导向式的多媒体制作工具。借助软件本身提供的编程接口,结合系统和自定义的变量、函数,遵循Authorware软件的程序编写规则,编写简单的程序,即可实现丰富的多媒体程序功能。     

面向构件的系统开发及其形式化

回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型.针对目前面向构件的软件开发形式,提出了一些建议和方向.     

FoxApp程序生成器分析报告

本文全面透彻地剖析了ＦｏｘＰｒｏ２．５的一个程序生成器ＦｏｘＡｐｐ系统，给出具体的结构和算法，可为研究，开发软件生成技术参考。     

基于U-BOOT的S3C44B0引导程序设计实现

Bootloader(引导装载程序)是嵌入式系统开发的一个重要环节,它把操作系统和硬件平台衔接起来,对嵌入式系统后继软件开发十分重要。DasU-BOOT(UniversalBootloader)是一个功能十分强大的Bootloader开发软件。对U-BOOT的启动流程作了介绍,以S3C44B0开发板和ucLinux为背景,分析,探讨基于U-BOOT的系统引导装载程序的构建。     

基于U-BOOT的S3C44BO引导程序设计实现

Bootloader（引导装载程序）是嵌入式系统开发的一个重要环节，它把操作系统和硬件平台衔接起来，对嵌入式系统后继软件开发十分重要。Das U-BOOT（Universal Bootloader）是一个功能十分强大的Bootloader开发软件。对U-BOOT的启动流程作了介绍．以S3C4480开发板和ucLinux为背景，分析，探讨基于U-BOOT的系统引导装载程序的构建。     

怎样用Z80宏汇编来实现交叉汇编

当你使用单板机或设计一个微处理机系统时,需要开发软件,至少希望得到所用程序的二进制文件和汇编打印清单,以便键入二进制码或编程EPROM。如果它们属于8080系列(即8080、8085和Z80),你可以用Z80微型机来汇编甚至调试你的程序。若是别的系列(如M6800),软件开发工作就可能很不顺利,因为目前国内Z80机种占绝对优势,许多系统上     

怎样彻底解决JavaME编程的“中文问题”

随着3G时代的到来,手机程序开发迎来了一个新的春天,特别是随着中国移动软件应用商店的开放,以及中国电信也将开发软件应用商店,手机程序必将迎来一个崭新的时代,而作为最通用的手机程序开发技术——Java ME技术也将再次获得辉煌。     

面向Agent技术

Agent作为一种智能化的对象,使得面向Agent方法在面向对象方法基础上拥有了智能的分析和设计手段.面向Agent是继面向对象之后一个重要的思想,它的出现为解决日益复杂、庞大的系统问题提供了建设性的方式.面向Agent涵盖了程序设计、建模和软件工程等一系列的内容.面向Agent思想具有显著改善当前软件设计、软件工程等一系列问题的潜力.     

配电网自动化遥测终端隐蔽故障检测系统

为解决当前遥测终端隐蔽故障检测系统存在的实时性差、能耗高及检测准确性低等问题,提出设计一种配电网自动化遥测终端隐蔽故障检测系统。通过分析遥测终端隐蔽故障检测系统硬件框架,对电参数测量单元、无线通讯单元、时钟单元、温度采集单元及电源单元等系统硬件部分进行改进,优化开发软件部分主程序、数据采集程序及故障检测程序,完成配电网自动化遥测终端隐蔽故障检测系统的设计。实验结果表明,该系统对隐蔽故障的检测准确性高,实时性好,检测能耗低。     

面向RISC-V的汇编程序语义等价性自动化测试系统

本文设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.在面向RISC-V开发软件时,尤其是基于扩展指令(例如向量指令)编写高效的程序时,很难避免以手写汇编的方式编写代码.例如,为标准的C函数库编写相应的向量版函数.与编译器自动生成的代码不同,手写的汇编代码虽然可以最大限度地提高程序的效率,但因绕过了编译时对程序的约束(如类型检查、寄存器分配等)而对开发者提出了更高的要求.能否对新版本与标准版本的汇编程序进行快速地、自动化的语义等价性测试,将大大影响代码的正确性和软件开发和调试的效率.已有面向RISC-V的测试框架缺乏对语义等价性测试的支持,也未考虑程序执行带来的副作用.本研究基于模拟器的动态测试环境,设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.系统通过跟踪机器状态,捕获程序执行的副作用,并结合用户定义的测试目标生成测试报告.实验表明,本系统相比已有的测试系统,能够有效地对RISC-V汇编程序的语义等价性进行测试.