形式化语言

tulipling

本人非软件工程专业出身，但目前正在做一个根据功能需求说明书和系统规范来进行案例自动生成的课题研究，
1.有人告诉我首先必须要用形式化描述语言来对功能需求进行转化，请问是这样的么/?
2.我实在是不懂这个。还有目前Z语言和B语言各有什么优缺点？那天有一个外面公司做研发的人说业内一般都是用B语言实现的。
3.新手该如何学习测试用例自动生成呢？看论文也有一段时间了，但没什么效果。很发愁。。。
望高手赐教一二，非常感谢！

rockay

我怎么觉得这两种概念联系不上 可能是才疏学浅
B语言是种形式化语言 用数学方法证明软件 我认为是发生在测试之前 是理论上的证明