首页    期刊浏览 2024年11月23日 星期六
登录注册

文章基本信息

  • 标题:Formal Methods of Software Testing and Terminology
  • 本地全文:下载
  • 作者:Sunil Kumar ; Dr. P.K Yadav
  • 期刊名称:International Journal of Computer Technology and Applications
  • 电子版ISSN:2229-6093
  • 出版年度:2011
  • 卷号:2
  • 期号:4
  • 页码:1082-1091
  • 出版社:Technopark Publications
  • 摘要:Software provides a complete set of application development tools for building stand-alone, client-server, and Internet-enabled applications. But making it easy to build applications can be a two-edged sword. Not only can developers build powerful, sophisticated applications, but they can also build applications that frustrate users, waste computer resources, and damage the credibility of both the developer. Formal testing will help prevent bad applications from being released. For those unfamiliar with the topic, this paper can serve as a primer or first step in learning about a more formal, rigorous approach to software testing
  • 关键词:SDLC; SAP; ASD.
国家哲学社会科学文献中心版权所有